如何在C++ constexpr函数中将double转换为int64_t？

嘿，这个问题我之前开发高精度浮点数类的时候也碰到过！确实，constexpr里的类型转换限制比运行时严格很多，常规的reinterpret_cast和union套路都走不通，不过有几个既合规又不损失性能的方案：

方案1：C++20 std::bit_cast（首选） #

如果你的项目能升级到支持C++20的编译器（比如VS2019+、GCC10+、Clang11+），std::bit_cast就是完美解决方案。它专门设计来做类型间的位级转换，而且是constexpr兼容的，只要源和目标类型大小相同、都是平凡类型（double和int64_t刚好符合）。

用法超级简单：

#include <bit>
#include <cstdint>

constexpr int64_t double_to_int64(double d) {
    return std::bit_cast<int64_t>(d);
}

// 编译期验证
constexpr double pi = 3.1415926535;
constexpr int64_t pi_bits = double_to_int64(pi); // 完全合法，编译期计算

运行时完全零开销——编译器会直接生成和reinterpret_cast一样的位复制指令，根本不会有性能损失，而且完全符合标准，不会有任何未定义行为。

方案2：手动位操作（兼容C++17及更早，比如你的VS2017） #

如果还在用C++17或者更老的标准，我们可以手动拆解double的位结构来实现constexpr转换。既然你明确知道目标平台上double是64位、int64_t是64位，这个方法绝对安全：

#include <cstdint>
#include <cmath>
#include <limits>

constexpr int64_t double_to_int64(double d) {
    int64_t result = 0;

    // 处理符号位：最高位（第63位）
    result |= std::signbit(d) ? (1LL << 63) : 0;

    // 处理指数部分：第62-52位，共11位，偏移量1023
    int exp = std::ilogb(d);
    if (exp != -std::numeric_limits<double>::infinity()) {
        // 规格化数：指数加上偏移量后写入对应位
        result |= (static_cast<int64_t>(exp + 1023) & 0x7FF) << 52;
    }
    // 非规格化数/0的话指数位本来就是0，不用处理

    // 处理尾数部分：第51-0位，共52位，隐含最高位1（非规格化数除外）
    double mantissa = std::scalbn(std::fabs(d), -exp);
    if (exp != -std::numeric_limits<double>::infinity()) {
        mantissa -= 1.0; // 去掉隐含的最高位1
    }
    // 把小数部分转成52位整数
    int64_t mantissa_bits = static_cast<int64_t>(mantissa * (1LL << 52));
    result |= mantissa_bits & 0xFFFFFFFFFFFFFLL;

    return result;
}

// 编译期测试：2.0的位表示是0x4000000000000000
constexpr double two = 2.0;
constexpr int64_t two_bits = double_to_int64(two);
static_assert(two_bits == 0x4000000000000000, "Conversion failed!");

这个实现完全符合constexpr要求，运行时也会被编译器优化到和直接位转换一样的速度——毕竟都是纯算术操作，没有额外的内存访问或者分支开销。如果需要处理NaN、无穷大这些特殊值，你可以再补充对应的逻辑。

为什么之前的union和reinterpret_cast不行？ #

你遇到的编译器错误是C++标准的硬限制：在常量表达式中，只能访问联合里被初始化的那个成员。也就是说，你在constexpr构造函数里初始化了double成员，那在编译期就只能读这个double成员，不能碰int64_t成员——哪怕它们在内存里是重叠的。

而reinterpret_cast在constexpr里被禁止，也是因为标准不允许在常量表达式中做指针类型强制转换，避免出现未定义行为。

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