std::optional构造函数默认模板参数的作用及移除默认值的影响

为什么要给模板参数U默认设置为T？ #

这个默认参数的核心作用是处理模板参数推导无法进行的场景，让构造函数在这些情况下依然能正常工作：

• 当需要将构造函数作为函数指针使用时，比如要获取std::optional<int>接受int&&的构造函数指针，有默认参数U=T的话，&std::optional<int>::optional会自动绑定到U=int的实例化版本，不需要显式指定模板参数；如果没有默认值，就必须写&std::optional<int>::optional<int>才能得到合法的函数指针。
• 在模板元编程或一些依赖类型的场景中，若参数类型无法被自动推导，默认U=T能确保构造函数可以直接接受T类型的参数，避免编译失败。
• 从设计一致性角度，这个默认参数明确了构造函数的“默认适配类型”是T本身，让接口语义更清晰——这个构造函数首要的作用就是接受T类型（及其可转换类型）的参数来构造optional。

移除默认值后会产生哪些变化？ #

去掉U=T的默认值后，大部分日常使用场景不会受影响（比如直接传T类型的左/右值、传可转换为T的其他类型参数，模板推导依然能正常推导出U），但会出现以下问题：

1. 显式调用构造函数时必须指定模板参数：如果要绕过模板推导直接调用构造函数（比如某些特殊的初始化场景），必须显式写std::optional<int> opt.template optional<int>(42);，而不能省略模板参数。
2. 无法直接获取无模板参数的构造函数指针：如前文所述，想要把构造函数当作函数指针使用时，必须显式指定U的类型，否则编译器无法确定要实例化哪个版本的模板构造函数。
3. 依赖类型场景下可能编译失败：在一些模板代码中，如果参数类型是依赖于模板参数的类型，编译器无法推导出U时，没有默认值的构造函数会因为缺少模板参数而报错，必须手动指定U=T才能解决。

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