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

发布时间：2020-12-16 05:52:25 所属栏目：百科来源：网络整理

导读：我正在检查 clamp 的执行情况： templatetypename T,typename Pred T const clamp ( T const val,typename boost::mpl::identityT::type const lo,typename boost::mpl::identityT::type const hi,Pred p ) {// assert ( !p ( hi,lo )); // Can't assert p (

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!