c++ - 运算符继承问题和 cpp 核心指南 c.128

Question

我有以下代码(我删除了一些在这里不重要的代码):

class State {
public:

  virtual void enter() = 0;
  virtual void update() = 0;
  virtual void exit() = 0;
};

class SimpleState : public State {
public:

  SimpleState() = default;
  SimpleState(const SimpleState&) = default;
  SimpleState(SimpleState&&) = default;
  virtual ~SimpleState() = default;

public:

  void enter() override;
  void update() override;
  void exit() override;

public:

  SimpleState& operator=(const SimpleState&) = default;
  SimpleState& operator=(SimpleState&&) = default;
};

由于我已经定义了析构函数并且我还需要定义其他内容(如果我记得的话，我还需要定义 5 规则)，因此我添加了默认运算符以解决指南警告。

如果我通过启用 cpp 核心指南使用 Visual Studio 2019 构建它，我会收到以下警告:

SimpleState.hpp: warning C26456: Operator 'SimpleState::operator=' hides a non-virtual operator 'State::operator=' (c.128).
SimpleState.hpp: warning C26456: Operator 'SimpleState::operator=' hides a non-virtual operator 'State::operator=' (c.128).

我想摆脱它，所以我用以下方式更改了代码:

class State {
public:

  virtual void enter() = 0;
  virtual void update() = 0;
  virtual void exit() = 0;

public:

  virtual State& operator=(const State&) = 0;
  virtual State& operator=(State&&) = 0;
};

class SimpleState : public State {
public:

  SimpleState() = default;
  SimpleState(const SimpleState&) = default;
  SimpleState(SimpleState&&) = default;
  virtual ~SimpleState() = default;

public:

  void enter() override;
  void update() override;
  void exit() override;

public:

  SimpleState& operator=(const SimpleState&) override = default;
  SimpleState& operator=(SimpleState&&) override = default;
};

但在这种情况下，我收到以下错误:

SimpleState.hpp: error C3668: 'SimpleState::operator =': method with override specifier 'override' did not override any base class methods
SimpleState.hpp: error C3668: 'SimpleState::operator =': method with override specifier 'override' did not override any base class methods

我做错了什么，如何删除指南警告？

Answer 1

我怀疑这种情况下的 C26456 警告是一个错误，另请参阅 https://developercommunityapi.westus.cloudapp.azure.com/content/problem/617702/c26456-false-positive-with-operator-in-derived-cla.html 和 https://developercommunity.visualstudio.com/content/problem/228085/c-core-check-false-positive-c26434.html 。

引用的核心准则子句 C.128 仅适用于虚拟成员函数，但 operator= 在您的基类中不是虚拟的，它也不具有与派生类中相同的签名，因此没有理由应用它。

确保您确实需要 SimpleState 中的析构函数声明。您在基类 State 中有虚函数，这似乎表明您想以多态方式使用 State 并且对象可能会通过 State 指针而不是 SimpleState 指针销毁。在这种情况下 State 需要声明一个虚拟析构函数，而不是 SimpleState 。

如果您在 State 中声明了虚拟析构函数，那么您将不需要在 SimpleState 中声明任何析构函数，它将从 State 继承虚拟析构函数。然后 SimpleState 可以遵循零规则并且不需要声明任何复制/移动赋值运算符和复制/移动构造函数，这是首选方式。