C++ 編程中「無法知道表達式類型」的經典場景：虛函數返回類型協變與模板推導限制

《C++ Primer》第 5 版 P61 指出：聲明變量需知表達式類型，但有時「甚至根本做不到」。本文揭示兩大核心場景——**虛函數協變返回**與**模板依賴類型**，並給出現代 C++ 解決方案。

場景一：虛函數協變返回類型

class Base {
public:
    virtual Base* clone() const { return new Base(*this); }
};
class Derived : public Base {
public:
    // 協變返回類型：派生類覆寫返回派生類指針
    virtual Derived* clone() const override { return new Derived(*this); }
};

void foo(Base* obj) {
    // 編譯時 obj 靜態類型為 Base*，調用 clone() 靜態綁定返回 Base*
    // 但運行時可能指向 Derived，實際返回 Derived*
    // 問題：聲明什麼類型變量接收返回值？
    auto ptr = obj->clone(); // C++11 auto 推導為 Base*（靜態類型）
    // 若需 Derived* 必須 dynamic_cast，但運行時才知真實類型
}

本質：靜態類型 (Base*) 與動態類型 (Derived*) 不一致，編譯期無法確定表達式 obj->clone() 的**確切類型**，只能知道公共基類類型。

場景二：模板依賴類型

template <typename T>
auto process(T& obj) -> decltype(obj.transform()) { // C++11 尾置返回類型
    return obj.transform(); // transform() 返回類型取決於 T，編譯期實例化時才知
}

// C++17 簡化
template <typename T>
decltype(auto) process(T& obj) {
    return obj.transform(); // 保留引用/const 屬性
}

在模板定義階段，obj.transform() 的類型**依賴於模板參數 T**，直到實例化時才能確定。若不使用 decltype/auto，根本無法聲明返回類型變量。

現代 C++ 解決方案

最佳實踐

1. 優先用 auto：auto x = expr; 讓編譯器幹苦力，減少錯誤，應對類型變更。
2. 庫/模板代碼用 decltype：精確表達類型依賴關係，配合 std::declval 在未構造對象時獲取類型。
3. 虛函數返回基類指針/智能指針：virtual std::unique_ptr<Base> clone()，避免協變帶來的靜態類型擦除問題。

總結

「無法知道表達式類型」本質上是**靜態類型系統與動態多態/泛型編程的張力**。現代 C++ 通過 auto/decltype/Concepts 等機制，將類型推導推遲到編譯器擁有完整信息的時刻（模板實例化點、表達式求值點），從根本上解決了此難題。