bugprone-fold-init-type¶
此检查标志着在 折叠(如 std::accumulate
)中发生的类型不匹配,这些类型不匹配可能会导致精度丢失。 std::accumulate
使用后者的类型将输入范围折叠成初始值,默认情况下使用 operator+
。这会导致以下情况下的精度丢失:
截断:以下代码使用浮点范围和 int 初始值,因此每次应用
operator+
时都会发生截断,结果将为 0,这可能不是用户预期的结果。
auto a = {0.5f, 0.5f, 0.5f, 0.5f};
return std::accumulate(std::begin(a), std::end(a), 0);
溢出:以下代码也会返回 0。
auto a = {65536LL * 65536 * 65536};
return std::accumulate(std::begin(a), std::end(a), 0);