Muszę wyspecjalizować funkcję elementu członkowskiego szablonu dla pewnego typu (powiedzmy podwójnie ). Działa dobrze, podczas gdy Xsama klasa nie jest klasą szablonu, ale kiedy ją robię, szablon GCC zaczyna generować błędy w czasie kompilacji.
#include <iostream>
#include <cmath>
template <class C> class X
{
public:
template <class T> void get_as();
};
template <class C>
void X<C>::get_as<double>()
{
}
int main()
{
X<int> x;
x.get_as();
}
tutaj jest komunikat o błędzie
source.cpp:11:27: error: template-id
'get_as<double>' in declaration of primary template
source.cpp:11:6: error: prototype for
'void X<C>::get_as()' does not match any in class 'X<C>'
source.cpp:7:35: error: candidate is:
template<class C> template<class T> void X::get_as()
Jak mogę to naprawić i jaki jest problem?
Z góry dziękuję.
c++
templates
gcc
specialization
ledokol
źródło
źródło
Odpowiedzi:
To nie działa w ten sposób. Trzeba by powiedzieć, co następuje, ale nie jest to poprawne
template <class C> template<> void X<C>::get_as<double>() { }Jawnie wyspecjalizowane elementy członkowskie wymagają, aby otaczające je szablony klas również były jawnie wyspecjalizowane. Musisz więc powiedzieć co następuje, co pozwoli tylko na specjalizację członka
X<int>.template <> template<> void X<int>::get_as<double>() { }Jeśli chcesz, aby otaczający szablon nie był wyspecjalizowany, masz kilka możliwości. Wolę przeciążenia
template <class C> class X { template<typename T> struct type { }; public: template <class T> void get_as() { get_as(type<T>()); } private: template<typename T> void get_as(type<T>) { } void get_as(type<double>) { } };źródło
type<>opakowania? czy rzut 0 na wskaźnik typuTnie mógłby załatwić sprawy? Chyba nie jest tak elegancki ...template<typename T> void get_as(T*); void get_as(double*);i przekazania(T*)0.Jeśli ktoś jest w stanie użyć,
std::enable_ifmożemy polegać na SFINAE (niepowodzenie zamiany nie jest błędem)tak by działało (patrz NA ŻYWO ):
#include <iostream> #include <type_traits> template <typename C> class X { public: template <typename T, std::enable_if_t<!std::is_same_v<double,T>, int> = 0> void get_as() { std::cout << "get as T" << std::endl; } template <typename T, std::enable_if_t<std::is_same_v<double,T>, int> = 0> void get_as() { std::cout << "get as double" << std::endl; } }; int main() { X<int> d; d.get_as<double>(); return 0; }Brzydkie jest to, że przy wszystkich tych enable_if tylko jedna specjalizacja musi być dostępna dla kompilatora, w przeciwnym razie wystąpi błąd ujednoznacznienia. Dlatego domyślne zachowanie „pobierz jako T” wymaga również włączenia, jeśli.
źródło