为何函数模板与类模板（构造函数）的模板参数推导行为不同？

问题场景 #

先看定义的类模板（其中FixedStr可从字符串字面量隐式构造）：

template<FixedStr K, class... T>
struct ParserCtx {
  Parser<T...> parser;

  ParserCtx(std::string_view description, Parser<T...>&& parser)
    : parser(std::move(parser))
  {}
};

想要用以下方式调用，让模板参数T...从构造函数的实参中自动推导：

ParserCtx<"name">{"desc", Parser{1, 2.0, 3.0f}};

但这段代码无法编译，原因是类模板参数推导（CTAD）遵循“全有或全无”规则：

仅当未指定模板参数列表时才会执行类模板参数推导。若指定了模板参数列表，则不会进行推导。

函数模板的可行方案 #

改用函数模板就能实现预期用法：

template<FixedStr K, class... T>
auto ParserCtx(std::string_view desc, Parser<T...>&& parser) -> impl::ParserCtx<K, T...> {
  return {desc, std::move(parser)};
}

// 正常编译的调用方式
ParserCtx<"name">("desc", Parser{1, 2.0, 3.0f});

标准库中也有类似例子，比如std::array和std::to_array的对比：

std::array<int>{1, 2, 3}; // 编译失败：无法推导模板参数N
std::to_array<int>({1, 2, 3}); // 编译成功：N可从实参推导

行为差异的根源 #

类模板CTAD的设计约束 #

CTAD的核心目标是简化类的初始化，但它有一个严格限制：只要显式指定了任意一部分模板参数，编译器就会停止所有自动推导。这种规则是为了避免歧义——如果允许部分推导，编译器无法明确你是想让它补全剩余参数，还是想通过指定参数来匹配特定构造函数，尤其是类存在多个重载构造函数时，歧义会让编译逻辑变得混乱。

函数模板的推导特性 #

函数模板天生支持部分显式指定模板参数：你可以明确写出前面的模板参数，剩余参数由编译器从函数实参中推导。这是因为函数模板的推导逻辑围绕调用上下文展开，显式参数和推导参数的分工清晰——前面的参数由你指定，后面的参数从实参类型反向推导，不会出现类模板中构造函数与模板参数绑定的歧义问题。

比如std::to_array本质是函数模板，你显式指定元素类型int后，编译器可以从初始化列表{1,2,3}自动推导数组大小N=3，完美契合函数模板的推导规则。

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