decltype是一種新的操作符,用于獲取表達式的數(shù)據(jù)類型。
使用方法和sizeof操作符類似。
int i;
decltype(i) x1; // 類型為int
const int bar();
decltype(bar()) x2; // 類型為int
const int&& foo();
decltype(foo()) x3; // 類型為const int&&
struct A { double x; };
const A* a = new A();
decltype(a->x) x4; // 類型為double
decltype( (a->x) ) x5; // 類型為const double&
decltype( e ) 返回類型前,進行了如下推導:
- 若表達式e為一個無括號的變量、函數(shù)參數(shù)、類成員訪問,那么返回類型即為該變量或參數(shù)或類成員在源程序中的“聲明類型”;
- 否則的話,根據(jù)表達式的值分類(value categories),設(shè)T為e的類型:
- 若e是一個左值(lvalue,即“可尋址值”),則返回T&;
- 若e是一個臨終值(xvalue),則返回T&&;
- 若e是一個純右值(prvalue),則返回T。
上述最后一個例子中,帶括號的表達式(a->x)既非“標識符表達式”,亦非類訪問表達式,因而未指向一個命名對象,而是一個左值,于x5便為“指向表達式類型的引用”,亦即const double&。
參考來源
wiki - decltype