öffentlicher Zugang von Vorlagen Wert

Question

Beachten Sie Folgendes:

template<int T> 
class Test { 
public: 
    constexpr static int A = T; 
}; 

int main(int argsc, char** args) { 
    std::cout << Test<2>::T << std::endl; // Option 1 
    std::cout << Test<2>::A << std::endl; // Option 2 
} 

Warum funktioniert die Option 1 Kompilierung? Es scheint, dass die static constexpr A nur ein zusätzlicher Schritt ist. Ist T nicht öffentlich verfügbar?

Gibt es einen saubereren Weg, um T zu bekommen, als durch Erstellen eines öffentlich zugänglichen Mitglieds wie A oben?

Answer 1

Warum kompiliert Option 1 nicht?

Da ein Vorlagenparameter nur der Name eines Parameters ist. Sie sind sie umbenennen erlaubt, das heißt:

template <class T> struct X; 

// refers to same X 
template <class U> struct X { ... }; 

// still the same X 
template <class V> 
void X<V>::foo() { ... }; 

Aus dem gleichen Grund, dass Sie erlaubt sind Ihre Funktionsparameter unterschiedlich zwischen der Deklaration und Definition zu nennen. Wenn der Name des Vorlagenparameters automatisch in der Klassenvorlage angezeigt werden würde, müsste er auf Anhieb korrigiert werden.

Gibt es einen saubereren Weg, um bei T als durch die Schaffung eines öffentlich zugänglichen Mitglieds wie A oben zu bekommen?

Erstellen der öffentlich zugänglichen Mitglied ist in der Regel der Weg zu gehen. Alternativ können Sie ein externes Merkmal anlegen:

template <class T> struct X { using type = T; }; // internal 

template <class > struct get_type; 
template <class T> struct get_type<X<T>> { using type = T; }; // external