1.語(yǔ)法

decltype ( 實(shí)體 )?(1)?(C++11 起)
decltype ( 表達(dá)式 )?(2)?(C++11 起)

解釋：

1) 如果實(shí)參是沒(méi)有括號(hào)的標(biāo)識(shí)表達(dá)式或沒(méi)有括號(hào)的類成員訪問(wèn)表達(dá)式，那么 decltype 產(chǎn)生以該表達(dá)式命名的實(shí)體的類型。如果沒(méi)有這種實(shí)體或該實(shí)參指名了一組重載函數(shù)，那么程序非良構(gòu)。

• 如果實(shí)參是指名某個(gè)結(jié)構(gòu)化綁定的沒(méi)有括號(hào)的標(biāo)識(shí)表達(dá)式，那么 decltype 產(chǎn)生其被引用類型（在關(guān)于結(jié)構(gòu)化綁定聲明的說(shuō)明中有所描述）。
  
• 如果實(shí)參是指名某個(gè)非類型模板形參的沒(méi)有括號(hào)的標(biāo)識(shí)表達(dá)式，那么 decltype 生成該模板形參的類型（當(dāng)該模板形參以占位符類型聲明時(shí)，類型會(huì)先進(jìn)行任何所需的類型推導(dǎo)）。

2) 如果實(shí)參是其他類型為 T 的任何表達(dá)式，且

• 如果 表達(dá)式 的值類別是亡值，將會(huì) decltype 產(chǎn)生 T&&；
• 如果 表達(dá)式 的值類別是左值，將會(huì) decltype 產(chǎn)生 T&；
• 如果 表達(dá)式 的值類別是純右值，將會(huì) decltype 產(chǎn)生 T。
  

如果 表達(dá)式 是返回類類型純右值的函數(shù)調(diào)用，或是右操作數(shù)為這種函數(shù)調(diào)用的逗號(hào)表達(dá)式，那么不會(huì)對(duì)該純右值引入臨時(shí)量。

如果 表達(dá)式 是除了（可帶括號(hào)的）立即調(diào)用以外的 (C++20 起)純右值，那么不會(huì)從該純右值實(shí)質(zhì)化臨時(shí)對(duì)象：即這種純右值沒(méi)有結(jié)果對(duì)象。

該類型不需要是完整類型或擁有可用的析構(gòu)函數(shù)，而且類型可以是抽象的。此規(guī)則不適用于其子表達(dá)式：decltype(f(g())) 中，g() 必須有完整類型，但 f() 不必。

注意:

• 如果對(duì)象的名字帶有括號(hào)，那么它會(huì)被當(dāng)做通常的左值表達(dá)式，從而 decltype(x) 和 decltype((x)) 通常是不同的類型。
• 在難以或不可能以標(biāo)準(zhǔn)寫(xiě)法進(jìn)行聲明的類型時(shí)，decltype 很有用，例如 lambda 相關(guān)類型或依賴于模板形參的類型。

2.關(guān)鍵詞decltype

示例：

#include <iostream>
#include <type_traits>
 
struct A { double x; };
const A* a;
 
decltype(a->x) y;       // y 的類型是 double（其聲明類型）
decltype((a->x)) z = y; // z 的類型是 const double&（左值表達(dá)式）
 
template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) // 返回類型依賴于模板形參
{                                     // C++14 開(kāi)始可以推導(dǎo)返回類型
    return t+u;
}
 
int main() 
{
    int i = 33;
    decltype(i) j = i * 2;
 
    std::cout << "i = " << i << ", "
              << "j = " << j << '\n';
 
    std::cout << "i 和 j 的類型相同嗎？"
              << (std::is_same_v<decltype(i), decltype(j)> ? "相同" : "不同") << '\n';
 
    auto f = [](int a, int b) -> int
    {
        return a * b;
    };
 
    decltype(f) g = f; // lambda 的類型是獨(dú)有且無(wú)名的
    i = f(2, 2);
    j = g(3, 3);
 
    std::cout << "i = " << i << ", "
              << "j = " << j << '\n';
}

輸出：

i 和 j 的類型相同嗎？相同
i = 33, j = 66
i = 4, j = 9

到此這篇關(guān)于C++ decltype 說(shuō)明符的文章就介紹到這了,更多相關(guān)decltype 說(shuō)明符內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！