快捷導(dǎo)航

C++ decltype 說(shuō)明符

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

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

1.語(yǔ)法

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

解釋?zhuān)?br />

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

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

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

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

如果表達(dá)式是返回類(lèi)類(lèi)型純右值的函數(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ì)象。

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

注意:

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

在難以或不可能以標(biāo)準(zhǔn)寫(xiě)法進(jìn)行聲明的類(lèi)型時(shí)，decltype 很有用，例如 lambda 相關(guān)類(lèi)型或依賴(lài)于模板形參的類(lèi)型。

2.關(guān)鍵詞decltype

示例：

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

輸出：