compilador de C++ con CRTP

Question

tengo la siguiente jerarquía de clases:

template <typename T> 
class base 
{ 
public: 
    void f() {} 
}; 

class class_a : public base<class_a> {}; 

class class_b : public base<class_b>, 
       public class_a 
{ 
    using base<class_b>::f; 
}; 

int main() 
{ 
    class_b b; 
    b.f(); 
    return 0; 
} 

COMEU e Intel C++ reclamo v11 todo está bien, sin embargo GCC (4.4.1) y VC++ 2008 parecen quejarse (http://codepad.org/KQPDsqSp), por ejemplo, :

g++ -pedantic -Wall -o test test.cpp 
test.cpp: In function ‘int main()’: 
test.cpp:5: error: ‘void base<T>::f() [with T = class_b]’ is inaccessible 
test.cpp:14: error: within this context 

creo que el código está bien formado, ya que es, sin embargo, podría estar equivocado, estoy esperando que alguien de la comunidad SO C++ podría proporcionar alguna información sobre este tema.

Nota: Al agregar "public" antes de la directiva using en class_b, se resuelve el problema tanto para gcc como para VS. ¿Debe la sección de acceso de la clase en la que se aplica la directiva de uso prevalecer sobre el modo de derivación (público, privado) de la clase base?

En este corto es

• un error del compilador - si es así, que GCC, VS o COMEU compilador, Intel
• es el código de arriba bien formado?
• ¿La sección de acceso en la que se utiliza una directiva de uso anula el modo de derivación de la base?

Answer 1

Lo que está haciendo aquí, es resolver una ambigüedad importando el símbolo en las clases privada de espacio de nombres. Por lo tanto, se trata de seguir el método y cambiar su visibilidad a privada. No puede tener dos funciones con el mismo prototipo, tanto privado como público, por lo tanto, f es ahora privado.

Al menos GCC cree que using should be able to change the visibility de una función.

Las referencias vagas, sin embargo, se encuentran en GCC bug database, muestran que el uso no debe verse afectado por el alcance.

Lo más importante es una respuesta directa (C++ estándar '03 - 7.3.3/15)

El alias creado por el uso de la declaración-tiene la accesibilidad habitual para un miembro-declaración.

De ahí que las respuestas serían:

• que un error en Comeau
• no, el código no está bien formada, al menos, C++ 03-sabia (no se puede encontrar nada relacionado en C++ 0x N3000)
• sí, se puede cambiar el ámbito de acceso