c++ - 函数模板的实例化

Question

在下面的程序中，我们获取没有可用定义的函数模板的地址。

template <typename T>
void fun(T);

int main()
{
    void (*funptr)(int) = fun;
}

我被告知编译器决定在获取地址时实例化一个函数模板，但是上面的程序编译得很好（当然链接器会抛出一个它找不到定义的错误fun）。仅当我们使用显式实例化时编译才会失败：

template <typename T>
void fun(T);

template void fun<int>(int);

int main()
{}

这是否意味着只有编译第二个源代码才能实例化函数模板？或者它是否也在第一个实例化但我错过了一些东西？

提前致谢！

score 6 · Accepted Answer

当您获取地址或调用函数时，编译器会留下对其实例化的引用。如果有模板定义，它将被实例化以满足该引用。但由于没有提供模板定义，因此无法实际实例化，所以只剩下未解析的引用。该未解析的引用必须在链接阶段由包含必要实例化的不同目标文件解析。这意味着实例化必须在编译该其他目标文件时发生。

当您显式实例化函数模板时，模板定义必须存在（否则，没有可实例化的内容）。由于您没有提供，因此在编译阶段会出现错误，而不是链接。

1 回答 1