decltype 類型規範

decltype 類型規範會產生指定之運算式的類型。 decltype 類型規範搭配 auto 關鍵字 對於主要是撰寫樣板程式庫的開發人員很有用。 使用 auto 和 decltype 來宣告其傳回類型視樣板引數而定的樣板函式。 或是使用 auto 和 decltype 來宣告包裝對其他函式的呼叫，再傳回所包裝函式之類型的樣板函式。

 decltype( expression )

參數

傳回值

expression 參數的類型。

備註

decltype 類型規範在 Visual C++ 2010 (含) 以後版本支援，可以搭配原生或 Managed 程式碼使用。

編譯器會使用下列規則來判斷 expression 參數的類型。

• 如果 expression 參數是識別項或 類別成員存取，decltype(expression) 是由 expression 命名的實體類型。 如果沒有這種實體或 expression 參數命名了一組多載函式，編譯器會產生錯誤訊息。

• 如果 expression 參數是對函式或多載運算子函式的呼叫，decltype(expression) 會是函式的傳回類型。 在多載運算子周圍的括號會被忽略。

• 如果 expression 參數是一個 rvalue，則 decltype(expression) 會是 expression 的類型。 如果 expression 參數是左值，decltype(expression) 會是一個 expression 類型的左值參考。

下列程式碼範例示範 decltype 類型規範的一些用法。 首先，假設您撰寫了下列陳述式。

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

接著，檢查由下表中四個 decltype 陳述式所傳回的類型。

Decltype 和 Auto

使用 decltype 類型規範搭配 auto 關鍵字來宣告其傳回類型視樣板引數而定的樣板函式。 例如，請考慮下列程式碼範例，其中樣板函式的傳回類型取決於樣板引數的類型。 在程式碼範例中，UNKNOWN 預留位置表示不能指定傳回類型。

template<typename T, typename U>
UNKNOWNfunc(T&& t, U&& u){ return t + u; }; 

decltype 類型規範的引入可讓開發人員取得樣板函式傳回的運算式類型。 使用稍後顯示的「替代函式宣告語法」(Alternative Function Declaration Syntax)、auto 關鍵字和 decltype 類型規範來宣告一個「晚期指定」(Late-Specified) 的傳回類型。 晚期指定的傳回類型是在編譯宣告時決定，而不是在撰寫程式時決定。

下列原型說明替代函式宣告的語法。 請注意，const 和 volatile 限定詞，以及 throw 例外狀況規格 是選擇性的。 function_body 預留位置代表指定的函式將進行的是複合陳述式。 基於撰寫程式碼的最佳作法，decltype 陳述式中的 expression 預留位置應該要與 function_body 中 return 陳述式指定的運算式相符 (如果有的話)。

auto function_name(parametersopt) constopt volatileopt −> decltype(expression) throwopt {function_body};

下列程式碼範例中，myFunc 樣板函式的晚期指定傳回類型由 t 和 u 樣板引數的類型決定。 基於撰寫程式碼的最佳作法，程式碼範例也使用右值參考和 forward 函式樣板，其支援「完美轉送」(Perfect Forwarding)。 如需詳細資訊，請參閱右值參考宣告子：&&。

template<typename T, typename U>
auto myFunc(T&& t, U&& u) -> decltype (forward<T>(t) + forward<U>(u)) 
        { return forward<T>(t) + forward<U>(u); }; 

decltype 和轉送函式

轉送函式會包裝對其他函式的呼叫。 試想一個轉送其引數，或者包含這些引數的運算式結果到其他函式的函式樣板。 此外，轉送函式會傳回呼叫其他函式的結果。 在這個案例中，轉送函式的傳回類型應該會與包裝函式的傳回類型相同。

在這個案例中，您必須使用 decltype 類型規範才能撰寫適當的類型運算式。 decltype 類型規範可進行泛型轉送函式，因為它不會遺失函式是否傳回參考類型的必要資訊。 如需轉送函式的程式碼範例，請參閱先前的 myFunc 樣板函式範例。

範例

下列程式碼範例會宣告樣板函式 Plus() 的晚期指定傳回類型。 Plus 函式處理其使用 operator+ 多載的兩個運算元。 因此，加號運算子 (+) 的解譯和 Plus 函式的傳回類型取決於函式引數的類型。

// decltype_1.cpp
// compile with: /EHsc
//
#include "stdafx.h"
#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;
}

輸出

這個程式碼範例會產生下列結果。

13

13.5

Hello, world!

42

需求

Visual C++ 2010 (含) 以後版本。

請參閱

參考

簡單類型名稱