为何仅在构造对象时，双默认构造函数才会触发编译错误？

示例代码 #

#include <stdio.h>                                                                                             
struct C {                                                                                                     
  C() { printf("hello!\n"); }                                                                                    
  C(bool a = false) { printf("hi!\n"); }                                                                         
};                                                                                                             
                                                                                                               
int main() {                                                                                                   
  //  C c;                                                                                                     
}   

问题说明 #

当取消main函数中C c;的注释时会触发编译错误，但注释该语句时则无错误。为何编译器不会在识别到这种结构体定义时主动报错，而是仅在执行C c;构造对象时才报错？毕竟这种结构体看似无法正常使用。

换个角度问：什么样的重载集会被判定为无效？为何无参构造的歧义仅在以无参方式构造对象时才会导致重载集无效，而非编译器发现该可能性时就判定无效？

解答 #

1. 编译器的阶段式工作逻辑
   编译器不会提前扫描所有可能的调用场景并预判歧义，而是在实际调用/使用的时候才执行重载决议。这个结构体C并非完全无法使用——比如你可以通过C c(true);或C c{false};的方式构造对象，这些调用是完全合法且无歧义的，所以编译器不会在结构体定义阶段就报错。

2. 重载集有效性的判定规则
   只有当满足以下两种情况之一时，重载集才会被判定为无效：

• 重载集本身违反语言强制规则，比如存在完全相同的函数签名（参数类型、数量、顺序完全一致）；
• 某个具体的调用触发了无法解决的重载歧义，即编译器找不到唯一匹配的函数。

在你的例子中，两个构造函数的签名是合法的：一个是无参构造，另一个是带默认参数的单参数构造。它们的重载本身符合C++标准，只是在无参调用C c;时，两个构造函数都能匹配——无参构造直接匹配，带默认参数的构造可以省略参数形成无参调用，这时候才出现歧义，触发编译错误。

3. 语言设计的灵活性考量
   C++标准允许这种重载存在，是为了保留语言的灵活性。假设你在整个代码中永远不会用无参方式构造C，那这个重载就是安全可用的，没必要因为一种潜在的歧义场景就直接判定结构体定义无效。编译器只会在实际发生歧义调用时才报错，避免过度检查导致不必要的限制。

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