从常量表达式中的有符号整数溢出中删除未定义的行为？

Question

编辑在实际示例中，可能会发生负溢出，我还添加了一个示例来演示那里的错误

I'm using C++20 and trying to convert a library which relies on signed integer overflow in Java and C# into C++ code. 我也在尝试生成它在编译时使用的表，并允许它们在编译时可用。

在我的代码中，我在参考如下代码时遇到错误（重现错误的最小示例，对此的解决方案也将解决我的问题）：

#include <iostream> 

constexpr auto foo(){
    std::int64_t a = 2; 
    std::int64_t very_large_constant = 0x598CD327003817B5L; 
    std::int64_t x = a * very_large_constant; 
    return x; 
}
 
int main(){
    std::cout << foo() << std::endl; 
    return 0; 
}

https://godbolt.org/z/TvM45vd8d

负溢出版本

#include <iostream> 

constexpr auto foo(){
    std::int64_t a = -2; 
    std::int64_t very_large_constant = 0x598CD327003817B5L; 
    std::int64_t x = a * very_large_constant; 
    return x; 
}
 
int main(){
    std::cout << foo() << std::endl; 
    return 0; 
}

https://godbolt.org/z/7zoE9r18E

我得到 12905529061151879018 超出了分别由 long long 和 -12905529061151879018 表示的范围。

我知道这里不允许未定义的行为，我也认识到 GCC 和 MSVC 在这里不会出错，您可以放置一个标志以使 clang 无论如何编译它。 但是我应该怎么做才能真正解决这个问题而不切换编译器或应用标志来忽略无效的 constexpr？

有什么方法可以定义我期望并希望在这里发生的行为吗？

Answer 1

您不能对有符号整数执行此操作。 但是，在 C++20 中有一些你可以依赖的东西：

1. 无符号 integer 溢出是明确定义的。

2. 有符号整数需要表示为 2 的补码。

3. 相应大小的整数和无符号整数之间的转换会保留位模式。

因此，您可以使用显式无符号类型和文字来完成所有基于溢出的数学运算，然后在需要时将它们转换为有符号值。 需要进行这种转换才能使这些位保持不变。

Answer 2

在您可以命名的任何实现中，有符号整数都有二进制补码布局。 从 C++20 开始，它也保证使用二进制补码布局。

这意味着您可以对unsigned整数执行数学运算，并获得与您希望有signed整数执行的操作相匹配的明确定义的溢出行为。

#include <iostream> 
#include <bit>

constexpr auto foo(){
    std::uint64_t a = 2; 
    std::uint64_t very_large_constant = 0x598CD327003817B5L; 
    std::uint64_t x = a * very_large_constant; 
    return static_cast<std::int64_t>(x); 
}