模板函数重载行为随声明顺序变化的问题及后续疑问

初始代码与输出 #

以下C++代码的输出结果为12：

#include <iostream>
using namespace std;

template<typename T>
T foo(T val) {
  return val;
}

template<typename T>
T bar(T n) {
  return foo(n);
}

int foo(int val) {
  return 1;
}

int main() {
  cout<<foo(2)<<bar(2)<<endl;
  return 0;
}

修改bar定义后的现象 #

若将bar的定义改为非模板版本且不改变位置，输出结果仍为12：

int bar(int n) {
  return foo(n);
}

但如果将这个非模板bar的定义移至main之前，输出结果变为11（编译器：g++ 14.1.1）。

问题 #

1. 为何bar(2)会调用模板版本的foo而非非模板重载，即便在bar实例化时两者似乎都可行？
2. 如何在不改变函数定义顺序、且保留模板foo通用性的前提下修改代码，使输出结果为11？

后续问题 #

若foo在第一阶段查找时未被发现，为何以下代码能够编译？

#include <iostream>
using namespace std;

struct C {};

template<typename T>
T bar(T n) {
  return foo(n);
}

C foo(C val) {
  std::cout << "foo\n";
  return {};
}

int main() {
  bar(C());
  return 0;
}

问题1解答 #

这是C++模板名称查找两阶段规则导致的：

• 模板函数的处理分为两个阶段：
  1. 模板定义阶段：编译器处理模板代码时，查找所有不依赖模板参数的名称；对于依赖模板参数的名称（比如bar里的foo(n)，因为n的类型是模板参数T），仅标记为需在实例化时查找，不做实际查找。
  2. 模板实例化阶段：模板被实例化（如bar(2)触发bar<int>实例化）时，编译器会在实例化上下文（调用点位置）中查找依赖名称，但有个关键限制：如果定义阶段已经找到同名实体（这里是模板foo），实例化阶段仅会加入与该实体属于同一重载集合的名称。

在初始代码中，模板bar定义时，非模板int foo(int)还未声明，定义阶段只能找到模板foo。到实例化阶段，虽然非模板foo已存在，但它不属于定义阶段找到的模板foo的重载集合（定义阶段它还不存在），因此不会被纳入候选，bar(2)只能调用模板foo返回2，最终输出12。

而当非模板bar移到main之前时，它是普通函数，名称查找在定义时完成，此时非模板foo已声明，所以直接调用非模板版本返回1，输出11。

问题2解答 #

只需提前声明非模板foo的重载，让模板bar定义时就能看到这个重载，这样实例化阶段该非模板重载会被纳入候选（与定义阶段找到的模板foo属于同一重载集合），且非模板函数在重载匹配中优先级高于模板函数，就能输出11。修改后的代码如下：

#include <iostream>
using namespace std;

// 提前声明非模板foo的重载
int foo(int val);

template<typename T>
T foo(T val) {
  return val;
}

template<typename T>
T bar(T n) {
  return foo(n);
}

// 定义非模板foo
int foo(int val) {
  return 1;
}

int main() {
  cout<<foo(2)<<bar(2)<<endl;
  return 0;
}

后续问题解答 #

这段代码能编译是因为**ADL（依赖于参数的查找）**的作用：
当调用bar(C())时，模板bar实例化为bar<C>，foo(n)的参数是用户自定义类型C。对于用户自定义类型，ADL会在参数类型所在的命名空间中查找函数——这里C和foo都在全局命名空间，实例化时全局命名空间中已定义的C foo(C)会被ADL找到。

而之前的int是内置类型，不会触发ADL，只能依赖定义上下文的名称；但用户自定义类型会触发ADL，因此即使foo的定义在模板bar之后，只要在实例化前定义，ADL就能找到它，代码可正常编译运行。

内容的提问来源于stack exchange，提问作者Yuqi Huang