Metaprogramowanie szablonu C ++ statyczne sprawdzanie typu

Nie mogłem znaleźć odpowiedzi na mój problem, więc publikuję go jako pytanie. Robię mały fikcyjny przykład, aby to wyjaśnić:

Specjalizuję szablon C ++ oparty na obecności / nieobecności członka klasy?

Rozważ następujące:

Specjalizacja szablonu funkcji składowej po wystąpieniu błędu instancji i kolejności funkcji składowych

Następujący bit kodu nie kompiluje się na gcc 4.5.3

Składnia dla specjalizacji zagnieżdżonej klasy szablonów

Próbuję znaleźć poprawną składnię dla jawnej specjalizacji zagnieżdżonej klasy szablonu. Poniższy kod lepiej ilustruje:

Specjalizacja szablonów dla enum

Czy można specjalizować metodę opartą na templacie dla wyliczeń?Coś w stylu (nieprawidłowy kod poniżej):

Niekompletna klasa szablonów

Dlaczego pełna specjalizacja funkcji szablonu nie jest pobierana z pliku .cpp bez deklaracji?

Specjalizacja szablonów funkcyjnych na wskaźnikach funkcji

metafunkcja szablonu do wykrywania specjalizacji szablonów

Zainspirowany przezto pytanie, zastanawiam się, czy istnieje jakaś kontrola podczas kompilacji, którą można wprowadzić, aby wykryć, czy dwie podane instancje...

Tworzenie nowego typu prymitywnego