模板类与模板成员之间的类

Question

这样的课程范本

template <typename... T>
class Action {
private:        
    std::tuple<T...> m_args;
public:
    Action(T... args) : m_args(args...) {}
}

带有模板成员的类。 之所以这样做，是因为只希望创建一种类型的类，以便具有不同args的对象仍属于同一类，以便于操作。

class Action {
private:       
    // this does not work, how to declare the tuple type so that It can hold any arguments list.
    template <typename... T>
    std::tuple<T...> m_args;
public:   
    template <typename... T>
    Action(T... args) : m_args(args...) {}
}

Answer 1

将您的思维放在编译器的角度。 如果该大小取决于所解析的构造函数，那么我们可信赖的朋友将如何知道Action需要多少存储空间？ 这是不可能的。

template<typename... T>
Action(T... args) : m_args(args...) {}

// wait what???
Action(int someArg) : m_args(someArg) {}

假设第二个构造函数有效，或者我们有两个带有不同参数的Action对象传递给构造函数sizeof(Action)应该是什么？

如果您遇到这样的问题，请考虑使用编译器：可能有人必须给出充分的理由说明为什么不应该支持它，这仅仅是因为它只会使实现复杂化并且还影响性能。

---

由于您提到使用指针而不是聚合对象，因此我想向您展示如何做到这一点以确保完整性。 请注意，这会影响性能，因为您现在在堆而不是堆栈上为m_args分配内存。

class Action
{
public:
    template<typename... T>
    using TArgs = std::tuple<T...>;

    std::shared_ptr<void> m_args;

    template<typename... T>
    Action(T... args) 
        : m_args(std::make_shared<TArgs<T...>>(args...)) {}
};

Action myAction(1, 2.0, 3.5f);

auto *myActionArgs = 
    static_cast<Action::TArgs<int, double, float>*>(myAction.m_args.get());

// 2.0
double secondArg = std::get<1>(*myActionArgs);

维护起来似乎并不有趣。