boost :: any_cast - 僅當隱式轉換不可用時才拋出？

Question

我想要boost::any_cast<T>僅在any的類型沒有隱式轉換爲T時拋出異常。如果any的類型不是T，則正常行爲似乎是拋出異常，而不考慮隱式轉換。

例子：

boost::any a = 1; 
boost::any_cast<int>(a); // This succeeds, and rightfully so 
boost::any_cast<long>(a); // I don't want this to throw 
boost::any_cast<Widget>(a); // I want this to throw 

誰能告訴我，如果有一個簡單的方法來得到我想要的功能，或者更好的是給我一個很好的理由，爲什麼現有的行爲是現在這個樣子？

Answer 1

那麼你不能這樣做。 any機制的工作原理是這樣的：

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

template<typename T> 
struct concrete_base : base { 
    T t; 
    concrete_base(T t):t(t) { } 
}; 

struct my_any { 
    base * b; 

    template<typename T> 
    my_any(T t):b(new concrete_base<T>(t)) { } 

    template<typename T> 
    T any_cast() { 
     concrete_base<T> * t = dynamic_cast< concrete_base<T>* >(b); 
     if(!t) throw bad_any_cast(); 
     return t->t; 
    } 
}; 

我希望很清楚上述做了什麼。沒有辦法，你可以做你正在尋找我認爲。原因是沒有關於可能在此證明有用的類型的信息。 RTTI不提供它。

Answer 2

any_cast無法做到這一點，但如果基類和派生類型是完整的（它們通常適用於層次結構中的類型），您可以實現自己的系統，它通過throw和catch進行轉換，指向派生類型的指針可以被捕獲爲基指針類型。