C++中decltype是一種類型推斷機制，用于根據表達式的類型推導出變量或函數的類型。decltype可以用在變量聲明、函數返回類型、模板參數等多個地方。

decltype的語法格式為：

decltype(expression)

expression是任意一個有效的C++表達式，可以是一個變量、函數調用、算術運算、類型轉換等等。

decltype的工作原理是通過分析表達式的結果來推斷出表達式的類型。decltype會根據表達式的類型返回一個類型，而不會執行表達式本身。

以下是decltype的幾種常見用法：

1. 變量聲明：

int x = 10;
decltype(x) y;  // 推導出變量y的類型為int

2. 函數返回類型：

int add(int a, int b) {
    return a + b;
}

double sub(double a, double b) {
    return a - b;
}

decltype(add) sum;  // 推導出sum的類型為int(*)(int, int)
decltype(sub) diff; // 推導出diff的類型為double(*)(double, double)

3. 模板參數：

template <typename T, typename U>
void multiply(T a, U b) {
    decltype(a * b) result;  // 推導出result的類型為T
    // ...
}

int x = 10;
double y = 3.5;
multiply(x, y);  // result的類型為int

4. 自動推導函數返回類型：

auto add(int a, int b) -> decltype(a + b) {
    return a + b;
}

int main() {
    int x = 10;
    int y = 20;
    decltype(add(x, y)) sum = add(x, y);  // 推導出sum的類型為int
    return 0;
}

總的來說，decltype可以方便地推導表達式的類型，使得代碼更加靈活和具有通用性。