能否在模板类成员中使用CTAD？如何解决其与模板参数隐式推导的冲突？

在模板类内部直接使用类名构造对象时，编译器会默认将其解析为当前实例化的模板类（即A<T>），而非触发类模板实参推导（CTAD）。要让CTAD优先生效，你可以通过以下几种方式解决：

方法1：使用全局作用域限定符 #

在类名前加上::，强制编译器去全局作用域查找类模板，从而触发CTAD推导：

#include<string>

template<class T>
struct A {
    A(T const& t) {}
    auto f() {return ::A{5.0};}  // 全局作用域限定，触发CTAD推导A<double>
};

int main() {
    A a1{std::string{"hello"}};
    auto a2 = a1.f();  // a2类型为A<double>，编译通过
}

原理：模板类内部的A属于依赖名称，默认绑定到当前实例的A<T>。加上::后，编译器会忽略当前类的实例化版本，直接匹配全局的类模板A，此时就会根据构造参数5.0推导出模板参数为double。

方法2：显式指定模板参数（不推荐，失去CTAD意义） #

如果你不介意放弃CTAD的自动推导，也可以直接显式指定模板参数：

auto f() {return A<double>{5.0};}

这种方式虽然能解决编译错误，但违背了使用CTAD的初衷，仅作为临时替代方案。

方法3：C++20及以上使用std::type_identity #

借助C++20引入的std::type_identity，可以让编译器将A视为类模板而非实例化类型：

#include<string>
#include<type_traits>

template<class T>
struct A {
    A(T const& t) {}
    auto f() {return std::type_identity_t<A>{5.0};}
};

std::type_identity_t<A>会保留A作为类模板的原始形态，从而触发CTAD推导。

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