Jak wymusić stosowanie specjalizacji szablonów?

Question

Próbuję zrobić, aby moja funkcja szablonu generowała błąd podczas kompilacji, jeśli instancja nie specjalistyczna zostanie utworzona. Próbowałem zwykłego wzorca assert w czasie kompilacji (ujemny rozmiar tablicy), ale kompilacja nie działa, nawet jeśli szablon nie jest instancjonowany. Wszelkie przemyślenia na temat tego, jak sprawić, aby to się nie udało, tylko wtedy, gdy zostanie utworzona funkcja szablonu podstawowego?

template<class Foo> void func(Foo x) { 
    // I want the compiler to complain only if this function is instantiated. 
    // Instead, the compiler is complaining here at the declaration. 
    int Must_Use_Specialization[-1]; 
} 

template<> void func(int x) { 
    printf("Hi\n"); 
} 

Answer 1

Wystarczy użyć Boost.StaticAssert

(edycja: lub static_assert jeśli masz 11 wsparcie C++ zapomniałem o tym.).

Answer 2

Nie definiowania jest najprostszym rozwiązaniem:

template<class Foo> void func(Foo x); 

template<> void func(int x) { 
    printf("Hi\n"); 
} 

Można również zdefiniować je w plikach CPP i use this która będzie działać.

i statyczne metody assert:

template<class Foo> void func(Foo x) { 
    static_assert(sizeof(Foo) != sizeof(Foo), "func must be specialized for this type!"); 
} 

Answer 3

trzeba uzależnić od Foo, tak:

int Must_Use_Specialization[-sizeof(Foo)]; 

Answer 4

w C++ 11 można użyć static_assert tak:

template<typename T> struct fake_dependency: public std::false_type {}; 
template<class Foo> void func(Foo x) { 
    static_assert(fake_dependency<Foo>::value, "must use specialization"); 
} 

Konstrukcja fake_dependency jest niezbędna do uzależnienia dowodu na swoim parametrze szablonu, więc czeka z oceną, aż do utworzenia instancji szablonu. Można podobnie naprawić swoje rozwiązanie tak:

template<class> struct fake_dependency { enum {value = -1 }; }; 

template<class Foo> void func(Foo x) { 
    int Must_Use_Specialization[fake_dependency<Foo>::value]; 
} 

Zobacz także here for a live demo.

Answer 5

Nie potrzebujesz szablonu bazowego, jeśli nigdy go nie użyjesz! Po prostu dostarcz przeciążenia dla typów, które chcesz użyć!

void func(int x) { 
    printf("Hi 1\n"); 
} 

void func(double x) { 
    printf("Hi 2\n"); 
} 

void func(Bar x) { 
    printf("Hi 3\n"); 
} 

To będzie Ci się błąd czasu kompilacji dla func(foo); (chyba foo jest zamienny do jednego z innych typów).