Was ist der Punkt von "boost :: mpl :: identity <T> :: type" hier?

Question

Ich war die Umsetzung des clamp im Boost-Überprüfung:

template<typename T, typename Pred> 
    T const & clamp (T const& val, 
    typename boost::mpl::identity<T>::type const & lo, 
    typename boost::mpl::identity<T>::type const & hi, Pred p) 
    { 
// assert (!p (hi, lo)); // Can't assert p (lo, hi) b/c they might be equal 
    return p (val, lo) ? lo : p (hi, val) ? hi : val; 
    } 

Wenn ich die Dokumentation nachschlagen, identity das Template-Argument unverändert zurückgegeben.

Die Identität Metafunktion. Gibt X unverändert zurück.

Also, was ist der Sinn der Verwendung hier?

Ist nicht typename boost::mpl::identity<T>::type entspricht T?

Answer 1

Ein verschachtelter Name-Spezifizierer erstellt einen nicht-abgeleiteten Kontext. Daher versuchen, ein Compiler nicht Typen T wie erklärt auf der Grundlage der zweiten und dritten Parameter abzuleiten:

typename boost::mpl::identity<T>::type const & 

Typ T abgeleitet nur von der Art des ersten Arguments basieren wird, und dann verwendet, um die Typen zu instanziiert der Restparameter. Die Verwendung des Typs identity ist ein häufiger Trick, um die Ableitung von Schablonenargumenttypen für bestimmte Parameter zu verhindern, die andernfalls zu einem mehrdeutigen Aufruffehler führen würden, falls sich die Argumenttypen unterscheiden, aber denselben Schablonenparameter verwenden. Es kann auch manchmal gewünscht sein, einen Compiler nicht automatisch auf den Typ schließen zu lassen und einen Aufrufer dazu zwingen, es selbst zu tun.