decltype推导规则

87 阅读 0 评论 58 点赞

我是靠谱客的博主糟糕饼干，这篇文章主要介绍decltype推导规则，现在分享给大家，希望可以做个参考。

背景

随着C++11中对关键字atuo的重新定义作用，引申出decltype关键字。
decltype的C++11及后续版本中应用比较广泛。
decltype的具体描述：
http://zh.cppreference.com/w/cpp/language/decltype

用法

decltype ( entity ) (1) (C++11 起)
decltype ( expression ) (2) (C++11 起)
检查实体的声明类型或表达式的类型及值分类。

推导规则

约定decltype(e)
- e没有带括号则推导原来类型
1、写法decltype(e)
2、需注意当 e为表达式（函数）时，其函数不能重载，否则编译失败
- e带括号时推导规则
1、写法decltype((e))
2、推导如下：
若参数是任何其他类型为 T 的表达式，且
a) 若 e的值类别为亡值，则 decltype 产出 T&& ；
b) 若 e的值类别为左值，则 decltype 产出 T& ；
c) 若 e的值类别为纯右值，则 decltype 产出 T 。

示例

复制代码

#include<iostream>
#include<typeinfo>
using namespace std;

class CTest
{
public:
    int m_iNum;
};

void overloadfunc(int)
{

}

void overloadfunc(char)
{

}

int && rxvale();

const bool func()
{
    return true;
}

int main()
{

int itest = 3;
    int arr[3] = { 0 };
    int *pInt = arr;

//不带括号
    decltype(itest) ditest;    //int
    cout << typeid(ditest).name() << endl;

decltype(arr)   darr;      //int *
    cout << typeid(darr).name() << endl;

decltype(pInt)   dpInt;      //int *
    cout << typeid(dpInt).name() << endl;

CTest clTest;
    decltype(clTest.m_iNum)   dClTestNum;   //int 
    cout << typeid(dClTestNum).name() << endl;

//decltype(overloadfunc);      //编译不通过

//带括号 规则 1
    decltype(rxvale()) drxvalue = 1;    //将亡值 int &&
    cout << typeid(drxvalue).name() << endl;

//带括号 规则2
    decltype(true ? itest : itest) ditest1 = itest;    //int& 三元运算符，这里返回一个itest的左值
    cout << typeid(ditest1).name() << endl;

decltype((itest)) ditest2 = itest;    //int&  itest的左值
    cout << typeid(ditest2).name() << endl;

decltype((++itest)) ditest3 = itest;    //int&  itest的左值
    cout << typeid(ditest2).name() << itest << ditest3 << endl;   // 3,3

decltype(arr[1])   darr1 = itest;       //int& [] 操作返回左值
    cout << typeid(darr1).name() << darr1 << endl;

decltype(*pInt)   dpInt1 = itest;       //int&  *操作返回左值
    cout << typeid(dpInt1).name() << dpInt1 <<  endl;

decltype("hello") dstr = "world";      //const char(&)[6] 字符串字面常量为左值

//带括号 规则3 推导为本类型
    decltype(12) dNum = 100;               //int
    cout << typeid(dNum).name() << dNum << endl;

decltype(itest++) dNum1 = 0;           //int  itest++返回右值
    cout << typeid(dNum1).name() << dNum1 << endl;

decltype(func()) dFunc = true;         //const bool  推导为bool
    cout << typeid(dFunc).name() << dFunc << endl;
    return 0

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
#include<iostream>
#include<typeinfo>
using namespace std;

class CTest
{
public:
    int m_iNum;
};

void overloadfunc(int)
{

}

void overloadfunc(char)
{

}

int && rxvale();

const bool func()
{
    return true;
}

int main()
{

    int itest = 3;
    int arr[3] = { 0 };
    int *pInt = arr;

    //不带括号
    decltype(itest) ditest;    //int
    cout << typeid(ditest).name() << endl;

    decltype(arr)   darr;      //int *
    cout << typeid(darr).name() << endl;

    decltype(pInt)   dpInt;      //int *
    cout << typeid(dpInt).name() << endl;

    CTest clTest;
    decltype(clTest.m_iNum)   dClTestNum;   //int 
    cout << typeid(dClTestNum).name() << endl;

    //decltype(overloadfunc);      //编译不通过

    //带括号 规则 1
    decltype(rxvale()) drxvalue = 1;    //将亡值 int &&
    cout << typeid(drxvalue).name() << endl;

    //带括号 规则2
    decltype(true ? itest : itest) ditest1 = itest;    //int& 三元运算符，这里返回一个itest的左值
    cout << typeid(ditest1).name() << endl;

    decltype((itest)) ditest2 = itest;    //int&  itest的左值
    cout << typeid(ditest2).name() << endl;

    decltype((++itest)) ditest3 = itest;    //int&  itest的左值
    cout << typeid(ditest2).name() << itest << ditest3 << endl;   // 3,3

    decltype(arr[1])   darr1 = itest;       //int& [] 操作返回左值
    cout << typeid(darr1).name() << darr1 << endl;

    decltype(*pInt)   dpInt1 = itest;       //int&  *操作返回左值
    cout << typeid(dpInt1).name() << dpInt1 <<  endl;

    decltype("hello") dstr = "world";      //const char(&)[6] 字符串字面常量为左值

    //带括号 规则3 推导为本类型
    decltype(12) dNum = 100;               //int
    cout << typeid(dNum).name() << dNum << endl;

    decltype(itest++) dNum1 = 0;           //int  itest++返回右值
    cout << typeid(dNum1).name() << dNum1 << endl;

    decltype(func()) dFunc = true;         //const bool  推导为bool
    cout << typeid(dFunc).name() << dFunc << endl;
    return 0