能否基于C++断言类条件实现编译期（宏）分支？

不用宏，直接靠C++的编译期判断就能搞定你的需求——既保证大小匹配时用高效的类型转换，不匹配时自动切换到移位求和逻辑，还能避免结构体padding带来的问题，而且完全没有运行时额外开销。

两种可行方案 #

1. C++17及以上：用if constexpr（最省事） #

直接在函数内写编译期条件，编译器会自动剔除不满足条件的分支，不会生成多余代码：

#include <cstdint>
// 这里INT按你的实际类型定义，比如int32_t
using INT = int32_t;

// Windows头文件定义的COUPLE结构体
struct COUPLE {
    short x;
    short y;
    // 若编译器自动添加padding，sizeof会和INT不相等
};

constexpr INT couple_to_int(const COUPLE& c) {
    // 编译期直接判断大小是否匹配
    if constexpr (sizeof(COUPLE) == sizeof(INT)) {
        // 大小匹配时用reinterpret_cast实现高效转换
        return *reinterpret_cast<const INT*>(&c);
    } else {
        // 不匹配时用移位求和，内联函数无额外资源消耗
        return static_cast<INT>(c.x) | (static_cast<INT>(c.y) << 16);
    }
}

2. C++11/12：用模板特化 #

如果还在用旧版本C++，可以通过模板特化实现编译期分支：

#include <cstdint>
using INT = int32_t;

struct COUPLE {
    short x;
    short y;
};

// 默认模板：大小不匹配时使用移位求和
template<bool SizeMatch = (sizeof(COUPLE) == sizeof(INT))>
struct CoupleConverter {
    static constexpr INT convert(const COUPLE& c) {
        return static_cast<INT>(c.x) | (static_cast<INT>(c.y) << 16);
    }
};

// 特化版本：大小匹配时使用类型转换
template<>
struct CoupleConverter<true> {
    static constexpr INT convert(const COUPLE& c) {
        return *reinterpret_cast<const INT*>(&c);
    }
};

// 对外统一调用的接口函数
constexpr INT couple_to_int(const COUPLE& c) {
    return CoupleConverter<>::convert(c);
}

为什么不用宏？ #

宏是预处理阶段的文本替换，无法实现真正的编译期类型检查，很容易引发未定义行为。而上面的C++编译期特性是类型安全的，编译器会在编译阶段完成条件判断，不满足条件的分支不会被编译进最终代码，既安全又无多余开销。

额外：编译期检查结构体布局 #

如果想提前确保COUPLE的成员布局符合预期（防止编译器乱加padding），可以用static_assert在编译期直接报错：

// 强制检查x在结构体起始位置，y紧跟在x之后
static_assert(offsetof(COUPLE, x) == 0, "COUPLE的x成员必须在起始偏移位");
static_assert(offsetof(COUPLE, y) == sizeof(short), "COUPLE的y成员必须紧跟x");

这样一旦结构体布局不符合预期，编译阶段就会直接报错，不用等到运行时才发现问题。

内容的提问来源于stack exchange，提问作者Alex A.