C++ bad_cast異常鑄造*這個派生模板類

Question

我正在嘗試一個虛擬模板函數的實現。我在將this指向指向子類模板的指針時有工作，但是當我將*this引用到子類時，我無法使其工作，爲什麼？

template <typename T> struct BB; // forward reference (not bound until instantiation in main) 
struct AA 
{ 
    virtual ~AA(){} 
    template <typename T> 
    void operator()(T && t) 
    { 
     dynamic_cast<BB<T>*>(this)->operator()(std::forward<T>(t)); // works! 
     dynamic_cast<BB<T>&>(*this)(std::forward<T>(t));   // compiles but throws bad_cast 
    } 
}; 
template <typename T> 
struct BB : AA 
{ 
    void operator()(T t) { std::cout << "BB::operator()" << std::endl; } 
}; 

int main() 
{ 
    BB<int> bb; 
    int k = 5; 
    static_cast<AA&>(bb)(k); 
} 

Answer 1

在您的呼叫static_cast<AA&>(bb)(k);，T推導爲int &，以及含有*this最派生的對象是BB<int &>類型不是。所以兩個強制轉換失敗，並且你的指針間接產生未定義的行爲。