c++ - Mixin 构造函数嵌套包扩展

Question

我正在尝试实现一个 Mixin 类，并面临一些问题:
这就是我目前所拥有的:

#include <iostream>
#include <string>

using namespace std;

struct Base
{
    Base()
    {
        cout << "default ctor" << endl;
    }
    
    Base(int i, string s)
        :i_(i)
            ,s_(s)
    {
        cout << "i: " << i << " s:" << s << endl;
    }
    virtual ~Base() = default;
    virtual void handle() {};
    
    int i_;
    string s_;
};

struct Der1 : virtual public Base
{
    using Base::Base;
};

struct Der2 : virtual public Base
{
    using Base::Base;
};

template<class... Mixin>
class MixinVisitor : public Mixin... {
public:
  template <typename... Args>
  MixinVisitor(Args&&... args) : Mixin(std::forward<Args>(args)...)...
  {
  }

};



int main()
{
    MixinVisitor<Der1, Der2> m(10, "var");
    cout << m.i_ << endl;
}

我希望使用 MixinVisitor 中指定的参数调用所有类构造函数。 Der1和 Der2实际上从同一个基类继承。
我现在用 Clang 编译的代码，但用 GCC 编译失败。
但是，Clang 的行为并不是我所期望的，因为我认为输出只有被调用的默认构造函数。
gcc报错如下:

prog.cc:44:68: error: invalid use of pack expansion expression
   44 |   MixinVisitor(Args&&... args) : Mixin(std::forward<Args>(args)...)...
      |                                                                    ^~~
1

此外，输出不是我所期望的，这可能是由于虚拟继承。
我只看到默认的ctor被调用:

default ctor
4204112

如何强制调用正确的构造函数？
编辑:
感谢评论，gcc 问题有一个解决方法:

  MixinVisitor(Args&&... args) : Mixin{std::forward<Args>(args)...}...

但是我仍然想知道为什么没有调用正确的构造函数

Answer 1

GCC 错误 invalid use of pack expansion expression是一个错误 #88580 .似乎是 GCC 10 中的回归。
如评论中所述，更改 :Mixin(std::forward<Args>(args)...)...至 :Mixin{std::forward<Args>(args)...}...解决了这个问题。
关于为什么默认Base构造函数被调用:虚基类的构造函数由最派生类的构造函数直接调用。在这种情况下，MixinVisitor直接拨打Base构造函数，并且由于您没有提到要调用哪一个，因此调用了默认的一个。这就是虚拟继承的工作原理(另见 FAQ)。
如果您想拨打Base(int i, string s)相反，明确指定它，例如像这样:

template<class... Mixin>
class MixinVisitor : public Mixin... {
public:
  template <typename... Args>
  MixinVisitor(Args&&... args)
      : Base(std::forward<Args>(args)...), Mixin{std::forward<Args>(args)...}...
  {
  }

  . . .

我不知道你的具体用例，但虚拟基通常是一个非常基本的样板类，带有默认的构造函数，以免不必要地限制使用。通过这种方式，mixin 可以具有不依赖于基础的 ctors。