运算符继承和 cpp 核心准则 c.128 的问题

Problem with operator inheritance and cpp core guidelines c.128

本文关键字：问题 继承 cpp 核心 运算符      更新时间：2023-10-16

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

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

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

我怀疑在这种情况下的 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可以遵循零规则，并且不需要声明的任何复制/移动赋值运算符和复制/移动构造函数，这是首选方法。

基本上，为了覆盖任何方法，重写方法的签名需要与原始方法签名相同。但是，在您的情况下，签名SimpleState& operator=(const SimpleState&)与State& operator=(const State&)是不同的。因此，您不是重写原始方法，而是将该方法声明为重写，因此会出现错误。

相关文章：