C ++ Template-Spezialisierung von Templat-Typen

Question

Ich bin auf der Suche zu helfen Benutzern von einigen meiner Templat-Code durch BOOST_STATIC_ASSERT, sie zu informieren, dass sie einen nicht kompatiblen Typ mit einer einfacheren Kompilierung Fehlermeldung als das Monster verwendet habe, als zur Zeit mit einem inkompatiblen Typ hergestellt wird.

Das Beispiel ist ein bisschen zu komplex, um hier zu reproduzieren, aber dies wird hoffentlich fängt die Essenz das, was ich will:

Meine Frage ist, wie man Format, das letzte Zeile eines "Template-Template"?

template <typename P1, int P2, typename P3> 
class InterestingType

{
}

template<typename T>
struct is_interesting_type{
 static const bool value = false;
};

template<template<typename,int,typename> typename InterestingType> //No idea how to format this..
struct is_interesting_type{
 static const bool value = true;
};

Answer 1

Ändern Sie den Code

template <typename P1, int P2, typename P3> 
struct is_interesting_type<InterestingType<P1, P2, P3> >{
 static const bool value = true;
};