c++ - boost::any typeid 优化 C++11

Question

可能重复：
typeid 何时可以为同一类型返回不同的 type_info 实例？

如果我将operand->type() == typeid(ValueType)下面的行更改为&operand->type() == &typeid(ValueType)，代码仍然可以使用 gcc 并且在可执行文件中占用更少的空间（并且已经这样做了很多年），但是 C++11 标准是否提供任何保证，这种优化应该适用于不同的编译器？

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 时才会失败：

assert(&typeid_of_int_in_lib1() == &typeid_of_int_in_lib2());

这几乎肯定会触发。