C++ Unordered_set功能中的溢出

Overflow in C++ Unordered_set function

本文关键字：溢出 功能 set Unordered C++      更新时间：2023-10-16

TBH，我很惊讶我问这个问题，但看着这段代码

template <class _Tp, class _Hash, class _Equal, class _Alloc>
void
__hash_table<_Tp, _Hash, _Equal, _Alloc>::rehash(size_type __n)
{
if (__n == 1)
__n = 2;
else if (__n & (__n - 1)) // >>>>>>LINE IN QUESTION<<<<<<<<<<<
__n = __next_prime(__n);
size_type __bc = bucket_count();
if (__n > __bc)
__rehash(__n);
else if (__n < __bc)
{
__n = _VSTD::max<size_type>
(
__n,
__is_hash_power2(__bc) ? __next_hash_pow2(size_t(ceil(float(size()) / max_load_factor()))) :
__next_prime(size_t(ceil(float(size()) / max_load_factor())))
);
if (__n < __bc)
__rehash(__n);
}
}

在上面的那行，如果允许__n为零，它旁边的- 1会导致调试器(在我的例子中为 XCode(捕获并抱怨的整数溢出。现在，我的理解是，该行上的&操作可能会使该行作为一个整体仍然与哈希过程相关。但是其他人做了什么来解决这个问题？？使调试器静音？执行此操作的函数调用是另一个 std 库调用：

template <class _Value, class _Hash, class _Pred, class _Alloc> 
unordered_set<_Value, _Hash, _Pred, _Alloc>::unordered_set(const unordered_set& __u)
: __table_(__u.__table_){
#if _LIBCPP_DEBUG_LEVEL >= 2
__get_db()->__insert_c(this);
#endif
__table_.rehash(__u.bucket_count()); // >>FUNCTION CALL<<<<
insert(__u.begin(), __u.end());
}

在这里，__u.bucket_count()返回零，因此发生了有问题的行为。 XCode 中的未定义行为清理器收到的错误或清理器警告Unsigned integer overflow: 0 - 1 cannot be represented in type 'unsigned long'

似乎创建了一个关于它的错误报告，其中一位开发人员在这里回答了它 https://bugs.llvm.org/show_bug.cgi?id=38606 该操作似乎执行检查以查看它是否是 2 的幂。这段代码非常有意。

根据这里的这张票，https://bugs.llvm.org/show_bug.cgi?id=25706，他们似乎正在经历并沉默标准库中所有这些有趣的事件。

所以这就是我的答案。要么等待他们将其静音，要么我可以自己将其静音，如果不忽略它。

相关文章：