定义模板后声明函数

Question

假设我有一个模板函数：

template <class T>
void tfoo( T t )
{
    foo( t );
}

稍后我想将它与类型一起使用，因此我声明/定义了一个函数并尝试调用它：

void foo( int );

int main()
{
    tfoo(1);
}

我从 g++ 收到错误：

‘foo’未在此范围内声明，并且在实例化点通过依赖于参数的查找未找到任何声明 [-fpermissive] 富(t);

为什么在实例化时找不到void foo(int)？它是在那个时候声明的。有没有办法让它工作（无需在模板之前移动foo 的声明）？

Answer 1

foo 在您的情况下是一个从属名称，因为如果参数和参数类型取决于模板参数，则函数选择取决于类型。这意味着foo是按照依赖查找的规则查找的。​​p>

依赖和非依赖查找之间的区别在于，在依赖查找的情况下，ADL 命名的命名空间被视为扩展：它们被扩展为从模板实例化点可见的额外名称（tfoo 在您的情况下调用）。这包括出现在模板声明之后的名称。这里的关键是只有 ADL 命名的命名空间以这种方式扩展。

(通过ADL-nowned命名空间我指的是命名空间关联函数参数类型，因此被依赖名称查找的规则考虑在内。参见“3.4.2依赖于参数的名称查找")

在您的情况下，参数的类型为int。 int 是基本类型。基本类型没有关联的命名空间（参见“3.4.2 依赖于参数的名称查找”），这意味着它不通过 ADL 指定任何命名空间。在您的示例中，根本不涉及 ADL。在这种情况下，foo 的从属名称查找与非从属查找没有什么不同。它无法看到您的foo，因为它是在模板下方声明的。

注意与以下示例的区别

template <class T> void tfoo( T t )
{
    foo( t );
}

struct S {};

void foo(S s) {}

int main()
{
    S s;
    tfoo(s);
}

此代码将编译，因为参数类型S 是一个类类型。它有一个关联的命名空间 - 全局命名空间 - 它添加（指定）该全局命名空间以进行相关名称查找。这种 ADL 命名的命名空间可以通过依赖查找以它们的更新 形式看到（从调用点来看）。这就是查找可以看到foo 并成功完成的原因。

---

当人们认为所谓的“双阶段查找”的第二阶段应该能够看到下面另外声明的所有内容时，这是一个相当普遍的误解模板定义一直到实例化点（在本例中为调用点）。

不，第二阶段没有看到一切。它只能在与函数参数关联的命名空间中看到额外的东西。所有其他命名空间都不会更新。就像从模板定义的角度观察它们一样。