c – 这里有什么“boost :: mpl :: identity :: type”的意思？

我正在检查 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返回模板参数不变.

The identity Metafunction. Returns X unchanged.

那么这里有什么用处呢？

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

解决方法

嵌套名称说明符创建一个非推断的上下文.因此,编译器不会根据声明为第二和第三个参数来尝试推断类型T：

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

类型T将仅基于第一个参数的类型推断,然后用于实例化其余参数的类型.使用身份类型是防止对特定参数进行模板参数类型扣除的常见技巧,否则会导致模糊调用错误,以防参数类型不同,但使用相同的类型模板参数.有时也希望不要让编译器自动推断出类型,强制调用者自己来做.

原文地址：https://www.jb51.cc/c/113502.html