我希望能够创建一个通用的嵌套模板,以便可以找到所有类的总大小。首先,想象一下A,B,C等类,每个类都有一个mSize成员和GetSize()函数。我执行以下过程:

int main()
{
    using Abc = A<B<C<>>>;  // Imagine it is defined similarly to this for now.
    Abc abc;

    std::cout << abc.GetSize() << std::endl;

    // For abc.GetSize(), this will do the following:
    // 1. Go into A::GetSize().
    // 2. This will return A::mSize + B::GetSize()
    // 3. This will go into B::GetSize()
    // 4. This will return B::mSize + C::GetSize()
    // 5. Etc
    // Overall, we will have the total size of A+B+C as
    // A::mSize + B::mSize + C::mSize.

    return 0;
}

它将递归地遍历每个模板类,直到结束并调用GetSize()。我目前的尝试是使用模板模板和可变参数模板。
template <template<typename> class First, template<typename> class ...Args>
class A
{
public:
    int GetSize() const
    {
        First<Args...> foo;
        return mSize + foo.GetSize();
    }
private:
    int mSize{1};
};

template <template<typename> class First, template<typename> class ...Args>
class B
{
public:
    int GetSize() const
    {
        First<Args...> foo;
        return mSize + foo.GetSize();
    }
private:
    int mSize{2};
};

template <template<typename> class First, template<typename> class ...Args>
class C
{
public:
    int GetSize() const
    {
        First<Args...> foo;
        return mSize + foo.GetSize();
    }
private:
    int mSize{3};
};

这显然没有用。我真的很希望能够实现int main()中描述的过程。

注释:
  • 这些类不一定必须包括在内,也不一定要按顺序排列。我们可以有A<C>B<E<C<F<>>>>。理想情况下,它可以无限长。
  • 我不想使用多态性,希望在运行时解决它。我可以让它们全部继承自同一个类,创建一个std::vector<Parent*>,每个子类push_back,然后使用GetSize()进行迭代。能够定义唯一类型(例如A<B<>>A<B<C<>>>等)会很好。
  • 最佳答案

    由于您的mSize对于所有实例都是相同的,因此您的方法应为static,并且由于它看起来像是一个常量,因此应为constexpr

    这是一个使用通用模板,然后使用特定大小部分实例化的实现:

    template <int Size, typename T>
    struct Holder {
        static constexpr int GetSize() {
            return Size + T::GetSize();
        }
    };
    
    template <int Size>
    struct Holder<Size, void> {
        static constexpr int GetSize() {
            return Size;
        }
    };
    
    template <typename T = void>
    using A = Holder<1, T>;
    
    template <typename T = void>
    using B = Holder<2, T>;
    
    template <typename T = void>
    using C = Holder<3, T>;
    

    然后您可以测试:
    using AB = A<B<>>;
    using ABC = A<B<C<>>>;
    
    static_assert(AB::GetSize() == 1 + 2, "Oops!");
    static_assert(ABC::GetSize() == 1 + 2 + 3, "Oops!");
    

    当然,您可以使ABC,...扩展Holder而不是在需要时部分实例化它。

    关于c++ - 嵌套模板类,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/36979165/

    10-11 22:54
    查看更多