快捷導(dǎo)航

C++ decltype 說明符

更新時間：2021年12月08日 09:32:07 作者：cppreference

這篇文章主要介紹了C++ decltype 說明符，檢查實體的聲明類型，或表達(dá)式的類型和值類別。下面我們來看看文章中的具體內(nèi)容吧

1.語法

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

解釋：

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

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

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

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

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

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

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

注意:

如果對象的名字帶有括號，那么它會被當(dāng)做通常的左值表達(dá)式，從而 decltype(x) 和 decltype((x)) 通常是不同的類型。

在難以或不可能以標(biāo)準(zhǔn)寫法進(jìn)行聲明的類型時，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 開始可以推導(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 的類型是獨有且無名的
    i = f(2, 2);
    j = g(3, 3);
 
    std::cout << "i = " << i << ", "
              << "j = " << j << '\n';
}

輸出：