模板类指定初始化器传模板函数时CTAD失败的原因及解决方法

先看你的代码示例：

非模板结构体的场景可以正常编译：

struct myAB{ int a,b; };

void function(myAB ab) {}

// 正常运行
function({.a = 1, .b = 3});

但模板结构体的场景中，最后一种调用会编译失败：

template <class B>
struct myAB2{ int a; B b; };
template<typename B> myAB2(int, B) ->  myAB2<B>; 

template<typename B>
void function2(myAB2<B> ab) {}

myAB2 ab = {.a = 1, .b = 3}; // CTAD可正常推导
function2(ab); // 正常运行
function2(myAB2{.a = 1, .b = 3}); // CTAD可正常推导
function2({.a = 1, .b = 3}); // 编译失败，无法推导类型'B'

失败原因 #

核心问题在于函数模板推导与类模板实参推导(CTAD)的上下文隔离：

• 直接传递{.a=1,.b=3}给function2时，这个初始化列表是无类型表达式，编译器需要先确定myAB2<B>的具体类型才能匹配函数模板，但此时没有显式的myAB2模板名引导CTAD触发。
• CTAD仅在显式构造类模板对象的场景生效（比如myAB2{...}或拷贝初始化myAB2 ab = {...}），而函数参数位置的裸初始化列表，编译器无法将其关联到myAB2的推导规则上——它不知道这个初始化列表对应哪个模板类，自然无法推导出模板参数B。

解决方法 #

方法1：显式指定函数模板参数 #

直接告诉编译器模板参数B的类型，让编译器识别初始化列表对应的myAB2<B>类型：

function2<int>({.a = 1, .b = 3});

方法2：添加函数重载，接受分散参数（适配C++11及以上） #

新增一个接受a和b的重载函数，内部构造myAB2对象后调用原函数：

template<typename B>
void function2(myAB2<B> ab) {}

// 重载版本
template<typename B>
void function2(int a, B b) {
    function2(myAB2<B>{.a = a, .b = b});
}

// 调用方式
function2(1, 3);

方法3：利用C++20约束与auto参数简化推导 #

通过auto参数配合类型约束，让编译器自动推导myAB2的特化类型：

#include <type_traits>

template <class B>
struct myAB2{ int a; B b; };
template<typename B> myAB2(int, B) ->  myAB2<B>; 

template<typename T>
requires std::is_specialization_v<T, myAB2>
void function2(T ab) {}

// 调用方式
function2(myAB2{.a = 1, .b = 3});

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