为何requires子句无法消除含依赖类型的函数重载歧义？

这确实是个很典型的C++模板重载决议细节问题，咱们结合你的代码和标准规则一步步分析：

先看现象：两种调用的差异 #

你的代码里有两组重载：

1. 针对int const&的重载：调用Overloaded<HasArgs>(int{})正常，会选中带requires true的版本；
2. 针对typename T::Arguments const&的重载：调用Overloaded<HasArgs>(HasArgs::Arguments{})却报歧义，编译器无法区分两个版本。

先贴出你的代码方便参考：

#include <cstdio>

template <typename T> requires true
void Overloaded(int const&)
{ std::puts("int: concept"); }

template <typename T>
void Overloaded(int const&)
{ std::puts("int: non-concept"); }


template <typename T> requires true
void Overloaded(typename T::Arguments const&)
{ std::puts("concept"); }

template <typename T>
void Overloaded(typename T::Arguments const&)
{ std::puts("non-concept"); }


int main() {
    struct HasArgs {
        struct Arguments {};
    };

    Overloaded<HasArgs>(int{}); // ok，输出"int: concept"
    Overloaded<HasArgs>(HasArgs::Arguments{}); // 歧义错误
}

为什么int参数的调用能正常工作？ #

对于int const&的重载对，两个模板的参数类型是非依赖类型——编译器在模板定义阶段就能明确知道参数类型是int const&，不需要等到实例化。

根据C++重载决议的规则：当两个函数模板都可行（即约束条件都满足，这里requires true永远成立，无约束模板自然也满足），且它们的签名完全相同时，带有约束的模板会优先于无约束的模板被选中。这就是为什么int的调用能正确选择带requires的版本。

依赖类型的调用为什么会歧义？ #

问题的核心在于依赖表达式的等价性判断规则，你找到的描述已经点出了关键：

当确定两个依赖表达式是否等价时，只考虑涉及的依赖名称，不考虑名字查找的结果。

具体到你的代码：

• 两个针对typename T::Arguments const&的Overloaded模板，它们的参数类型在模板定义阶段被编译器视为完全等价——因为编译器只看typename T::Arguments这个依赖名称的形式，不会提前查找T::Arguments的实际类型（这要等到实例化阶段才会做）。

这会带来两个直接影响：

1. 模板偏序无法区分优先级：在模板重载决议的偏序阶段，编译器无法判断这两个模板哪个更特化——因为它们的参数类型是等价的依赖类型，没有任何偏序关系。
2. 实例化后签名完全相同：当T=HasArgs被实例化时，两个模板都会生成签名完全一致的函数：void Overloaded(HasArgs::Arguments const&)。

此时，虽然一个模板有requires true约束，一个没有，但因为：

• 两个约束都被满足（requires true永远成立，无约束模板自然也满足）；
• 模板偏序无法区分优先级；
• 实例化后的函数签名完全一致；

编译器无法确定应该选择哪一个，因此报出歧义错误。

总结 #

• 非依赖类型的重载中，编译器能提前确定签名相同，此时带约束的模板优先级更高；
• 依赖类型的重载中，编译器在模板定义阶段将参数类型视为等价，导致模板偏序无法区分，实例化后签名完全相同，最终引发歧义——即使约束条件存在差异，也无法在这种情况下起到区分作用。

备注：内容来源于stack exchange，提问作者golvok