查找从属限定名

Question

此程序无法编译 (error: 'foo' is not a member of 'N')：

namespace N {
//    void foo();
}

template<class T>
void template_func(T t) {
    N::foo(t);
}

但是如果我们取消注释void foo(); 的声明，它就会编译。 Demo.

两个版本都有错误。 foo 即使声明了，也没有参数。以下问题自提出。

• 为什么一个版本可以编译，而另一个版本不能编译？
• C++ 标准中有这样的规则吗？ “如果编译器能够证明没有任何实例是格式正确的，它可以（但不是必须）在没有实例的情况下诊断错误。”

我的理论如下（正确吗？）。 template_func N::foo 里面同时是一个限定名和一个从属名。依赖名称的查找被推迟到模板的实例化。查找名称（如果成功）会导致将该名称的使用与该名称的声明联系起来。但是这个过程包括两个步骤（现在让我们只考虑限定名称，看起来像一个函数调用）：

1. 在限定符范围内查找名称（在此示例中，这意味着命名空间N）。这可能会找到多个名称，因为函数可以重载。
2. 检查参数是否可以传递给找到的名称。如果N 中有多个foo，则这包括找到最佳匹配。这样，N::foo 的使用与 N::foo 声明相关联。

其实第一步不用实例化就可以完成。编译器似乎会这样做，如果没有找到foo，它会诊断错误（这是可选的）。如果找到至少一个foo，则无需进行进一步分析。

Answer 1

您的分析似乎是正确的，并且您的代码格式不正确，不需要诊断，无论 void foo(); 是否被注释掉。

您正在寻找的标准部分是：

[temp.res.general]/6.1

程序格式错误，不需要诊断，如果：

——不能为模板生成有效的特化...