的dynamic_cast衍生模板較少CV-合格的指針

Question

我有下面的代碼：

struct Base 
{ 
    virtual ~Base(){}; 
}; 

template<class T> 
struct Derived : public Base 
{}; 

int main() 
{ 
    Derived<int> d; 
    Base *pD = &d; 

    if(dynamic_cast<Derived<const int>*>(pD)) 
    { 
     std::cout << "const" << std::endl; 
    } 

    if(dynamic_cast<Derived<int>*>(pD)) 
    { 
     std::cout << "non-const" << std::endl; 
    } 
} 

我希望雙方dynamic_casts返回一個有效的指針，因爲新類型較少CV-合格。任何人都可以向我解釋我錯過了什麼嗎？給定Base指針，有什麼辦法可以識別Derived<XYZ>忽略cv限定符嗎？

Answer 1

從編譯器的角度來看，Derived<int>和Derived<const int>與const char*和struct MyBox相差甚遠。換句話說，他們之間沒有任何關係。

Answer 2

您很困惑編譯器正在查看哪種類型。正在減去const指的是不是模板參數的類型。如果你有

if(dynamic_cast<const Derived<int>*>(pD)) 
{ 
    std::cout << "const" << std::endl; 
} 

if(dynamic_cast<Derived<int>*>(pD)) 
{ 
    std::cout << "non-const" << std::endl; 
} 

然後這兩個輸出將打印。

一個something<sometype>是一個完全不同的類型，然後一個something<some_other_type>但const something<sometype>只是const版本的something<sometype>