码迷,mamicode.com
首页 > 其他好文 > 详细

如何验证模版实参推断结果

时间:2014-11-21 20:17:00      阅读:211      评论:0      收藏:0      [点我收藏+]

标签:style   blog   color   sp   on   div   问题   log   bs   

在《C++ Primer》第五版中,关于模版实参推断,讲述了如下内容

1.类型转换与模版类型参数

2.函数模版的显式实参

3.尾置返回类型

4.类型转换

5.函数指针和实参推断

6.模版参数推断和引用

书中留给大家一些习题,要求大家给出模版参数的推断类型,参见16.2.5节练习。问题是如何验证我们的答案是否正确,我在这里给出一段代码,抛砖引玉!

template <typename T>  void g(T&& val)
{

  if(is_lvalue_reference<T>::value)
  {
    if(is_const<typename remove_reference<T>::type>::value){cout<<"const left reference of "<<typeid(T).name()<<endl;}
    else{cout<<"left reference of "<<typeid(T).name()<<endl;}
  }
  else if(is_rvalue_reference<T>::value)
  {
    if(is_const<typename remove_reference<T>::type>::value){cout<<"const right reference of "<<typeid(T).name()<<endl;}
    else{cout<<"right reference of "<<typeid(T).name()<<endl;}
  }
  else cout<<typeid(T).name()<<endl;

}
//------------------------------------------------------------

template <typename T>  void g(const T& val)
{

  if(is_lvalue_reference<T>::value)
  {
    if(is_const<typename remove_reference<T>::type>::value){cout<<"const left reference of "<<typeid(T).name()<<endl;}
    else{cout<<"left reference of "<<typeid(T).name()<<endl;}
  }
  else if(is_rvalue_reference<T>::value)
  {
    if(is_const<typename remove_reference<T>::type>::value){cout<<"const right reference of "<<typeid(T).name()<<endl;}
    else{cout<<"right reference of "<<typeid(T).name()<<endl;}
  }
  else cout<<typeid(T).name()<<endl;

}
//---------------------------------------------------------------

template <typename T>  void g(T val)
{

  if(is_lvalue_reference<T>::value)
  {
    if(is_const<typename remove_reference<T>::type>::value){cout<<"const left reference of "<<typeid(T).name()<<endl;}
    else{cout<<"left reference of "<<typeid(T).name()<<endl;}
  }
  else if(is_rvalue_reference<T>::value)
  {
    if(is_const<typename remove_reference<T>::type>::value){cout<<"const right reference of "<<typeid(T).name()<<endl;}
    else{cout<<"right reference of "<<typeid(T).name()<<endl;}
  }
  else cout<<typeid(T).name()<<endl;

}

 

 之后,我们可以用如下代码进行测试我们的猜测是否正确。

int main()
{
  double i=0;const double ci=i;
  g(i);
  g(ci);
  g(i*ci);
  g(i=ci);
  return 0;
}

 

关于更多的内容我就不照本宣科了,大家可以自己翻阅相关书籍。

 

如何验证模版实参推断结果

标签:style   blog   color   sp   on   div   问题   log   bs   

原文地址:http://www.cnblogs.com/tangzhenqiang/p/4113536.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!