<![CDATA[Templatespezialisierung]]>Also in einem anderen Header habe ich typedefs. Eins davon ist z.B. a. Und das typedef b ist entweder ein typedef von a oder - je nach Plattform - etwas obskures Plattformspezifisches. Nun möchte ich ein Klassentemplate spezialisieren und zwar so, dass man auf jeder Plattform sowohl a als auch b übergeben kann. Wenn a und b unterschiedliche Typen sind geht das tadellos. Aber wenn sie in Tat und Wahrheit derselbe Typ sind schlägt das selbstverständlich fehl (wie soll der Compiler auch wissen welche Spezialisierung gemeint ist?). Wie löst man das Problem?

PS: Damit man es sich bisschen besser vorstellen kann:

typedef /*...*/ a;
typedef /*...*/ b; //kann u.U. a sein (Templatemagie und Präprozessorstatemets entscheiden es)

template<typename T> //hat im echten Fall noch mehr Template-Parameter
struct Foo
{
};

//und auch mehr Spezialisierungen

template<>
struct Foo<a> : public Impl
{
};
template<>
struct Foo<b> : public Impl
{
};

Gruß und danke im Voraus

]]>https://www.c-plusplus.net/forum/topic/327720/templatespezialisierungRSS for NodeThu, 09 Jul 2026 15:34:05 GMTSun, 31 Aug 2014 10:21:46 GMT60<![CDATA[Reply to Templatespezialisierung on Sun, 31 Aug 2014 10:21:46 GMT]]>Also in einem anderen Header habe ich typedefs. Eins davon ist z.B. a. Und das typedef b ist entweder ein typedef von a oder - je nach Plattform - etwas obskures Plattformspezifisches. Nun möchte ich ein Klassentemplate spezialisieren und zwar so, dass man auf jeder Plattform sowohl a als auch b übergeben kann. Wenn a und b unterschiedliche Typen sind geht das tadellos. Aber wenn sie in Tat und Wahrheit derselbe Typ sind schlägt das selbstverständlich fehl (wie soll der Compiler auch wissen welche Spezialisierung gemeint ist?). Wie löst man das Problem?

PS: Damit man es sich bisschen besser vorstellen kann:

typedef /*...*/ a;
typedef /*...*/ b; //kann u.U. a sein (Templatemagie und Präprozessorstatemets entscheiden es)

template<typename T> //hat im echten Fall noch mehr Template-Parameter
struct Foo
{
};

//und auch mehr Spezialisierungen

template<>
struct Foo<a> : public Impl
{
};
template<>
struct Foo<b> : public Impl
{
};

Gruß und danke im Voraus

]]>https://www.c-plusplus.net/forum/post/2415519https://www.c-plusplus.net/forum/post/2415519Sun, 31 Aug 2014 10:21:46 GMT<![CDATA[Reply to Templatespezialisierung on Sun, 31 Aug 2014 10:27:44 GMT]]>template<> struct Foo<a> : public Impl { }; template<> struct Foo<typename std::conditional<std::is_same<a, b>::value, int*****, b>::type> : public Impl { };

So vielleicht? Die Idee wäre dass die zweite explizite Spezialisierung einfach auf einen total anderen Typ spezialisiert wird falls a und b den gleichen Typ bezeichnen.

Edit: Ein weiterer Beweis dass static_if ein super Feature gewesen wäre... 🙄

]]>https://www.c-plusplus.net/forum/post/2415520https://www.c-plusplus.net/forum/post/2415520Sun, 31 Aug 2014 10:27:44 GMT<![CDATA[Reply to Templatespezialisierung on Sun, 31 Aug 2014 10:28:14 GMT]]>Schick, ja das löst mein Problem. Danke.

]]>https://www.c-plusplus.net/forum/post/2415522https://www.c-plusplus.net/forum/post/2415522Sun, 31 Aug 2014 10:28:14 GMT<![CDATA[Reply to Templatespezialisierung on Sun, 31 Aug 2014 11:59:55 GMT]]>Arcoth schrieb:

Edit: Ein weiterer Beweis dass static_if ein super Feature gewesen wäre... 🙄

Nicht nur static_if, auch compile-time Type-Vergleiche:

template <>
struct Foo<a == b ? int***** : b>
{}
]]>https://www.c-plusplus.net/forum/post/2415536https://www.c-plusplus.net/forum/post/2415536Sun, 31 Aug 2014 11:59:55 GMT