依赖名称的参数相关查找

Question

这是关于cppreference的描述。com说

模板中使用的依赖名称的查找将推迟到模板参数已知时，此时[…]ADL检查从模板定义上下文或模板实例化上下文可见的具有外部链接的函数声明。

与此相反，以下代码段可以使用三个编译器（MSVC、clang、gcc）很好地编译：

template <class T>
void CallFoo ()
{
    Foo (T ());
}


class Apple {};


int main ()
{
    CallFoo<Apple> ();
}


static void Foo (Apple)
{
}

Foo是CallFoo中的从属名称：它取决于模板参数T。但是，尽管违反了上述两条规则，编译器还是找到了函数Foo。

• 从CallFoo的定义或实例化中都看不到Foo的声明，因为它位于两者之下。
• Foo有内部链接。

这三个编译器不太可能都有bug。我可能误解了什么。你能详细说明一下吗？

Answer 1

在C 03中，匿名命名空间的成员可以具有外部链接，尽管在其他翻译单元中无法命名。因此，人们认为可以从依赖的ADL中排除实际的静态函数。在C 11中，匿名命名空间施加了内部链接，因此限制变得不合理。然而，尽管实现采用了新行为并且在2011年立即提出了一个问题（如评论中指出的），但在2019年3月N4810之前，措辞仍保留在两个地方。

至于函数的位置，这是一个具有多个实例化点的函数的工件，包括实例化它们的任何翻译单元的末端（对于C 20中的模块有轻微的调整）；如果实例化函数模板会为不同的选择产生不同的结果，则程序的格式不正确，无需进行诊断（如注释中所述）。