Korzystanie ze zmiennej statycznej wraz z szablonami

Umieszczenie statycznej deklaracji w pliku nagłówkowym spowoduje, że każdyplik cpp, aby uzyskać własną wersję zmiennej. Więc dwa polecenia cout wypisują różne zmienne.

Spodziewałeś się "F1:1 Main: 1"? Utworzono instancję MyClass<int> w dwóch oddzielnych jednostkach translacyjnych (tj. dwóch plikach obiektowych), a linker zauważył, że istnieje zduplikowana instancja szablonu, więc odrzucił instancję znajdującą się w pliku obiektowym f1.

Are you passing /OPT:ICF lub /OPT:REF do łącznika VC6? Może to być związane z usunięciem duplicate template instantiation (lub nie; duplicate template instantiations może być szczególnym przypadkiem, w porównaniu ze zwykłym duplicate functions). GCC wydaje się robić coś podobnego na niektórych platformach.

W każdym razie, nie liczyłbym na to, że to zachowanie będzie spójne w kompilatorach. Zmiana kolejności plików obiektowych w wierszu poleceń linkera może mieć wpływ na to, która instancja zostanie odrzucona.

Jest inne rozwiązanie, możesz utworzyć współdzieloną klasę rodzica i umieścić w niej zmienną statyczną, a następnie sprawić, by klasa szablonu dziedziczyła ją prywatnie, oto przykład:

class Parent
{
protected: 
    static long count;
};

long Parent::count = 0;

template<typename T>
class TemplateClass: private Parent
{
private: 
    int mKey;
public:
    TemplateClass():mKey(count++){}
    long getKey(){return mKey;}
}

int main()
{
    TemplateClass<int> obj1;
    TemplateClass<double> obj2;

    std::cout<<"Object 1 key is: "<<obj1.getKey()<<std::endl;
    std::cout<<"Object 2 key is: "<<obj2.getKey()<<std::endl;

    return 0;
}

Wyjście będzie:

Object 1 key is: 0 
Object 2 key is: 1

Myślę, że to jest rzeczywiście nieokreślone zachowanie.

Zgodnie z C++14 [basic.def.odr] / 6:

Może być więcej niż jedna definicja [...] funkcja członka szablonu klasy [...] w programie pod warunkiem, że każda definicja pojawia się w innej jednostce tłumaczeniowej i pod warunkiem, że definicje spełniają następujące wymagania. Biorąc pod uwagę taki byt o nazwie D zdefiniowany w więcej niż jednej jednostce translacyjnej, to

• każda definicja D składa się z tej samej sekwencji żetonów; oraz
• w każdej definicji D odpowiednie nazwy, wyszukane zgodnie z 3.4, odnoszą się do podmiotu zdefiniowanego w definicji D, lub odnoszą się do tego samego podmiotu, po rozwiązaniu przeciążenia (13.3) i po dopasowaniu częściowej specjalizacji szablonu (14.8.3), z tym wyjątkiem, że nazwa może odnosić się do nieulotnego podmiotu. const obiekt z wewnętrznym lub bez powiązania, jeśli obiekt ma ten sam typ literalny we wszystkich definicjach D, A obiekt jest inicjalizowany wyrażeniem stałym (5.19), a obiekt nie jest używany odr, a obiekt ma tę samą wartość we wszystkich definicjach D; [...]

Problem polega na tym, że w pierwszym pliku .cpp Nazwa count wewnątrz f1 odnosi się do innego obiektu niż nazwa count wewnątrz f1 w drugim pliku .cpp, naruszając tym samym warunek, że odpowiednie nazwy powinny odnosić się do tego samego obiektu.

Są różnymi obiektami ze względu na static specifier, który mówi, że każda jednostka tłumaczenia dostaje swój własny obiekt o tej nazwie.