函数模板的声明-调用-定义模式是否符合C++标准？

在大型项目的头文件中，需要在调用点前前置声明函数模板，简化后的代码如下：

头文件 H1.h #

//H1.h

#pragma once

template <typename>
void f();

inline void g()
{
    f<void>();
}
//POI #1

template <typename>
void f()
{}

翻译单元 TU1.cpp #

//TU1.cpp

#include "H1.h"

void func1()
{
    g();
}

//(End of TU) POI #2

翻译单元 TU2.cpp #

//TU2.cpp

#include "H1.h"

void func2()
{
    g();
}

//(End of TU) POI #3

我认为#1、#2、#3是f<void>的三个实例化点（POI）。在POI #1处，f尚未定义；f定义后，也没有显式实例化指令要求编译器特化f<void>。测试发现GCC、Clang、MSVC都会在翻译单元（TU）末尾生成f<void>的代码，但疑问该「声明-调用-定义」模式是否符合C++标准？我查阅标准仅找到显式实例化相关规则，不确定隐式实例化的场景是否合规。

这种模式完全符合C++标准，核心原因如下：

1. 实例化点的选择灵活性
   C++标准允许编译器在多个潜在的实例化点中选择一个完成函数模板特化的隐式实例化。对于你的代码，f<void>的潜在实例化点包括：
   • POI#1：g()内部调用f<void>()的位置
   • POI#2、POI#3：各自翻译单元的末尾

编译器可以选择延迟实例化到翻译单元末尾（POI#2/3），此时f的完整定义已经在头文件中出现，完全满足实例化要求。

2. 隐式实例化的定义可见性要求
   隐式实例化函数模板特化时，并不要求模板定义在调用点（POI#1）可见，只要求在编译器选择的实例化点处，模板的定义可见即可。你的代码中，每个翻译单元包含头文件后，f的定义都在TU结束前可见，因此编译器在TU末尾实例化f<void>是完全合规的。

3. ODR（一次定义规则）的合规性

   • g是inline函数，其定义在每个翻译单元中完全一致，符合inline函数的ODR要求；
   • 每个TU中实例化出的f<void>代码完全相同（因为f的模板定义一致），也满足ODR对函数特化的要求。

综上，你的代码写法是符合C++标准的，主流编译器的行为也是标准允许的合理实现。

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