模板推导指南与聚合初始化适配异常原因咨询

测试代码重现 #

代码1：聚合类型场景

#include <iostream>
#include <cstddef>

template <typename T>
struct Test {
    T value;
};

// 模板推导指南
Test(int) -> Test<std::size_t>;

int main() {
    Test t1(1.2);
    std::cout << t1.value << std::endl; // 输出1，T推导为std::size_t
    return 0;
}

代码2：带构造函数的非聚合类型场景

#include <iostream>
#include <cstddef>

template <typename T>
struct Test {
    T value;
    Test(T v) : value(v) {} // 用户定义构造函数
};

Test(int) -> Test<std::size_t>;

int main() {
    Test t1(1.2);
    std::cout << t1.value << std::endl; // 输出1.2，T推导为double
    return 0;
}

你的问题核心在于C++标准对聚合类型和带用户定义构造函数的非聚合类型的模板推导规则做了不同设计，导致推导指南的匹配逻辑完全不同：

1. 聚合类型场景的推导逻辑 #

当Test是无用户定义构造函数的聚合类型时，Test t1(1.2)属于C++17引入的圆括号聚合初始化。此时模板推导的规则是：

• 编译器会遍历所有可用的推导指南，检查初始化参数是否能隐式转换为推导指南的参数类型。
• 你的推导指南Test(int) -> Test<std::size_t>中，参数类型为int，而1.2（double类型）可以隐式转换为int（截断为1），因此该推导指南被选中，推导出T = std::size_t。
• 最终聚合初始化将转换后的int值1赋值给std::size_t类型的value，所以输出1。

这里的关键是：聚合类型的推导指南匹配不涉及构造函数重载，仅以“参数可隐式转换”作为选中条件。

2. 非聚合类型场景的推导逻辑 #

当你给Test添加用户定义构造函数Test(T v)后，Test不再是聚合类型。此时模板推导会将推导指南和构造函数一同纳入重载决议：

• 构造函数Test(T v)能直接匹配1.2（double类型），推导出T = double，这是完全匹配，无需任何隐式转换。
• 推导指南Test(int) -> Test<std::size_t>需要将double隐式转换为int，属于劣化匹配。
• 根据C++重载决议的优先级规则，完全匹配的构造函数会被优先选中，因此最终推导出T = double，value存储1.2。

关键区别总结 #

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