Template-Funktion mit verschachtelten Typ kann nicht abgeleitet werden

Question

Ich arbeite mit der SystemC-Bibliothek, die alle benutzerdefinierten Typen benötigt, um einen Operator < < und sc_trace() -Funktion zu haben. Der benutzerdefinierte Typ ist jedoch tatsächlich ein verschachtelter Typ in einer Schablonenklasse, da der "verschachtelte Typ" aus dem in der äußeren Klasse angegebenen Schablonenargument berechnet wird.

template<typename T> 
class Block { 
    typedef typename transform<T>::value NewType; 
public: 
    struct SomeType { 
     SomeType() {} 
     SomeType(T val) : member(val) {} 
     NewType member; 
    }; 
}; 

Wenn ich definieren den Operator < < für Sometype wie so

template<typename T> 
std::ostream& operator<<(std::ostream& os, const typename Block<T>::SomeType& type) { 
    return os << type.member; 
} 

Der Compiler den Anruf innerhalb der SystemC-Bibliothek nicht ableiten kann, der versucht hat, die verschachtelt definierten Typs mit den Streaming-Betreiber zu dump. Da ich den Bibliothekscode lieber nicht anfasse (außerhalb meiner Kontrolle). Würde einer von euch Experten da draußen einen Weg finden, um das zu umgehen?

Und wenn es keine saubere Workaround gibt, würden Sie wissen, ob das C++ 11 eine Lösung dafür hat?

Answer 1

Ich habe selbst eine Lösung gefunden. Es wird als der Barton-Nackman-Trick in Vandevoorde/Josuttis bezeichnet.

Der Schlüssel besteht darin, die Verwendung von Funktionsvorlagen zu vermeiden. Der Standard schließt den geschachtelten Typ einer abhängigen Schablonenklasse von der Schablonenargumentableitung aus. Der Operator < < und die Funktion sc_trace müssen in der Vorlagenklasse als Friend-Funktion definiert werden. Auf diese Weise ist die Funktion eine nicht-templated Funktion, wenn die Vorlagenklasse instanziiert wird, aber mit dem Friend-Schlüsselwort übernimmt die Funktion den Bereich des umschließenden Namespace.