首页 > 代码库 > 如何获得C++模版实参推断结果
如何获得C++模版实参推断结果
在《C++ Primer》第五版中，关于模版实参推断，讲述了如下内容
1.类型转换与模版类型参数
2.函数模版的显式实参
3.尾置返回类型
4.类型转换
5.函数指针和实参推断
6.模版参数推断和引用
书中留给大家一些习题，要求大家给出模版参数的推断类型，参见16.2.5节练习。问题是如何验证我们的答案是否正确，我在这里给出一段代码，抛砖引玉！
<span style="font-size:14px;">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;
}
//------------------------------------------------------------
</span><pre name="code" class="cpp"><span style="font-size:14px;">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;
}
//---------------------------------------------------------------
</span><pre name="code" class="cpp"><pre name="code" class="cpp"><span style="font-size:14px;">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;
}</span>之后，我们可以用如下代码进行测试我们的猜测是否正确。
<span style="font-size:14px;">int main()
{
double i=0;const double ci=i;
g(i);
g(ci);
g(i*ci);
g(i=ci);
return 0;
}
</span>关于更多的内容我就不照本宣科了，大家可以自己翻阅相关书籍。如何获得C++模版实参推断结果
声明：以上内容来自用户投稿及互联网公开渠道收集整理发布，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任，若内容有误或涉及侵权可进行投诉： 投诉/举报 工作人员会在5个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。