调用基类运算符=from派生参数包

Question

我在C 17中实现了一个简单的程序，在该程序中，我尝试使用参数扩展从派生类调用基类operator=。但程序无法编译。

#include "pch.h"
#include <iostream>

class D
{
    public:
        D()
        {
            std::cout << "D ctror" << std::endl;
        }
        D  &  operator = (const D & other)
        {
            return *this;
        }
};
class C
{
    public:
        C()
        {
            std::cout << "C ctror" << std::endl;
        }
        C  &  operator = (const C & other)
        {
            return *this;
        }
};
class B
{
    public:
        B()
        {
        std::cout << "B ctror" << std::endl;
        }


        B  &  operator = (const B & other)
        {
            std::cout << "operator B" << std::endl;
            return *this;
        }
};


template<typename... Ts> class A: public Ts...
{ 
public:

    A():  Ts()...
    {
    }
    A  &  operator = (const A & other)
    {
        Ts::operator =(other);
        return *this;
    }

};

int main()
{

    A<B,C,D> a1;
    A<B,C,D> a2;
    a1 = a2;
}

使用的工具集是Visual Studio 2017 (v141)

生成的错误如下

错误C3520:“=”：必须在此上下文中展开参数包注意：编译类模板成员函数“A”时

Answer 1

您需要展开参数包。一个漂亮的折叠表达怎么样：

(Ts::operator=(other), ...);

这将扩展Ts…并有效地创建对操作员=的多次调用，包中的每种类型一个。