轉(zhuǎn)自https://blog.csdn.net/yhl_leo/article/details/50865552

1 基本語(yǔ)法

decltype?類型說(shuō)明符生成指定表達(dá)式的類型。在此過(guò)程中，編譯器分析表達(dá)式并得到它的類型，卻不實(shí)際計(jì)算表達(dá)式的值。

語(yǔ)法為：

decltype( expression )

• 1

編譯器使用下列規(guī)則來(lái)確定expression?參數(shù)的類型。

• 如果?expression?參數(shù)是標(biāo)識(shí)符或類成員訪問(wèn)，則?decltype(expression)?是?expression?命名的實(shí)體的類型。如果不存在此類實(shí)體或?expression?參數(shù)命名一組重載函數(shù)，則編譯器將生成錯(cuò)誤消息。
• 如果?expression?參數(shù)是對(duì)一個(gè)函數(shù)或一個(gè)重載運(yùn)算符函數(shù)的調(diào)用，則?decltype(expression)?是函數(shù)的返回類型。將忽略重載運(yùn)算符兩邊的括號(hào)。
• 如果?expression?參數(shù)是右值，則?decltype(expression)?是?expression類型。如果?expression參數(shù)是左值，則?decltype(expression)?是對(duì) 左值引用 類型的expression。

給出如下示例代碼：

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

• 1
• 2
• 3
• 4

語(yǔ)句類型注釋

decltype(fx());	const int &&	對(duì)左值引用的const int
decltype(var);	int	變量?var?的類型
decltype(a->x);	double	成員訪問(wèn)的類型
decltype((a->x));	const double&	內(nèi)部括號(hào)導(dǎo)致語(yǔ)句作為表達(dá)式而不是成員訪問(wèn)計(jì)算。由于a聲明為?const指針，因此類型是對(duì)const double的引用。

2?decltype和引用

如果decltype使用的表達(dá)式不是一個(gè)變量，則decltype返回表達(dá)式結(jié)果對(duì)應(yīng)的類型。但是有些時(shí)候，一些表達(dá)式向decltype返回一個(gè)引用類型。一般來(lái)說(shuō)，當(dāng)這種情形發(fā)生時(shí)，意味著該表達(dá)式的結(jié)果對(duì)象能作為一條賦值語(yǔ)句的左值：

// decltype的結(jié)果可以是引用類型 int i = 42, *p = &i, &r = i; decltype(r + 0) b; // OK, 加法的結(jié)果是int，因此b是一個(gè)（未初始化）的int decltype(*p) c; // Error, c是int&， 必須初始化

• 1
• 2
• 3
• 4

因?yàn)閞是一個(gè)引用，因此decltype(r)的結(jié)果是引用類型，如果想讓結(jié)果類型是r所指的類型，可以把r作為表達(dá)式的一部分，如r+0，顯然這個(gè)表達(dá)式的結(jié)果將是一個(gè)具體的值而非一個(gè)引用。

另一方面，如果表達(dá)式的內(nèi)容是解引用操作，則decltype將得到引用類型。正如我們所熟悉的那樣，解引用指針可以得到指針?biāo)笇?duì)象，而且還能給這個(gè)對(duì)象賦值，因此，decltype(*p)的結(jié)果類型是int&而非int。

3?decltype和auto

• 處理頂層const和引用的方式不同（參考閱讀：C++ auto類型說(shuō)明符）

如果decltype使用的表達(dá)式是一個(gè)變量，則decltype返回該變量的類型（包括頂層const和引用在內(nèi)）：

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是一個(gè)引用，必須初始化

• 1
• 2
• 3
• 4

• decltype的結(jié)果類型與表達(dá)式形式密切相關(guān)

對(duì)于decltype所用的引用來(lái)說(shuō)，如果變量名加上了一對(duì)括號(hào)，則得到的類型與不加括號(hào)時(shí)會(huì)有所不同。如果decltype使用的是一個(gè)不加括號(hào)的變量，則得到的結(jié)果就是該變量的類型；如果給變量加上了一層或多層括號(hào)，編譯器就會(huì)把它當(dāng)成是一個(gè)表達(dá)式。

decltype((i)) d; // Error, d是int&, 必須初始化 decltype(i) e; // OK, e是一個(gè)未初始化的int

• 1
• 2

• 模板函數(shù)的返回類型?
  
  • 在 C++11 中，可以結(jié)合使用尾隨返回類型上的?decltype?類型說(shuō)明符和?auto?關(guān)鍵字來(lái)聲明其返回類型依賴于其模板參數(shù)類型的模板函數(shù)。
  • 在 C++14 中，可以使用不帶尾隨返回類型的?decltype(auto)?來(lái)聲明其返回類型取決于其模板參數(shù)類型的模板函數(shù)。

例如，定義一個(gè)求和模板函數(shù)：

//C++11template<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); };

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10

（forward：如果參數(shù)是右值或右值引用，則有條件地將其參數(shù)強(qiáng)制轉(zhuǎn)換為右值引用。）

附上一段源碼：

#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; }

• 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

運(yùn)行結(jié)果為：

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

• 1
• 2
• 3
• 4

參考資料：

• Microsoft Developer Network: decltype(C++)
• C++ Primer(第五版)》 Stanley B. Lippman.

轉(zhuǎn)載于:https://www.cnblogs.com/wangshaowei/p/8865919.html

創(chuàng)作挑戰(zhàn)賽新人創(chuàng)作獎(jiǎng)勵(lì)來(lái)咯，堅(jiān)持創(chuàng)作打卡瓜分現(xiàn)金大獎(jiǎng)

總結(jié)

以上是生活随笔為你收集整理的C++ decltype类型说明符(尾置返回类型使用)的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。