VS2022中boost::multiprecision::int128_t相等性判断异常问询

在VS 2022中测试boost::multiprecision::int128_t时，发现一个异常现象：int128_t(-1)与int128_t("0XFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF")的差值为0，但使用==运算符判断却不相等。

复现代码 #

void TestEqualityof_int128_t ()
{
    using namespace boost::multiprecision;

    const int128_t minusOne ("0XFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF");

    // 使用差值检测相等性
    if ((minusOne - int128_t (-1)) == 0)
        std::cout << "Using test (minusOne - int128_t (-1)), are equal." << std::endl;
    else
        std::cout << "Using test (minusOne - int128_t (-1)), are not equal." << std::endl;

    // 使用相等运算符
    if (minusOne == int128_t (-1))
        std::cout << "Using test (minusOne == int128_t (-1)), are equal." << std::endl;
    else
        std::cout << "Using test (minusOne == int128_t (-1)), are not equal." << std::endl;
}

运行输出 #

Using test (minusOne - int128_t (-1)), are equal.
Using test (minusOne == int128_t (-1)), are not equal.

问题原因 #

核心在于字符串构造时的解析逻辑：

• int128_t(-1)是直接构造有符号128位整数的-1，二进制为全1，数值上是合法的有符号负数。
• int128_t("0XFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF")会被boost解析为无符号128位最大值（2^128 - 1），而该值超出了有符号128位整数的范围（-2^127 到 2^127 - 1）。构造时虽然二进制位模式和int128_t(-1)一致（全1），但boost内部将其视为溢出后的非法值，==比较是按数学数值而非二进制位模式判断，因此认为2^128 - 1和-1不相等；而减法运算时，二进制位相减后溢出，结果为0。

该问题并非int128_t独有，所有boost::multiprecision的有符号整数类型都会出现类似情况。

解决办法 #

若要构造有符号的-1，避免使用无符号最大值的十六进制字符串，改用以下方式：

1. 直接构造：int128_t(-1)
2. 带负号的字符串构造：int128_t("-0x1") 或 int128_t("-0XFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF")

内容的提问来源于stack exchange，提问作者Catriel