C++ decltype类型说明符

1 基本语法

decltype 类型说明符生成指定表达式的类型。在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值。

语法为:

decltype( expression )

编译器使用下列规则来确定expression 参数的类型。

如果 expression 参数是标识符或类成员访问,则 decltype(expression) 是 expression 命名的实体的类型。如果不存在此类实体或 expression 参数命名一组重载函数,则编译器将生成错误消息。
如果 expression 参数是对一个函数或一个重载运算符函数的调用,则 decltype(expression) 是函数的返回类型。将忽略重载运算符两边的括号。
如果 expression 参数是右值,则 decltype(expression) 是 expression类型。如果 expression参数是左值,则 decltype(expression) 是对 左值引用 类型的expression。
给出如下示例代码:

int var;
const int&& fx();
struct A { double x; }
const A* a = new A();

语句 类型 注释
decltype(fx()); const int && 对左值引用的const int
decltype(var); int 变量 var 的类型
decltype(a->x); double 成员访问的类型
decltype((a->x)); const double& 内部括号导致语句作为表达式而不是成员访问计算。由于a声明为 const指针,因此类型是对const double的引用。

2 decltype和引用

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

// decltype的结果可以是引用类型
int i = 42, *p = &i, &r = i;
decltype(r + 0) b; // OK, 加法的结果是int,因此b是一个(未初始化)的int
decltype(*p) c; // Error, c是int&, 必须初始化

因为r是一个引用,因此decltype(r)的结果是引用类型,如果想让结果类型是r所指的类型,可以把r作为表达式的一部分,如r+0,显然这个表达式的结果将是一个具体的值而非一个引用。

另一方面,如果表达式的内容是解引用操作,则decltype将得到引用类型。正如我们所熟悉的那样,解引用指针可以得到指针所指对象,而且还能给这个对象赋值,因此,decltype(*p)的结果类型是int&而非int。

3 decltype和auto

处理顶层const和引用的方式不同(参考阅读:C++ auto类型说明符)
如果decltype使用的表达式是一个变量,则decltype返回该变量的类型(包括顶层const和引用在内):

const int ci = 0, &cj = ci;
decltype(ci) x = 0; // x的类型是const int
decltype(cj) y = x; // y的类型是const int&,y绑定到变量x
decltype(cj) z; // Error, z是一个引用,必须初始化

decltype的结果类型与表达式形式密切相关

对于decltype所用的引用来说,如果变量名加上了一对括号,则得到的类型与不加括号时会有所不同。如果decltype使用的是一个不加括号的变量,则得到的结果就是该变量的类型;如果给变量加上了一层或多层括号,编译器就会把它当成是一个表达式。

decltype((i)) d; // Error, d是int&, 必须初始化
decltype(i) e;  // OK, e是一个未初始化的int

模板函数的返回类型

在 C++11 中,可以结合使用尾随返回类型上的 decltype 类型说明符和 auto 关键字来声明其返回类型依赖于其模板参数类型的模板函数。
在 C++14 中,可以使用不带尾随返回类型的 decltype(auto) 来声明其返回类型取决于其模板参数类型的模板函数。
例如,定义一个求和模板函数:

//C++11
 template<typename T, typename U>
auto myFunc(T&& t, U&& u) -> decltype (forward<T>(t) + forward<U>(u))
    { return forward<T>(t) + forward<U>(u); };

//C++14
template<typename T, typename U>
decltype(auto) myFunc(T&& t, U&& u)
    { return forward<T>(t) + forward<U>(u); };

(forward:如果参数是右值或右值引用,则有条件地将其参数强制转换为右值引用。)

附上一段源码:

#include <iostream>
#include <string>
#include <utility>
#include <iomanip>

using namespace std;

template<typename T1, typename T2>
auto Plus(T1&& t1, T2&& t2) ->
  decltype(forward<T1>(t1) + forward<T2>(t2))
{
  return forward<T1>(t1) + forward<T2>(t2);
}

class X
{
  friend X operator+(const X& x1, const X& x2)
  {
   return X(x1.m_data + x2.m_data);
  }

public:
  X(int data) : m_data(data) {}
  int Dump() const { return m_data;}
private:
  int m_data;
};

int main()
{
  // Integer
  int i = 4;
  cout <<
   "Plus(i, 9) = " <<
   Plus(i, 9) << endl;

  // Floating point
  float dx = 4.0;
  float dy = 9.5;
  cout <<
   setprecision(3) <<
   "Plus(dx, dy) = " <<
   Plus(dx, dy) << endl;

  // String
  string hello = "Hello, ";
  string world = "world!";
  cout << Plus(hello, world) << endl;

  // Custom type
  X x1(20);
  X x2(22);
  X x3 = Plus(x1, x2);
  cout <<
   "x3.Dump() = " <<
   x3.Dump() << endl;
}

运行结果为:

Plus(i, 9) = 13
Plus(dx, dy) = 13.5
Hello, world!
x3.Dump() = 42
(0)

相关推荐

  • C++ auto类型说明符

    编程时常常需要把表达式的值赋给变量,这就要求在声明变量的时候清楚知道表达式的类型.然而要做到这一点并非那么容易,有时候甚至根本做不到.为了解决这个问题,C++11标准引入了auto类型说明符,用它就能让编译器替我们去分析表达式所属的类型. 与原来那些只对应一种特定类型的说明符不同,auto让编译器通过初值来推算变量类型.显然,auto定义的变量必须要有初始值. 使用auto具有以下几点好处: 可靠性:如果表达式的类型发生更改(包括函数返回值发生更改的情况),它也能工作. 性能:确保将不会进行转换

  • C++利用stringstream进行数据类型转换实例

    本文实例讲述了C++利用stringstream进行数据类型转换的方法.分享给大家供大家参考.具体分析如下: 在C++标准库里面,使用stringstream 可以用于各种数据类型之间的转换 例如string 转 int 复制代码 代码如下: std::string strId = "1";  int id = 0;  std::stringstream ss;  ss << strId.c_str();  ss >> id; 希望本文所述对大家的C++程序设计

  • C++ decltype类型说明符

    1 基本语法 decltype 类型说明符生成指定表达式的类型.在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值. 语法为: decltype( expression ) 编译器使用下列规则来确定expression 参数的类型. 如果 expression 参数是标识符或类成员访问,则 decltype(expression) 是 expression 命名的实体的类型.如果不存在此类实体或 expression 参数命名一组重载函数,则编译器将生成错误消息. 如果 expr

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

    目录 一.什么是decltype类型指示符 二.typeid运算符 三.使用decltype指示符 四.decltype和引用 五.decltype(auto) 六.本章代码汇总 一.什么是decltype类型指示符 有时会遇到这种情况:希望从表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量.为了满足这一要求,C++11 新标准引入了另一种类型说明符 decltype ,它的作用是选择并返回操作数的数据类型.在此过程中,编译器分析表达式并得到它的类型,却并不实际计算表达式的

  • C++11新特性中auto 和 decltype 区别和联系

    C++11新特性中auto 和 decltype 区别和联系 一. auto简介 编程时候常常需要把表达式的值付给变量,需要在声明变量的时候清楚的知道变量是什么类型.然而做到这一点并非那么容易(特别是模板中),有时候根本做不到.为了解决这个问题,C++11新标准就引入了auto类型说明符,用它就能让编译器替我们去分析表达式所属的类型.和原来那些只对应某种特定的类型说明符(例如 int)不同.auto 让编译器通过初始值来进行类型推演.从而获得定义变量的类型,所以说 auto 定义的变量必须有初始

  • c++primer:变量和基本类型详解

    目录 前言 类型转换 变量声明与定义的关系 变量命名规范 复合类型 引用 指针 const限定符 const的引用 指针和const constexpr和常量表达式 auto类型说明符 decltype 头文件保护符 习题 练习 总结 前言 我只写我觉得重要的,同时把一些我觉得比较重要的习题做一下 类型转换 类型所能代表的范围决定了转换的过程 比如:当我们把一个非布尔类型的算数值赋给布尔类型时,初始值为0则代表结果为false,否则结果为true 当把浮点数赋给整数时,会舍去小数部分. 当赋给无

  • C++中Operator类型强制转换成员函数解析

    类型转换操作符(type conversion operator)是一种特殊的类成员函数,它定义将类类型值转变为其他类型值的转换.转换操作符在类定义体内声明,在保留字 operator 之后跟着转换的目标类型.转换函数又称类型强制转换成员函数,它是类中的一个非静态成员函数.它的定义格式如下: 复制代码 代码如下: class <类型说明符1> { public: operator <类型说明符2>(); - } 这个转换函数定义了由<类型说明符1>到<类型说明符2

  • C语言 typedef:给类型起一个别名

    C语言允许为一个数据类型起一个新的别名,就像给人起"绰号"一样. 起别名的目的不是为了提高程序运行效率,而是为了编码方便.例如有一个结构体的名字是 stu,要想定义一个结构体变量就得这样写: struct stu stu1; struct 看起来就是多余的,但不写又会报错.如果为 struct stu 起了一个别名 STU,书写起来就简单了: STU stu1; 这种写法更加简练,意义也非常明确,不管是在标准头文件中还是以后的编程实践中,都会大量使用这种别名. 使用关键字 typede

  • C++11系列学习之类型推导

    目录 auto类型推导 auto基本用法 auto 推导规则 auto 的限制 auto 适用场景 decltype 类型推导 decltype 基本用法 decltype 推导规则 decltype 适用场景 auto 和 decltype结合——返回类型后置 小结 auto类型推导 C++旧标准: 具有自动存储的局部变量 auto int i = 0 //C++98 实际上我们一般不这样写,因为非static变量默认就是具有自动存储的局部变量 C++11: 让编译器自动推断出这个变量的类型,

  • 详解MySQL中数据类型和字段类型

    目录 1. mysql的数据类型 (1)数值型 (2)字符(串)型 (3)日期和时间型 (4)null值 2. mysql的列(字段)类型 2.1数值列类型 2.2字符串列类型 2.3日期时间列类型 1. mysql的数据类型 在mysql中有如下几种数据类型: (1)数值型 数值是诸如32 或153.4 这样的值.mysql 支持科学表示法,科学表示法由整数或浮点数后跟“e”或“e”.一个符号(“+”或“-”)和一个整数指数来表示.1.24e+12 和23.47e-1 都是合法的科学表示法表示

  • C++11的新特性简单汇总介绍 (一)

    什么是C++11 C++11是曾经被叫做C++0x,是对目前C++语言的扩展和修正,C++11不仅包含核心语言的新机能,而且扩展了C++的标准程序库(STL),并入了大部分的C++ Technical Report 1(TR1)程序库(数学的特殊函数除外). C++11包括大量的新特性:包括lambda表达式,类型推导关键字auto.decltype,和模板的大量改进. 1. 概述 最近在看C++ Primer5 刚好看到一半,总结一下C++11里面确实加了很多新东西,如果没有任何了解,别说自己

随机推荐