コンパイラがstatic_castの型パラメータを推論できないのはなぜですか？

Question

私は次のようになり、いくつかの（レガシー）コードがあります。これは非常に古いコードであると私は、これはここで起こっているダウンキャストの並べ替えを行うには恐ろしい方法であることを認識

void castFoo(string type, void* foo) { 
    FooA* foo_a = NULL; 
    FooB* foo_b = NULL; 

    if (type == "A") { 
    foo_a = static_cast<FooA*>(foo); 
    } else { 
    foo_b = static_cast<FooB*>(foo); 
    } 

    // now do things with one of the two foo's 
} 

を。しかし、それは私を不思議に思った：なぜ私はこれのように書くことができないのですか？

if (type == "A") { 
    foo_a = static_cast(foo); 
    } else { 
    foo_b = static_cast(foo); 
    } 

確かに、コンパイラにとっては曖昧であり、関数の中では通常のテンプレート引数の減算のように見えます。ここでタイプ控除が行われないのはなぜですか？

Answer 1

静的キャストは危険です。この場合、voidへの/からのキャストは、まったく同じ型にする必要があります。

暗黙的なtypimgは、2つのキャストが未定義の動作を生成するように、キャストに直接隣接しないコード変更を許可します。

好きなようにコードを作ることができますが、それはあまり知られていません。

template<class V> 
struct implicit_static_cast_t{ 
    V v; 
    template<class T> 
    operator T()&&{ 
    return static_cast<T>(std::forward<V>(v)); 
    } 
}; 

template<class In> 
implicit_static_cast_t<In> 
auto_static_cast(In&& in){ 
    return {std::forward<In>(in)}; 
} 

は今、あなたのようなauto_static_cast振る舞いはstatic_cast振る舞うようにしたいです。