最令人煩惱的解析：解開C 11 中的歧義

當使用統一初始化器時，C 11 中的“最令人困擾的解析」歧義會出現，如以下程式碼片段所示：

#include 

class Timer
{
public:
    Timer() {}
};

int main()
{
    auto dv = Timer(); // Ambiguity: Object or function call?
    int time_keeper(Timer()); // Ambiguity: Pointer or call?
    return 0;
}

理解第一個表達式(auto dv = Timer())

在第一個表達式中，auto 關鍵字意味著dv 的型別是從初始化器推斷出來的位於等號(=) 的右側。初始化程序是對不帶參數的 Timer 建構函數的調用，它會傳回一個 Timer 物件。因此，dv 是 Timer 類型的物件。

理解第二個表達式(int time_keeper(Timer()))

在第二個表達式中，出現歧義是因為編譯器無法確定Timer () 是函數呼叫還是透過引用傳遞的Timer 類型的物件。

• If Timer() 是一個函數調用，然後 int time_keeper(Timer()) 聲明一個名為 time_keeper 的函數，該函數將 Timer 物件輸入並返回 int。
• 如果Timer() 是Timer 類型的對象，然後int time_keeper(Timer()) 宣告一個名為time_keeper 的函數，該函數將指向Timer 對象的指針作為輸入並返回int.

然而，因為函數在作為參數傳遞時會衰減為指針，所以time_keeper 的真正類型是int(Timer(*)())，這解決了有利於指標的歧義-函數解釋。