c++ - 使用operator =和initializer_list找不到继承

Question

在这里，我为这个问题简化了很多代码。

template<class T>
class A
{
public:

    A<T>& operator=(A<T> const& other)
    {
        std::cout << "A<T>& operator=(A<T> const& other)\n";
        return this->operator=(other.m_container);
    }

    template<class U>
    A<T>& operator=(std::vector<U> const& other)
    {
        std::cout << "A<T>& operator=(std::vector<U> const& other)\n";
        // Code not shown: m_container = other;
        return *this;
    }

    A<T>& operator=(std::initializer_list<T> il)
    {
        std::cout << "A<T>& operator=(std::initializer_list<T> il)\n";
        // Code not shown: m_container = il;
        return *this;
    }

    std::vector<T> m_container;
};

//
template<typename T>
class B: public A<T>
{};

最初，我认为这是模板的问题，但这并不能改变事实。
所以这里是我的问题的简化类:

class AA
{
public:

    AA& operator=(AA const& other)
    {
        std::cout << "AA& operator=(AA const& other)\n";
        return this->operator=(other.m_container);
    }

    AA& operator=(std::vector<float> const& other)
    {
        std::cout << "AA& operator=(std::vector<float> const& other)\n";
        // Code not shown: m_container = other;
        return *this;
    }

    AA& operator=(std::initializer_list<float> il)
    {
        std::cout << "AA& operator=(std::initializer_list<float> il)\n";
        // Code not shown: m_container = il;
        return *this;
    }

    std::vector<float> m_container;
};

//
class BB: public AA
{};

我的问题是我不太确定为什么会这样:

BB bb1;
bb1 = { -1.0f, -1.0f, 0.0f };

没有编译:

In function ‘int main()’:
error: no match for ‘operator=’ (operand types are ‘BB’ and ‘<brace-enclosed initializer list>’)
     bb1 = { -1.0f, -1.0f, 0.0f };
                                ^
note: candidate: ‘BB& BB::operator=(const BB&)’
     BB& operator=(BB const& other)
         ^~~~~~~~
note:   no known conversion for argument 1 from ‘<brace-enclosed initializer list>’ to ‘const BB&’

在进行以下修改时，代码可以正常工作:

class BB: public AA
{
public:

    BB& operator=(std::initializer_list<float> il)
    {
        std::cout << "BB& operator=(std::initializer_list<float> il)\n";
        AA::operator=(il);
        return *this;
    }
};

结果:

BB& operator=(std::initializer_list<float> il)
AA& operator=(std::initializer_list<float> il)

这特别奇怪，因为以下代码不受影响(继承被很好地调用):

BB bb1;
BB bb2;
bb2 = bb1;

结果:

AA& operator=(AA const& other)
AA& operator=(std::vector<float> const& other)

因此，无需将类更改为:

class BB: public AA
{
public:

    BB& operator=(BB const& other)
    {
        std::cout << "BB& operator=(BB const& other)\n";
        AA::operator=(other.m_container);
        return *this;
    }

    BB& operator=(std::initializer_list<float> il)
    {
        std::cout << "BB& operator=(std::initializer_list<float> il)\n";
        AA::operator=(il);
        return *this;
    }
};

起初，我认为这是因为我必须从模板派生类中调用 base<T>::method()，这就是为什么我必须创建一个调用基数的 derived<T>::method()的原因，但这不是原因。理想情况下，我想避免创建对我来说看起来像无用的复制/粘贴代码的 BB& operator=(std::initializer_list<float> il)。
提前致谢!

Answer 1

你的问题是当你尝试一些

BB bb1;

bb1 = { -1.0f, -1.0f, 0.0f };

当您尝试使用初始化程序列表初始化 BB对象时，则不行。错误来自 operator=()。
为了解决您的问题，建议您在 using类中添加 BB，如下所示

class BB: public AA
 {
   public:
      using AA::operator=;
 };

问题是 BB隐式定义了几个 operator=()(分别为副本和移动 operator=(): BB & BB::operator= (BB const &)和 BB & BB::operator= (BB &&))，它们隐藏了从 AA继承的运算符。
要取消隐藏它们，您必须使用 using声明将它们明确纳入范围。