Что такое «boost :: mpl :: identity <T> :: type» здесь?

Question

Я проверял реализацию clamp в наддува:

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; 
    } 

Если я смотрю на документацию, identity возвращает шаблон аргумент без изменений.

Личность metafunction. Возвращает X без изменений.

И какой смысл использовать его здесь?

Не является typename boost::mpl::identity<T>::type эквивалентом T?

Answer 1

A Вложенное имя-спецификатор создает неконкретизируемый контекст. Поэтому компилятор не будет пытаться вывести тип T на основе второго и третьего параметров, заявленных как:

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

Тип T будет выводиться только на основании типа первого аргумента, а затем используется для создания экземпляра типов от остальных параметров. Использование типа identity является распространенным трюком для предотвращения вычитания типа аргумента шаблона по определенным параметрам, что в противном случае приводило бы к неоднозначной ошибке вызова в случае различения типов аргументов, но использует параметр шаблона того же типа. Иногда также может потребоваться не допустить, чтобы компилятор автоматически выводил тип, и принудительно вызывал вызывающий абонент сделать это сам.