c++ - 这个使用 using 的可变参数模板如何工作？

Question

我有这段代码，正在尝试了解它的工作原理:

#include <iostream>

class GenBase
{
public:
    void BaseClass()
    {
        std::cout << " BaseClass " << std::endl;
    }
};

template <class Base>
class General: public Base
{
    public:
        void PrintGeneral()
        {
            std::cout << " General " << std::endl;
        }
};

template <typename... Types>
struct BaseHelper;

template <typename Type, typename... Types>
struct BaseHelper< Type, Types...>
{
    using BaseType = General<typename BaseHelper<Types... >::BaseType>;
};

template <typename Type>
struct BaseHelper<Type>
{
    using BaseType = General<GenBase>;
};

template <typename... Types>
class OurClass: public BaseHelper<Types...>::BaseType
{
public:
     void print_smth()
     {
        BaseType::PrintGeneral();
     }

private:
     using BaseType = typename BaseHelper<Types...>::BaseType;
};

class Test
{
  public:
      void foo();
};

1. using BaseType = General<typename BaseHelper<Types... >::BaseType>

   为什么我们需要 ::BaseType最后呢？

2. 什么类型会 BaseType包含在 OurClass 中如果我们用 OurClass<int,float,Test> 实例化它?

Answer 1

using BaseType = General<typename BaseHelper<Types... >::BaseType>

Why do we need ::BaseType at the end?

General<typename BaseHelper<Types... >和 General<typename BaseHelper<Types... >::BaseType是不同的类型；与 ::BaseType您选择 BaseType定义，通过 using , 里面 General<typename BaseHelper<Types... >

What type would BaseType contain in OurClass if we instantiate it with OurClass<int,float,Test>?

你明白了 BaseType定义为 General<General<General<GenBase>>> .

我将逐步向您展示如何获得该类型。

你有 OurClass<int,float,Test> , 所以 Types...是int, float, Test , 所以

// 1: Types... is int, float, Test
using BaseType = typename BaseHelper<int, float, Test>::BaseType;

下一步:BaseType在BaseHelper<int, float, Test> (选择了通用模板；Type 是 int 和 Types... 是 float, Test )定​​义为

// 2: Types... is float, Test
using BaseType = General<typename BaseHelper<float, Test>::BaseType>;

下一步:BaseType在BaseHelper<float, Test> (选择了通用模板；Type 是 float 和 Types... 是 Test )定​​义为

// 3: Types... is Test
using BaseType = General<typename BaseHelper<Test>::BaseType>;

下一步:BaseType在BaseHelper<Test> (部分特化 BaseHelper<Type> ，选择 Test 作为 Type )定​​义为

// 4
using BaseType = General<GenBase>;

下一步:我们替换 General<GenBase>在 3 中，所以

// 3: BaseHelper<Test>::BaseType> is General<GenBase>
using BaseType = General<General<GenBase>>;

下一步:我们替换 General<General<GenBase>>在 2 中，所以

// 2: BaseHelper<float, Test>::BaseType is General<General<GenBase>>
using BaseType = General<General<General<GenBase>>>;

最后一步:我们替换 General<General<General<GenBase>>>在 1,

// 1: BaseHelper<int, float, Test>::BaseType is General<General<General<GenBase>>>
using BaseType = General<General<General<GenBase>>>;

结论:OurClass<int,float,Test>::BaseType是General<General<General<GenBase>>> .