C++类型的索引哈希会导致未定义的行为

Question

下面的示例https://en.cppreference.com/w/cpp/types/type_index并且用CCD_ 1编译揭示了未定义的行为。代码为：

struct A
{
virtual ~A()
{}
};
struct B : A
{
};
struct C : A
{
};
int main() {
std::unordered_map<std::type_index, std::string> type_names;
std::cout << "A" << std::endl;
type_names[std::type_index(typeid(int))] = "int";
std::cout << "B" << std::endl;
type_names[std::type_index(typeid(double))] = "double";
std::cout << "C" << std::endl;
type_names[std::type_index(typeid(A))] = "A";
std::cout << "D" << std::endl;
type_names[std::type_index(typeid(B))] = "B";
std::cout << "E" << std::endl;
type_names[std::type_index(typeid(C))] = "C";
std::cout << "F" << std::endl;
return 0;
}

其在编译和运行后产生：

A
B
C
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/typeinfo:192:26: runtime error: unsigned integer overflow: 8244747390267580164 * 33 cannot be represented in type 'unsigned long'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/typeinfo:192:26 in
D
E
F

如图所示，clang抱怨用户定义类型的未定义行为。有人知道不会导致未定义行为的正确实现是什么样子的吗？

Answer 1

无符号整数溢出不是未定义的行为，但是UBSan仍然可以选择检查它，因为它通常仍然是一个bug。但在这种情况下并非如此。此警告是由一个完全无辜的散列函数引发的。它应该有无符号整数溢出。

您可以使此警告静音。

您还可以向libc++维护人员报告错误。他们可能应该添加

__attribute__((no_sanitize("integer")))

或一些这样的违规功能。