¿Por qué no se permite decltype en las variables de miembros privados?

Question

Supongamos que tengo una clase como esta:

class Foo 
{ 
    std::vector<int> bar; 

public: 
    std::vector<int>& get_bar() { return bar; } 
}; 

y más tarde, quiero otra cosa en algún variables que tiene el mismo tipo que bar. Tendría sentido para mí si pudiera hacer esto:

decltype(Foo::bar) clone_of_bar; 

Pero eso no funciona. El compilador me dice 'std :: vector < int> Foo :: bar' es privado.

Así que terminan por tener que usar algo como esto:

std::remove_reference<decltype(std::declval<Foo>().get_bar())>::type clone_of_bar; 

que funciona, pero parece un completo desastre. Tal vez hay una manera más fácil de hacerlo; No estoy realmente seguro. Pero lo que realmente quiero saber es por qué no puedo usar decltype(Foo::bar). ¿Por qué debería importarle a nadie que bar sea privado? No es como si realmente estuviera accediendo a la variable.

decltype es una nueva característica del idioma. Simplemente no entiendo por qué fue diseñado para no trabajar en variables privadas.

Answer 1

En términos de abogado de idiomas, bar es un nombre, para usarlo en la expresión decltype, el compilador debe realizar una búsqueda de nombre normal, que respeta el control de acceso.
¿Por qué se debe haber diseñado decltype de manera diferente al resto del lenguaje? No ha presentado ningún argumento convincente sobre por qué no debe ser coherente con, por ejemplo, sizeof.

Como autor de la clase, no quiero que pueda consultar detalles de implementación privados como ese. Si quisiera que el tipo fuera utilizable fuera de la clase, definiría un typedef público que te diga de qué tipo es.

y más tarde, quiero otra cosa en algún variables que tiene el mismo tipo que bar

Quiere "otra variable" que es del mismo tipo que un detalle de implementación privada? Entonces, si el autor de la clase Foo refaciona su código y reemplaza el tipo con algún otro detalle de implementación, repentinamente su código cambia de significado y el código no relacionado puede dejar de compilar repentinamente o silenciosamente tener un comportamiento diferente, porque ese código tontamente confió en detalles privados que no eran de son negocios. ¡Esto introduciría el acoplamiento entre detalles de implementación privada y código no relacionado que el autor de Foo podría no saber que existe! Esa es una idea terrible

Answer 2

decltype(Foo::bar)hace funcionan dentro de Foo.

Fuera Foo, ni siquiera estás supone que saben que Foo tiene un elemento llamado bar (eso es lo que private medios), así que por supuesto no debería trabajar.

Answer 3

Ese es un error de gcc corregido en la versión 4.8.0:

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52816