这里的“boost::mpl::identity<T>::type”有什么意义？

Question

我正在检查 clamp 在 boost 中的实现：

  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 会返回未更改的模板参数。

身份元功能。返回 X 不变。

那么在这里使用它有什么意义呢？

typename boost::mpl::identity<T>::type不等于T吗？

Answer 1

nested-name-specifier 创建了一个非推导上下文。因此，编译器不会尝试根据声明为的第二个和第三个参数推断类型T：

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

类型T将仅根据第一个参数的类型推导，然后用于实例化其余参数的类型。使用identity 类型是防止某些参数的模板参数类型推导的常用技巧，否则在参数类型不同但使用相同类型模板参数的情况下会导致模棱两可的调用错误。有时也可能希望不让编译器自动推断类型，并强制调用者自己进行。