Question

我不太明白为什么对于赋值，派生类不会调用基类的相应运算符，如果它自己不存在的话。看一下代码：

#include <iostream>
using namespace std;

class A{
protected:
  void myWrite(){
    cout << " Base " <<endl;
  }
public:
  double x,y;
  A(): x{0},y{0}{};
  virtual A & operator=(double g){x=g;y=g;return *this;}
  virtual ~A(){};
  virtual void doneit(){myWrite();}
};


class B: public A{
protected:
public:
  B():A(){};
  virtual ~B(){};
  virtual void doneit(){myWrite();}
};

int main() {
  A jj;
  B pp;

  pp=0.0;
  return 0;
}

因为它是代码不编译。当然，如果我定义一个＆＃34;运算符=＆＃34;因为B与A的相同，一切正常，但为什么B＆＃34;运算符=＆＃34;如果未定义派生类中的那个，则默认情况下不会调用??你能帮忙解释一下这个问题吗？

gcc编译器说../src/tito.cpp:40:4：错误：没有可行的重载＆＃39; =＆＃39; PP = 0.0; ~~ ^ ~~~ ../src/tito.cpp:28:7：注意：候选函数（隐式复制赋值运算符）不可行：没有已知的转换来自＆＃39; double＆＃39;到＆＃39; const B＆＃39;第一个论点 B级：公共A { ^ 生成1个错误。

你能解释一下它为什么不起作用吗？

Answer 1

如果您没有声明复制赋值运算符，编译器将为您声明一个。因此，您的班级B 真的如下：

class B : public A {
public:
    // explicit
    B();
    virtual ~B();
    virtual void doneit();

    // implicit
    B(const B&);
    B& operator=(const B&);
};

隐式复制赋值运算符隐藏您编写的A::operator=(double)，因此它是名称查找将找到的唯一候选者。当然，它不是一个可行的候选者，因为double不能转换为B，因此错误。

要使用A::operator=(double )运算符，您必须明确地将其纳入范围：

using A::operator=;

但是你不会分配任何B部分。所以最好更明确一点：

B& operator=(double g) {
    // B stuff here

    // A stuff
    A::operator=(g);

    return *this;
}

Answer 2

编译器隐式声明的派生类的复制赋值运算符隐藏了基类的赋值运算符。使用以下方式在派生类中使用声明

class B: public A{
protected:
public:
  using A::operator =;     
  B():A(){};
  virtual ~B(){};
  virtual void doneit(){myWrite();}
};

另一种方法是在派生类

中重新声明虚拟赋值运算符

B & operator=(double g) { A::operator =( g ) ;return *this;}

在这种情况下，您可以使用多态性。例如

#include <iostream>

class A
{
public:
  double x,y;
  A(): x{0}, y{0} {}
  virtual A & operator =( double g ){ x = g; y = g; return *this; }
  virtual ~A(){}
};


class B: public A
{
public:
  B() : A(){}
  virtual B & operator =( double g ) override { A::operator =( 2 * g ) ; return *this; }
  virtual ~B(){}
};

int main() 
{
    A a;
    B b;

    A *p = &a;

    *p = 10;

    std::cout << p->x << ' ' << p->y << std::endl; 

    p = &b;

    *p = 10;

    std::cout << p->x << ' ' << p->y << std::endl; 

    return 0;
}

程序输出

10 10
20 20

派生类

2 个答案: