没有找到 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>
{};

最初我认为这是模板的问题，但这并没有改变事实。所以这里是我的问题的简化 classes：

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 更改为：

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() class 这就是为什么我必须创建一个 derived<T>::method() 来调用基础，但这是不是原因。理想情况下，我想避免创建 BB& operator=(std::initializer_list<float> il) 对我来说看起来像无用的 copy/past 代码。

提前致谢！

Answer 1

你的问题是当你尝试

BB bb1;

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

当您尝试使用初始化列表初始化您的 BB 对象时不是。错误来自 operator=().

为了解决你的问题，建议你在你的BBclass中加一个using，如下

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

问题是 BB 隐式定义了一对 operator=()（复制和移动 operator=()：分别为 BB & BB::operator= (BB const &) 和 BB & BB::operator= (BB &&)）隐藏从 AA.

继承的运算符

对于 un-hide 它们，您必须使用 using 声明明确地将它们纳入范围。

没有找到 operator= 和 initializer_list 的继承

No inheritance found with operator= and initializer_list

c++

inheritance

operator-overloading

c++11