Funkcja elementu statycznego wewnątrz specjalizacji szablonów klasy

Question

Próbuję uzyskać dostęp do statycznej funkcji członka zdefiniowanej w szablonie klasy. W TemplateTest.h pliku nagłówka I zdefiniowany szablon klasy podstawowej jak:

#include<iostream> 

template<class T, class U> 
struct TemplateTest 
{ 
public: 
    void static invoke(); 
    /*{ 

     std::cout << "Should not be called" << std::endl; 

    }*/ 
}; 

Następnie Plik źródłowy TemplateTester.cpp kładę specjalność:

#include "TemplateTest.h" 

template<> 
struct TemplateTest<int, bool> 
{ 
    static void invoke() 
    { 
     std::cout << "invoke<int, bool>" << std::endl; 
    } 
}; 

template struct TemplateTest<int, bool>; //instantiate to resolve linker issue 

jawnie instancję klasy z tak łącznikowych ustąpieniu prawidłowo.

W driver.cpp Kierowca:

include "TemplateTest.h" 

int main() 
{ 
    TemplateTest<int, bool>::invoke(); 
    return 0; 
} 

Kiedy skompilować TemplateTest.cpp z g ++ generuje plik obiektowy poprawnie, ale gdy próbuję połączyć go z klasy sterownika daje mój błąd łącznik " undefined odwołanie do `TemplateTest :: invoke()"

Przeszedłem przez inne podobne posty, takie jak this one, ale nie próbuję uzyskać dostęp do szablonu funkcji.

Każda wskazówka jest bardzo cenna.

Answer 1

Masz rację, że plik utworzyć obiekt z TemplateTester.cpp będzie zawierać symbol specjalizacji, który podałeś. Dzieje się tak, ponieważ każda jawna specjalizacja powoduje, że szablon jest tworzony, i jest to podwójnie ważne, ponieważ dodano nawet instancję jawną (która w rzeczywistości jest niepotrzebna).

Jednak w momencie kompilowania driver.cpp kompilator nie wie o specjalizacji, ponieważ zawiera tylko TemplateTester.h, a specjalizacja nie jest tam wspomniana. Tak więc kompilator tworzy szablon, oczywiście nie używając specjalnej definicji, więc masz problem.

Standard mówi Kursywa (przeze mnie):

(§14.7.3/6) Jeśli szablon, szablon członkowski lub członek szablonu klasy jest wyraźnie wyspecjalizowany, specjalizacja ta powinna zostać zadeklarowana przed pierwszym użyciem tej specjalizacji, co spowodowałoby utworzenie niejawnego wystąpienia, w każdej jednostce tłumaczeniowej w w którym takie użycie występuje; diagnostyka nie jest wymagana. Jeśli program nie zapewnia definicji specjalizacji jawnej, a specjalizacja jest wykorzystywana w sposób, który spowodowałby niejawne utworzenie wystąpienia lub członek jest funkcją wirtualnego elementu, program jest źle sformułowany, nie jest wymagana diagnostyka. Natychmiastowe tworzenie instancji nigdy nie jest generowane dla jawnej specjalizacji, która jest zadeklarowana, ale nie jest zdefiniowana. [...]

Musisz więc podać zarówno deklarację, jak i definicję specjalizacji znaną kompilatorowi, gdy działa ona pod numerem driver.cpp. Najlepszym sposobem na to jest dodanie całej specjalizacji do TemplateTester.h.

Należy ponownie zauważyć, że jawne tworzenie instancji nie jest faktycznie wymagane.

Answer 2

Istnieje kilka problemów:

• nie trzeba jawnie instancji w pełni wyspecjalizowanych szablon
• jeśli chcesz umieścić swoje metody statycznej w nagłówku, a następnie użyć inline. W przeciwnym wypadku dostaniesz wiele wystąpień i problemów linkera
• szablon specjalizacje można umieścić w nagłówku, a określenie metod w plikach źródłowych
• jeśli nie chcesz coś nazwać w szablonie, nie trzeba definiować to. Dostaniesz błędy kompilatora, a to oznacza wcześniejsze wychwytywanie błędów.

---

// TemplateTest.h 
#include<iostream> 

template<class T, class U> 
struct TemplateTest; 
template<> 
struct TemplateTest<int, bool> 
{ 
    inline static void invoke() 
    { 
     std::cout << "invoke<int, bool>" << std::endl; 
    } 
}; 

// main.cpp 
include "TemplateTest.h" 

int main() 
{ 
    TemplateTest<int, bool>::invoke(); 
} 

Innym sposobem jest zmiana nagłówka, a następnie dodaj plik źródłowy.

// TemplateTest.h 
#include<iostream> 

template<class T, class U> 
struct TemplateTest; 

template<> 
struct TemplateTest<int, bool> 
{ 
    static void invoke(); 
}; 

// TemplateTest.cpp 
#include "TemplateTest.h" 
void TemplateTest<int, bool>::invoke() 
{ 
    std::cout << "invoke<int, bool>" << std::endl; 
}