C++中已显式删除的构造函数引发构造调用二义性的标准依据问询

我来给你把这个问题背后的C++标准逻辑讲透——你观察到的所有主流编译器拒绝这段代码的行为，完全是符合标准要求的，下面一步步拆解：

首先看你给出的核心例子：

struct X { 
    X(int v); 
    X(const int&)=delete; 
}; 
X foo() { return X(42); }

这段代码触发二义性错误，本质原因和C++重载决议的规则直接相关，核心点有两个：

1. 显式删除的函数仍属于重载候选集 #

根据C++标准，标记为delete的函数并不会被排除在重载决议的候选函数列表之外。重载决议的第一步是生成所有符合条件的候选函数，这包括类中显式声明的所有构造函数——不管它是不是被删除的。

在你的例子里，X(int v)和X(const int&)=delete都是候选构造函数。当你传42这个实参时：

• 调用X(int v)是精确匹配：实参就是int类型，和形参完全对应，不需要任何隐式转换
• 调用X(const int&)也是精确匹配：临时的int值可以绑定到const int&引用，这种引用绑定的匹配级别和直接值传递是一样的

因为两个构造函数的匹配优先级完全相同，重载决议没法选出“最佳候选”，自然就会抛出二义性错误。

2. 为什么标准要这么设计？ #

这里的关键是理解：delete函数的作用是“允许重载，但禁止最终调用”，而不是“从重载候选里彻底移除”。标准这么规定有两个核心目的：

• 精准禁止特定转换路径：比如你想禁止通过const int&构造X，但保留int直接构造的路径。如果删除的函数不参与重载决议，那编译器可能会偷偷选其他隐式生成的构造函数，反而达不到你的设计意图
• 给出明确错误提示：编译器可以直接告诉你“这个构造函数被删除了”，而不是默默选一个你可能不想要的重载，避免潜在的逻辑错误

3. 对比“无显式删除构造函数”的情况 #

你提到如果不删除const int&构造函数，代码就不会报错——这是因为此时编译器不会隐式生成const int&的构造函数：已经有了X(int)的显式构造函数，隐式生成的拷贝构造函数不会被用来匹配int类型的实参，所以只有X(int)一个候选，自然没有二义性。

而当你显式声明X(const int&)=delete时，它就变成了一个明确的候选，直接参与重载决议，才会引发冲突。

4. 为什么删除更多构造函数也没用？ #

你试了删除int&&、拷贝/移动构造函数的情况：

struct X { 
    X(int v); 
    X(const int&)=delete; 
    X(int&&)=delete; 
    X(const X&)=delete; 
    X(X&&)=delete; 
}; 
X foo() { return X{int(42)}; }

结果还是报错，原因和之前一样：X(int)和X(const int&)=delete的匹配级别还是完全相同，哪怕其他删除的构造函数也在候选列表里，只要有两个同级匹配的候选，就会触发二义性。

标准中的具体依据 #

在C++标准的[over.match]章节（重载决议部分）明确规定：

候选函数集包含所有可访问的、与调用匹配的函数，无论它们是否被删除。只有在重载决议选出最佳候选函数后，才会检查该函数是否被删除——如果是，程序才会被判定为病态（编译错误）。

也就是说，“检查函数是否被删除”是在重载决议之后的步骤。如果在候选阶段就有多个匹配级别相同的函数（包括删除的），编译器直接就会抛出二义性错误，根本不会走到“检查是否删除”那一步。

总结一下：你遇到的这个情况不是编译器bug，所有主流编译器的行为都严格遵循C++标准——删除的构造函数会参与重载决议，当它们和其他构造函数的匹配级别相同时，就会引发二义性错误。

内容来源于stack exchange