C++ decltype类型说明符

 更新时间:2016年03月13日 16:11:35   投稿:hebedich  
在C++中,decltype作为操作符,用于查询表达式的数据类型。decltype在C++11标准制定时引入,主要是为泛型编程而设计,以解决泛型编程中,由于有些类型由模板参数决定,而难以(甚至不可能)表示之的问题。

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

相关文章

  • C++实例代码详解友元函数

    C++实例代码详解友元函数

    采用类的机制后实现了数据的隐藏与封装,类的数据成员一般定义为私有成员,成员函数一般定义为公有的,依此提供类与外界间的通信接口。但是,有时需要定义一些函数,这些函数不是类的一部分,但又需要频繁地访问类的数据成员,这时可以将这些函数定义为该类的友元函数
    2022-06-06
  • 使用c++编程实现简单的打字小游戏

    使用c++编程实现简单的打字小游戏

    这篇文章主要为大家介绍了使用c++编程语言来实现一个非常简单的打字小游戏过程实现的示例代码,有需要的朋友可以借鉴参考下,希望能够有所帮助
    2021-10-10
  • C++11的右值引用的具体使用

    C++11的右值引用的具体使用

    这篇文章主要介绍了C++11的右值引用的具体使用,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-02-02
  • C++算法学习之贪心算法的应用

    C++算法学习之贪心算法的应用

    贪心算法是指,在对问题求解时,总是做出在当前看来是最好的选择。本文为大家准备了几个示例,从而能深入了解贪心算法的应用,需要的可以参考一下
    2022-05-05
  • C语言时间函数之strftime()详解

    C语言时间函数之strftime()详解

    这篇文章主要为大家详细介绍了C语言时间函数之strftime(),文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2022-02-02
  • 详解C语言中typedef和#define的用法与区别

    详解C语言中typedef和#define的用法与区别

    这篇文章主要给大家介绍了关于C语言中typedef和#define的的用法、区别,以及陷阱。文中通过示例进行了详细讲解,感兴趣的小伙伴可以了解一下
    2022-07-07
  • Qt 鼠标/触屏绘制平滑曲线(支持矢量/非矢量方式)

    Qt 鼠标/触屏绘制平滑曲线(支持矢量/非矢量方式)

    这篇文章主要介绍了Qt 鼠标/触屏绘制平滑曲线(支持矢量/非矢量方式),文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-04-04
  • 详谈C++的内存泄漏问题

    详谈C++的内存泄漏问题

    下面小编就为大家带来一篇详谈C++的内存泄漏问题。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-05-05
  • C++实现与Lua相互调用的示例详解

    C++实现与Lua相互调用的示例详解

    这篇文章主要为大家详细介绍了C++实现与Lua相互调用的方法,文中的示例代码讲解详细,具有一定的学习价值,感兴趣的小伙伴可以了解一下
    2023-03-03
  • C++/Php/Python 语言执行shell命令的方法(推荐)

    C++/Php/Python 语言执行shell命令的方法(推荐)

    下面小编就为大家带来一篇C++/Php/Python 语言执行shell命令的方法(推荐)。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-03-03

最新评论