Teilweise Spezialisierung für einen Wrapper-Typ ⇐ C++

[Anonymous]

Angenommen, wir haben die folgenden Struktur-Vorlagen:

Code: Select all

template 
struct Foo { }; // (1) library

template 
struct Bar { }; // (2) library

template 
struct Foo { }; // (3) library

template 
struct Foo { }; // (4) user

Wenn ich versuche, Foo zu verwenden, erhalte ich die Fehlermeldung „mehrdeutige Vorlageninstanziierung“.
Ich schreibe eine Bibliothek, die es Benutzern ermöglichen soll, Foo zu spezialisieren und automatisch ein spezielles Verhalten für Foo zu erhalten. Bar ist in der Bibliothek definiert.
Gibt es eine elegante Möglichkeit, Foo eindeutig zu machen?