依赖名称的参数依赖查找

Question

This description on cppreference.com 这么说

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

与此相反，以下代码 sn-p compiles fine 带有三个编译器（MSVC、clang、gcc）：

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


class Apple {};


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


static void Foo (Apple)
{
}

Foo 是CallFoo 中的从属名称：它依赖于模板参数T。但是函数Foo尽管违反了上面引用的两条规则，但还是被编译器发现了。

• Foo 的声明在 CallFoo 的定义或实例化中均不可见，因为它位于两者之下。
• Foo 有内部链接。

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

Answer 1

在 C++03 中，匿名命名空间的成员可以具有外部链接，尽管在其他翻译单元中是不可命名的。因此，从相关的 ADL 中排除实际的 static 函数被认为是允许的。在 C++11 中，匿名命名空间强加了内部链接，因此限制变得不合理。然而，尽管实施采用了新行为并且在 2011 年立即提交了一个问题（如 cmets 中所述），但在 2019 年 3 月 N4810 之前，该措辞仍保留在两个地方。

至于函数的放置，这是具有multiple points of instantiation 的函数的产物，包括实例化它们的任何翻译单元的结尾（对C++20 中的模块进行了轻微调整）；如果实例化函数模板会针对不同的选择产生不同的结果，则程序格式错误，不需要诊断（如 cmets 中所述）。