C++14中CTAD的替代方案：无法用auto时如何存储推导类型返回值？

以下是几种无需升级到C++17/20的可行方案，解决类成员变量声明时重复冗长模板参数的问题：

1. 用typedef/using封装模板特化别名 #

这是最直观的方案，将重复的模板特化类型封装成别名，成员变量直接使用别名声明：

// 框架中的模板类示例
template<typename T, typename U, int N>
class ComplexTemplate {
public:
    ComplexTemplate(T val1, U val2) : t(val1), u(val2) {}
private:
    T t;
    U u;
};

// 用户代码中定义特化类型的别名
using MySpecializedType = ComplexTemplate<int, std::string, 42>;

class UserClass {
    MySpecializedType member; // 无需重复模板参数
public:
    UserClass() : member(123, "example") {}
};

优点：代码清晰易读，无额外开销，完全符合C++14标准。

2. 静态工厂函数结合decltype推导成员类型 #

通过类内静态工厂函数生成模板实例，再用decltype推导成员变量的类型，避免手动写模板参数：

template<typename T, typename U, int N>
class ComplexTemplate {
public:
    ComplexTemplate(T val1, U val2) : t(val1), u(val2) {}
private:
    T t;
    U u;
};

class UserClass {
    // 静态工厂函数：负责创建模板实例并推导类型
    static auto createMember() {
        return ComplexTemplate<int, std::string, 42>(123, "test");
    }
    // 用decltype获取工厂函数返回的类型
    decltype(createMember()) member;
public:
    UserClass() : member(createMember()) {}
};

注意：静态工厂函数必须在成员变量声明前定义，确保decltype能正确推导类型。此方案适合需要动态生成初始化参数的场景。

3. 宏封装模板特化（备选方案） #

如果模板参数极长且重复使用，可临时用宏封装（尽量少用，避免宏污染）：

template<typename T, typename U, int N>
class ComplexTemplate {
public:
    ComplexTemplate(T val1, U val2) : t(val1), u(val2) {}
private:
    T t;
    U u;
};

// 宏封装模板特化
#define MY_SPECIALIZED_COMPLEX ComplexTemplate<int, std::string, 42>

class UserClass {
    MY_SPECIALIZED_COMPLEX member;
public:
    UserClass() : member(123, "example") {}
};

// 用完后取消宏定义，避免影响其他代码
#undef MY_SPECIALIZED_COMPLEX

以上三种方案均能在C++14环境下有效运行，无需升级到更高版本的标准。

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