如何解决C ++类型索引哈希导致未定义的行为
遵循https://en.cppreference.com/w/cpp/types/type_index上的示例并使用-fsanitize=address,integer,undefined
进行编译将显示未定义的行为。代码是:
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抱怨用户定义类型的行为未定义。有人知道不会导致未定义行为的正确实现是什么吗?
解决方法
无符号整数溢出并不是不确定的行为,但是UBSan仍然可以选择检查它,因为它通常仍然是一个错误。但在这种情况下不是。完全无辜的哈希函数会引发此警告。应该有无符号整数溢出。
您可以silence此警告。
您还可以向libc ++维护者报告错误。他们可能应该添加
__attribute__((no_sanitize("integer")))
或类似的功能。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。