ブースト:: C++ 11

Question

可能性の重複のための任意のtypeidの最適化：私は&operand->type() == &typeid(ValueType)に以下operand->type() == typeid(ValueType)行を変更した場合、コードはまだgccで動作し、かかる
When can typeid return different type_info instances for same type?

実行可能ファイルのスペースを少なくしました（これは何年も前から行われていました）が、この最適化はさまざまなコンパイラで機能するはずです。

template<typename ValueType> 
ValueType * any_cast(any * operand) 
{ 
    return operand && 
#ifdef BOOST_AUX_ANY_TYPE_ID_NAME 
     std::strcmp(operand->type().name(), typeid(ValueType).name()) == 0 
#else 
     operand->type() == typeid(ValueType) 
#endif 
     ? &static_cast<any::holder<ValueType> *>(operand->content)->held 
     : 0; 
} 

Answer 1

いいえ、保証されません。このアサートがトリガされることがあります。それは火を作るためにはかなり愚かなコンパイラを取るだろうが、それが起こる可能性があり

assert(&typeid(int) == &typeid(int)); 

。実際には、ダイナミックライブラリの境界を越えてtypeidを比較しているときにのみ失敗します：

これはほぼ確実にトリガされます。