实例化点和第二阶段依赖名称查找，C++17 与遗留

Question

我很惊讶这不起作用：在编译器资源管理器上查看，编译器版本和选项与我的项目相匹配

#include <utility>

namespace N1
{

enum class E1 : char;

}

class C {
    void foo () const;

    template <typename Left, typename Right>
    auto wrapper (Left&& left, Right&& right,  const char* name) const
        {
            return xzzy (std::forward<Left>(left), std::forward<Right>(right));
        }

};

using namespace N1;

void xzzy (E1& output, int input);

void C::foo () const
{
    const int value = 17;
    E1 dest;
    xzzy (dest, value);    // wrapper can't find xzzy in this case ????
    /**/wrapper (dest, value, "value");  // ??? 
}

我第一次了解模板是在 Stroustrup 发布他的第一份白皮书时，早在任何编译器实现它们之前。 我记得当标准委员会确定名称查找的语义、记录实例化点以及确定范围的上下文时； 后来，引入了两阶段查找，在阶段 1 中使用定义上下文，在阶段 2 中使用 POI。

我在 Cppreference 中搜索“实例化点” ，但没有找到定义它的段落（我认为它应该在C::foo的定义之前），但确实找到了

• 非 ADL 查找检查具有从模板定义上下文可见的外部链接的函数声明

• ADL 检查具有从模板定义上下文或模板实例化上下文可见的外部链接的函数声明

（换句话说，在模板定义之后添加新的函数声明不会使其可见，除非通过 ADL）。

这让我感到惊讶：这是一路上做出的改变吗？什么时候？

我记得在 POI 之前提供所需的函数，以便模板可以使用它，模板在头文件中定义，因此在这些函数之前。 如果我理解正确，就不会再工作了。

我真的很想知道这个变化是什么时候发生的。 但是，在这种情况下，您如何为模板的需求做好准备，而又不弄乱该类型的主命名空间或设计不自然的定义顺序？ 如果模板在一个库中（具有每个库的命名空间）并且类型来自不同的库（在不同的命名空间中），并且我的应用程序代码不是这两者，我希望通过提供模板所需的函数，作为我自己代码的一部分。

一般来说， xzzy不会是抽象数据类型的一部分，也不是通用的； 这就是我希望它在这里为这个特定的模板实例化工作的方式。 很容易确保 POI 位于命名空间内，例如，我使用想要使用的所需函数定义填充该命名空间。