能否显式实例化返回未指定类型的C++模板函数？

为提升代码覆盖率结果的准确性，我尝试对模板函数进行显式实例化。已知返回类型时的实现方法，但目前只能通过定义返回void的包装函数间接实现目标。请问无需额外定义包装函数，能否直接显式实例化返回未指定类型的模板函数？

相关代码 #

#include <concepts>

template <typename T>
struct Gen {
    T operator()() const { return T{}; }
};
template <std::default_initializable T>
Gen<T> buildKnown() {
    return Gen<T>{};
}
template <std::default_initializable T>
std::invocable auto buildConstrained() {
    return Gen<T>{};
}
template <std::default_initializable T>
std::invocable auto buildInternal() /* -> decltype(??) */ {
    struct Local : Gen<T> {};
    return Local{};
}

// 尝试对各模板函数进行显式实例化
template Gen<int> buildKnown<int>();        // 可行
template Gen<int> buildConstrained<int>();  // 意外无法运行
template auto buildInternal<int>();         // 预期无法运行

// 通过包装函数间接实例化buildInternal
template <typename T> void buildInternalWrapper() { buildInternal<T>(); }
template void buildInternalWrapper<int>();

核心结论 #

可以直接显式实例化这类模板函数，但需要匹配函数声明的返回类型规则，或利用C++20的推导返回类型显式实例化特性。

1. buildConstrained<int>实例化失败的原因及修复 #

你写的template Gen<int> buildConstrained<int>();失败，是因为buildConstrained的声明返回类型是std::invocable auto，显式实例化的签名必须与函数模板的声明签名匹配，不能直接用实际返回的Gen<int>（标准不要求编译器做这种隐式类型匹配）。

两种可行的修复写法：

• 用声明中的占位符类型严格匹配：

  template std::invocable auto buildConstrained<int>();
  

• 显式指定推导后的实际返回类型（需确保类型与函数返回值完全一致）：

  template Gen<int> buildConstrained<int>();
  

  注：第二种写法更直观，但部分编译器可能需要开启宽松匹配规则；第一种写法严格遵循声明签名，兼容性更好。

2. 直接实例化buildInternal<int>的可行方案 #

buildInternal返回的Local是函数内部定义的局部类，外部无法直接引用其类型名，但C++20及以后标准支持推导返回类型的显式实例化，可以用auto占位符完成实例化：

template auto buildInternal<int>();

编译器会在buildInternal的定义上下文里推导返回类型（即局部类Local的实例），完成显式实例化，无需外部可见该类型的名称。

3. 修正后的完整实例化代码 #

// 可行：匹配已知的返回类型
template Gen<int> buildKnown<int>();
// 可行：严格匹配声明的占位符类型
template std::invocable auto buildConstrained<int>();
// 可行（C++20+）：利用推导返回类型特性实例化
template auto buildInternal<int>();

关键原理 #

• 对于返回类型为占位符（auto或带约束的auto）的函数模板，显式实例化时可直接使用声明中的占位符类型，或使用推导后的具体类型（若外部可见）。
• C++20新增的推导返回类型显式实例化特性，允许对返回局部类型的函数模板直接实例化，编译器会在模板定义的作用域内推导返回类型并生成实例。

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