C++11之后的decltype类型指示符-创新互联

C++11之后的decltype类型指示符

• 一、什么是decltype类型指示符
• 二、typeid运算符
• 三、使用decltype指示符
• 四、decltype和引用
• 五、decltype(auto)
• 六、本章代码汇总

成都创新互联是一家集网站建设,景县企业网站建设,景县品牌网站建设,网站定制,景县网站建设报价,网络营销,网络优化,景县网站推广为一体的创新建站企业，帮助传统企业提升企业形象加强企业竞争力。可充分满足这一群体相比中小企业更为丰富、高端、多元的互联网需求。同时我们时刻保持专业、时尚、前沿，时刻以成就客户成长自我，坚持不断学习、思考、沉淀、净化自己，让我们为更多的企业打造出实用型网站。一、什么是decltype类型指示符

有时会遇到这种情况：希望从表达式的类型推断出要定义的变量的类型，但是不想用该表达式的值初始化变量。为了满足这一要求，C++11 新标准引入了另一种类型说明符 decltype ，它的作用是选择并返回操作数的数据类型。在此过程中，编译器分析表达式并得到它的类型，却并不实际计算表达式的值。

decltype(f()) sum = x;  // sum 的类型就是函数f的返回类型

编译器并不实际调用函数f，而是使用当调用发生时f的返回值类型作为sum的类型。换句话说，编译器为sum指定的类型是什么呢？就是假如f被调用的话将会返回的那个类型。

二、typeid运算符

C++标准提供了一个typeid运算符来获取与目标操作数类型有关的信息。获取的类型信息会包含在一个类型为std::type_info的对象里。我们可以调用成员函数name获取其类型名，例如：

#includeusing namespace std;

templateauto sum(T1 t1, T2 t2) ->decltype(t1 + t2)
{
    return t1 + t2;
}

int main()
{
    auto s1 = sum(2, 3);
    cout<< "sum(2, 3)="<< s1<< endl;
    cout<< "s1 type: "<< typeid(s1).name()<< endl;

    auto s2 = sum(2.0, 3.0);
    cout<< "sum(2.0, 3.0)="<< s2<< endl;
    cout<< "s2 type: "<< typeid(s2).name()<< endl;

    return 0;
}

值得注意的是，成员函数name返回的类型名在C++标准中并没有明确的规范，所以输出的类型名会因编译器而异。比如，MSVC会输出一个符合程序员阅读习惯的名称，而GCC则会输出一个它自定义的名称。

另外，还有3点也需要注意。

1. typeid的返回值是一个左值，且其生命周期一直被扩展到程序生命周期结束。

2. typeid返回的std::type_info删除了复制构造函数，若想
   保存std::type_info，只能获取其引用或者指针，例如：

   auto t1 = typeid(int); // 编译失败，没有复制构造函数无法编译
   auto &t2 = typeid(int); // 编译成功，t2推导为const std::type_info&
   auto t3 = &typeid(int); // 编译成功，t3推导为const std::type_info*

3. typeid的返回值总是忽略类型的 cv 限定符，也就是

   typeid(const T)== typeid(T))

gcc的扩展中还提供了一个名为typeof的运算符，它可以在编译期就获取操作数的具体类型，但typeof并不是C++ 标准。typeid可以获取类型信息并帮助我们判断类型之间的关系，但遗憾的是，它并不能像typeof那样在编译期就确定对象类型。

三、使用decltype指示符

常规用法如下：

int x1 = 0;
decltype(x1) x2 = 0;
std::cout<< typeid(x2).name()<< std::endl; // x2的类型为int

double x3 = 0;
decltype(x1 + x3) x4 = x1 + x3;
std::cout<< typeid(x4).name()<< std::endl; // x1+x3的类型为double

decltype({1, 2}) x5; // 编译失败，{1, 2}不是表达式

形参列表中也可以使用：

int x1 = 0;
decltype(x1) sum(decltype(x1) a1, decltype(a1) a2)
{
    return a1 + a2;
}
auto x2 = sum(5, 10);

decltype在尾置返回类型时有着很大用处，例如：

templateauto sum(T1 t1, T2 t2) ->decltype(t1 + t2)
{
    return t1 + t2;
}

需要说明的是，上述用法只推荐在C++11标准的编译环境中使用，因为C++14标准已经支持对auto声明的返回类型进行推导了，所以以上代码可以简化为：

#includeusing namespace std;

templateauto sum(T1 t1, T2 t2)
{
    return t1 + t2;
}

int main()
{
    auto res = sum(1, 2.0);
    cout<< "res="<< res<< endl;
    cout<< "res type: "<< typeid(res).name()<< endl;

    return 0;
}

那既然在C++14 标准中decltype的作用又被auto代替了，是否从C++14标准以后decltype就没有用武之地了呢？并不是这样的，auto作为返回类型的占位符还存在一些问题，请看下面的例子：

templateauto return_ref(T& t)
{
    return t;
}

int x = 0;
cout<< "x is reference value: "<< std::is_reference_v<< endl;

在上面的代码中，我们期望return_ref返回的是一个T的引用类型，但是如果编译此段代码，会发现auto被推导为值类型。如果想正确地返回引用类型，则需要用到decltype说明符，例如：

templateauto return_ref(T& t) ->decltype(t)
{
    return t;
}

以上两段代码几乎相同，只是在return_ref函数的尾部用decltype(t)声明了返回类型。

当然了，还有一种方法也可以，使用 auto& ：

templateauto& return_ref1(T& t)
{
    return t;
}

四、decltype和引用

如果 decltype 使用的表达式不是一个变量，则 decltype 返回表达式结果对应的类型。有些表达式将向 decltype 返回一个引用类型。一般当这种情况发生时，意味着该表达式的结果对象能作为一条赋值语句的左值：

int i = 42, *p = &i, &r = i;
decltype(r + 0) b;  // 正确，加法的结果是int，因此b是一个（未初始化的）int
decltype(*p) c;     // 错误，c是int&， 必须初始化

如果表达式的内容是解引用操作，则decltype将得到引用类型，所以decltype(*p)的结果类型是int&，而非int。

decltype 和 auto 的重要区别是，decltype 的结果类型与表达式形式密切相关。有一种情况需要特别注意：对于 decltype 来说，如果变量名加上了一对括号，则得到的类型与不加括号时会有所不同。不加括号的话，得到的结果就是该变量的类型。如果给变量加上了一层或多层括号，编译器就会把它当成是一个表达式。变量是一种可以作为赋值语句左值的特殊表达式，所以这样的decltype就会得到引用类型：

decltype((i)) d;    // 错误，d是int&，必须初始化
decltype(i) e;      // 正确，e是一个未初始化的int

总结就是：

• decltype((val)) 的结果永远是引用。
• decltype(val) 的结果，只有当val本身就是一个引用时，才是引用

五、decltype(auto)

在 C++14 标准中出现了 decltype 和 auto 两个关键字的结合体：decltype(auto)。它的作用简单来说，就是告诉编译器用decltype的推导表达式规则来推导auto。另外需要注意的是，decltype(auto)必须单独声明，也就是它不能结合指针、引用以及cv限定符。

int i;
int&& f();
auto x1a = i; // x1a推导类型为int
decltype(auto) x1d = i; // x1d推导类型为int
auto x2a = (i); // x2a推导类型为int
decltype(auto) x2d = (i); // x2d推导类型为int&
auto x3a = f(); // x3a推导类型为int
decltype(auto) x3d = f(); // x3d推导类型为int&&
auto x4a = { 1, 2 }; // x4a推导类型为
std::initializer_listdecltype(auto) x4d = { 1, 2 }; // 编译失败, {1, 2}不是表达式
auto *x5a = &i; // x5a推导类型为int*
decltype(auto)*x5d = &i; // 编译失败，decltype(auto)必须单独声明

有了decltype(auto)之后，我们又多了一种返回引用的形式：

templatedecltype(auto) return_ref(T& t)
{
    return t;
}

在C++17 标准中，decltype(auto)还能作为非类型模板形参的占位符，例如：

#includetemplatevoid f()
{
    std::cout<< N<< std::endl;
}

六、本章代码汇总

#includeusing namespace std;

templateauto sum(T1 t1, T2 t2)
{
    return t1 + t2;
}

templateauto return_ref(T& t)
{
    return t;
}

templateauto& return_ref1(T& t)
{
    return t;
}

templateauto return_ref2(T& t) ->decltype(t)
{
    return t;
}

templatedecltype(auto) return_ref3(T& t)
{
    return t;
}

templatevoid f()
{
    cout<< N<< endl;
}

int main()
{
    auto res = sum(1, 2.0);
    cout<< "res="<< res<< endl;
    cout<< "res type: "<< typeid(res).name()<< endl;

    int x = 0;
    cout<< "x is reference value: "<< std::is_reference_v<< endl;
    cout<< "x is reference value: "<< std::is_reference_v<< endl;
    cout<< "x is reference value: "<< std::is_reference_v<< endl;
    cout<< "x is reference value: "<< std::is_reference_v<< endl;

    return 0;
}

你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧

名称栏目：C++11之后的decltype类型指示符-创新互联
本文路径：http://www.wjwzjz.com/article/cepgis.html