如何定义RegAlias<T>以隐式传递类成员作为构造函数参数？

核心思路是通过全局模板类+类内模板别名的组合，结合类型转换自动捕获宿主类的obj成员，无需显式传递参数。

具体实现步骤 #

1. 定义全局模板实现类RegAliasImpl，绑定宿主类（如Top）和目标类型T，继承自Reg<T>并实现仅接收名称的构造函数：

#include <string>

// 假设ComplexObject的定义
struct ComplexObject {};

template <typename T>
struct Reg {
    T val;
    Reg(std::string name, ComplexObject &obj) {
        // 原构造逻辑
    }
};

// 全局模板实现类，负责绑定宿主类型与目标类型
template <typename Host, typename T>
struct RegAliasImpl : public Reg<T> {
    RegAliasImpl(std::string name) 
        : Reg<T>(std::move(name), static_cast<Host*>(this)->obj) {}
};

2. 在Top类中定义模板别名RegAlias<T>，将其绑定到RegAliasImpl<Top, T>，直接使用该别名声明成员：

struct Top {
    ComplexObject obj;
    // 模板别名，绑定当前类为宿主类型
    template <typename T>
    using RegAlias = RegAliasImpl<Top, T>;

    // 期望写法：仅传入名称，自动使用当前类的obj成员
    RegAlias<int> b{"b"};

    Top(ComplexObject obj) : obj(std::move(obj)) {}
};

方案说明 #

• RegAliasImpl通过static_cast<Host*>(this)安全获取宿主对象的obj引用，因为RegAlias<T>作为Top的成员，this指针指向合法的Top实例。
• 类内的RegAlias<T>是模板别名而非嵌套类，完全符合需求限制。
• 构造时仅需传入名称参数，内部自动完成对Reg<T>构造函数的转发调用。

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