C++类模板省略尖括号隐式特化实例化的原理是什么

代码可在所有主流编译器下正常编译，核心原因是使用了C++17引入的**类模板实参推导（CTAD）**标准特性，不属于任何编译器的非标准扩展。

可运行示例代码 #

#include <iostream>

template <class T>
class LikeA
{
    T m_val{};
    public:
    LikeA() = default;
    explicit LikeA(T iv): m_val(std::move(iv)) {}
    LikeA(LikeA<T> const &) = default;
    LikeA(LikeA<T> &&) noexcept = default;
    ~LikeA() noexcept = default;
    operator T const &() const { return m_val; }
    LikeA<T> &operator=(T nv) { m_val = std::move(nv); return *this; }
    LikeA<T> &operator=(LikeA<T> const &n) { m_val = n.m_val; return *this; }
    LikeA<T> &operator=(LikeA<T> &&n) { m_val = std::move(n.m_val); return *this; }
};

template <class T>
T f (LikeA<T> i)
{
    return i;
}

int main()
{
    std::cout << f(LikeA{3.1415927}) << '\n';
    return 0;
}

核心规则说明 #

• C14及更早的标准确实要求类模板使用时必须显式书写尖括号指定模板实参，LikeA{3.1415927}这类写法在旧标准下属于语法错误，这也是多数开发者早期学习C时形成的固有印象。
• C++17正式引入类模板实参推导规则：当直接使用类模板名构造对象（包括命名变量、匿名临时对象）时，编译器会根据传入构造函数的实参类型，自动推导类模板的模板参数，无需开发者手动写尖括号。上述代码中LikeA{3.1415927}传入的是double类型字面量，编译器匹配explicit LikeA(T iv)构造函数，自动推导出T=double，最终构造的临时对象类型为LikeA<double>，和手动书写LikeA<double>{3.1415927}的效果完全一致。
• 测试中两种失效场景完全符合标准推导规则：
  • 构造函数添加explicit限定后，隐式转换路径被阻断，f(3.1415927)写法中编译器不会自动将double字面量隐式转换为LikeA<T>实例，因此调用失败。
  • f({3.1415927})写法中，花括号初始化列表属于非推导上下文，编译器在推导函数模板参数T时，不会从花括号列表的内容中提取类型信息，因此无法确定LikeA<T>的具体特化版本，推导失败。
• 该推导机制和参数依赖查找（ADL）无关，ADL是函数名查找阶段的规则，CTAD是类模板实例化阶段独立的实参推导规则。

注意：CTAD仅在显式使用类模板名直接构造对象的场景触发，不会在需要隐式类型转换的上下文中自动执行，这也是显式写LikeA{...}构造临时对象不受explicit影响、可以正常通过编译的原因。

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