编程语言
首页 > 编程语言> > c++尾置返回类型和引用去除

c++尾置返回类型和引用去除

作者:互联网

场景

当我们在编写模板函数的时候,如果用户用显示模板实参表示返回类型是最好的
但是如果用户用的是泛型的话,会给用户增加额外负担
比如我们定义一个模板,传入vector<int>的迭代器,要求返回他所指向的值

尾置返回类型

我们可以用decltype来获取表达式的类型

template <typename It>
auto fcn2(It beg) -> decltype(*beg)
{
    return *beg;
}

这里的decltype为解引用运算符的左值,因此推断的类型是int&
和我们预期的int不符(而且因为是引用,用typeid也没法查)

引用类型去除

如果我们想要的是一个int值,那我们在定义类型的时候需要去掉这个引用
标准库提供了类型转换模板,可以用remove_reference去除引用

template <typename It>
auto fcn(It beg) -> typename remove_reference<decltype(*beg)>::type //type是该函数返回值的成员
{
    return *beg;
}

这样就可以将类型脱去引用了

测试代码

template <typename It>
auto fcn(It beg) -> typename remove_reference<decltype(*beg)>::type
{
    return *beg;
}

template <typename It>
auto fcn2(It beg) -> decltype(*beg)
{
    return *beg;
}

int main()
{
    vector<long> a = { 123, 11 };
    cout << &a[0] << endl;  //和下面的fcn2作对比
    cout << typeid(fcn2(a.begin())).name() << endl;  //在vs里,鼠标移到fcn2上会显示他返回结果是long&
    cout << fcn2(a.begin()) << endl;
    cout << &fcn2(a.begin()) << endl;  //这里是为了证明他是引用,所以输出地址

    cout << typeid(fcn(a.begin())).name() << endl;  //在vs里,鼠标移到fcn上会显示他返回结果是long
    cout << fcn(a.begin()) << endl;
    //cout << &fcn(a.begin()) << endl;  //这里编辑器直接报错,因为他不是左值
    auto pp = fcn(a.begin());
    cout << &pp << endl;
}
测试结果:
0123EC30
long
123
0123EC30
long
123
00B9FA04

其他模板方法

func_name<T> T func_name::type
remove_reference X& or X&& X
else T
add_const X& or const X or 函数 T
else const T
add_lvalue_reference X& T
X&& X&
else T&
add_rvalue_reference X& or X&& T
else T&&
remove_pointer X* X
else T
add_pointer X& or X&& X*
else T*
make_signed unsigned X X
else T
make_unsigned signed X unsigned X
else T
remove_extent X[n] X
else T
remove_all_extents X[n1][n2] X
else T

其他说明

上面提到的typeid,是一个输出变量类型的方法

#include <typeinfo> 
int a = 1;
char b = 'b';
int& c = a;
typeid(a).name(); //int
typeid(b).name(); //char
typeid(c).name(); //int

标签:name,reference,int,beg,c++,else,remove,尾置,去除
来源: https://www.cnblogs.com/end-emptiness/p/15642151.html