编译器对位域成员三路比较的处理分歧及正确性判定

测试代码 #

#include <cstdint>
#include <compare>

struct Foo {
    std::uint64_t A;
    std::uint64_t B: 32;
    std::uint64_t C: 33;
};

int main() {
    Foo a{}, b{};
    a.A <=> b.A;
    a.B <=> b.B;
    a.C <=> b.C;
}

编译现象 #

编译上述代码时，不同编译器表现出明显差异：

• Clang 16 对a.B <=> b.B（32位位域成员比较）抛出错误：argument to 'operator<=>' cannot be narrowed from type 'std::uint64_t' (aka 'unsigned long') to 'unsigned int'
• GCC 13.2 针对同一代码发出类似警告
• MSVC 19 可正常编译

注：非位域成员A和33位位域成员C的比较在所有编译器中均无问题。

原因分析 #

问题核心在于位域的整数提升规则与三路比较运算符的重载匹配逻辑：

1. 位域的整数提升：C++标准规定，位域在表达式中使用时会进行整数提升。对于32位的位域B，若平台上unsigned int为32位，其取值范围完全被unsigned int覆盖，因此会被提升为unsigned int；而33位的位域C取值范围超出unsigned int的表示能力，提升后仍保留原基础类型uint64_t。
2. operator<=>的重载匹配：三路比较运算符针对无符号整数提供了不同类型的重载。当编译器处理a.B <=> b.B时，位域提升后的unsigned int与原基础类型uint64_t的匹配会触发窄化转换检查——Clang和GCC严格执行了标准中的窄化转换限制，因此报错/警告；MSVC则采用了宽松处理，跳过了该检查。

标准符合性判断 #

Clang和GCC的行为符合C++标准：

• 严格遵循了位域的整数提升规则
• 严格执行了隐式窄化转换的禁止性规定

MSVC的编译通过属于编译器的非标准宽松处理，不符合C++标准对隐式转换的约束要求。

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