Accediendo a typedef desde la instancia

Question

Al igual que en los contenedores stl, ¿por qué no podemos acceder a un typedef dentro de la clase desde la instancia de clase? ¿Hay una visión particular de esto?

---

Cuando value_type era un parámetro de plantilla que podría ayudar a hacer el código más general si no había la necesidad de especificar los parámetros de plantilla como en el vector :: value_type

Ejemplo:

class T { 
public: 
    typedef int value_type; 
    value_type i; 
}; 

T t; 
T::value_type i; // ok 
t.value_type i; // won't work 

Answer 1

La respuesta es use decltype para obtener la clase primero. Por ejemplo,

decltype(t)::value_type

Requiere C++ 11.

Referencia: https://stackoverflow.com/a/13936644/577704

Answer 2

Porque typedef es solo un sinónimo de otro tipo. No es un objeto (miembro de la clase).

Y como @Neil Butterworth mencionó: "Porque el operador. Es el operador de acceso de miembros".

Answer 3

No hay una buena razón para utilizar un operador diferente para la resolución de alcance (::) que para el acceso de miembro (.) ya que nunca es ambiguo. Es una molestia, pero así es el lenguaje.

---

Algunos lenguajes hacen de manera diferente aunque ...

• C# utiliza en lugar de .::, pero que todavía tienen que utilizar el nombre de la clase cuando se accede a los tipos anidados y los miembros estáticos.
• D usa ., y <instance>.<static nested type> es equivalente a <type>.<static nested type>.