C++合格特殊成员函数判定及平凡类型规则疑问

首先给出复现问题的示例代码：

#include <type_traits>

template<typename T>
concept Int = std::is_same_v<T, int>;

template<typename T>
concept Float = std::is_same_v<T, float>;

template<typename T>
struct Foo
{
    Foo() requires Int<T> = default; // #1
    Foo() requires Int<T> || Float<T> = default; // #2
};

static_assert(std::is_trivial_v<Foo<float>>);

核心结论 #

你的分析方向是对的，但对标准条款的字面解读存在偏差：三大编译器的行为完全符合C++标准本意，不存在实现bug；你提出的条款3修正表述，本身就是标准规则的默认适用前提，并非条文漏洞。

规则细节拆解 #

要让上述static_assert通过，Foo<float>必须满足*trivial type（平凡类型）*要求。对类类型而言，平凡类型需要满足两个核心条件：

• 具备*trivially copyable（可平凡复制）*特性，本例中该条件已经成立；
• 存在eligible default constructor（合格默认构造函数），且类的所有构造函数均为平凡构造函数，对应标准[class.prop#2]条款。

合格默认构造函数属于*eligible special member function（合格特殊成员函数）*的范畴，标准[special#6]规定合格特殊成员函数必须同时满足三个条件：

1. 函数未被删除；
2. 若函数存在关联约束（见[temp.constr]章节），则约束必须被满足；
3. 不存在同签名的、更受约束（见[temp.constr.order]章节）的特殊成员函数。

你之前的误读点在于：条款3的约束优先级比较，仅在同时满足前两个合格条件的候选函数之间进行——这是C++重载决议、约束排序规则的通用前置前提，标准未在该条款处重复赘述，并非规则缺失。

实例场景验证 #

对应Foo<float>的实例化结果，我们可以逐一验证：

• #1构造函数的约束为Int<T>，当T=float时约束不满足，直接不满足合格条件2，不会进入候选集，也不参与后续的约束优先级比较；
• #2构造函数的约束为Int<T> || Float<T>，当T=float时约束满足，且没有其他满足前两项合格条件、同时约束更严格的同签名构造函数，因此#2是Foo<float>唯一的合格默认构造函数；
• #2是显式=default的平凡构造函数，结合类的可平凡复制特性，Foo<float>完全符合平凡类型要求，static_assert自然可以通过。

补充说明 #

如果按照你最初的字面解读，只要存在更受约束的同签名函数（不管约束是否满足）就会让弱约束函数失去合格性，那么所有带条件约束的多版本构造函数都会出现逻辑错误：只要写了一个约束更强的构造函数，不管对应类型是否满足该强约束，弱约束版本永远无法成为合格构造函数，这显然违背概念特性的设计初衷。

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