Accéder à typedef depuis l'instance

Question

Comme dans les conteneurs stl, pourquoi ne pouvons-nous pas accéder à un typedef dans la classe à partir de l'instance de classe? Y a-t-il un aperçu particulier de cela?

---

Lorsque value_type était un paramètre de modèle, il pourrait aider à rendre le code plus général, s'il n'y avait pas la nécessité de préciser les paramètres du modèle comme dans le vecteur :: value_type

Exemple:

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 réponse est decltype pour obtenir la classe en premier. Par exemple,

decltype(t)::value_type

11 Nécessite C++.

Référence: https://stackoverflow.com/a/13936644/577704

Answer 2

Parce que le typedef est juste un synonyme d'un autre type. Ce n'est pas un objet (membre de la classe).

Et comme @Neil Butterworth mentionné: "Parce que l'opérateur. Est l'opérateur d'accès membre."

Answer 3

Il n'y a pas de bonnes raisons d'utiliser un opérateur différent pour la résolution de la portée (::) que pour l'accès au membre (.) car il n'est jamais ambigu. C'est un ennui, mais c'est juste la façon dont la langue est.

---

Certaines langues font différemment si ...

• C# utilise . au lieu de ::, mais vous devez toujours utiliser le nom de la classe lors de l'accès types imbriqués et membres statiques.
• D utilise . et <instance>.<static nested type> équivaut à <type>.<static nested type>.