Exponenta Banner
exponenta event banner

AUTOSAR C++14 Rule A10-3-2

Каждая переопределяющая виртуальная функция должна быть объявлена с переопределением или конечным спецификатором

развернуть все на странице

Описание

Определение правила

Каждая переопределяющая виртуальная функция должна быть объявлена с переопределением или конечным спецификатором.

Объяснение

Виртуальные функции реализуют полиморфное поведение в иерархии классов. Как только вы объявляете функцию как virtual в базовом классе все образцы функции с идентичным списком параметров в производных классах неявно переопределяют базовую функцию. Если вы полагаетесь на это неявное действие компилятора для реализации полиморфных функций, это может привести к ошибкам. Для образца:

  • Функция может стать непреднамеренно virtual поскольку его сигнатура соответствует виртуальной функции в базовом классе.

  • Функция может стать непреднамеренно невирусной, потому что в списке параметров есть различия.

Неявное объявление переопределяющих виртуальных функций также может затруднить чтение кода.

Чтобы избежать непреднамеренных ошибок и улучшить читаемость, используйте спецификаторы override и final явным образом в каждом объявлении переопределяющих функций.

Реализация Polyspace

Polyspace® помечает объявления virtual функции, если все эти операторы true:

  • Функция находится в производном классе.

  • Подпись функции совпадает с подписью виртуальной функции в базовом классе.

  • В объявлении функции отсутствует спецификатор override или final.

Поиск и устранение проблем

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

Примеры

расширить все

#include <cstdint>
class Base
{
public:
	virtual ~Base() {}
	virtual void F() noexcept = 0;
	virtual void G() noexcept {}
	virtual void Z() noexcept {}
	virtual Base& operator+=(Base const& oth) = 0;
};
class Derived1 : public Base
{
public:
	~Derived1() override {}                         //Compliant
	void F() noexcept{}                             //Noncompliant
	virtual void G() noexcept {}                    //Noncompliant
	void Z() noexcept override {}                   // Compliant
	Derived1& operator+=(Base const& oth) override  // Compliant
	{
		return *this;
	}
};
class Derived2 : public Base
{
public:
	~Derived2() {}                                  //  Noncompliant
	void F() noexcept override {}                   //  Compliant
	void G() noexcept override {}                   //  Compliant
	void Z() noexcept override {}                   //  Compliant
	Derived2& operator+=(Base const& oth)           //  Noncompliant
	{                                               
		return *this;                          
	}                                             
};                                                  
class Derived3 : public Base                        
{                                                   
	void F() noexcept override;                     // Compliant 
};

main(){
	
}

  • Объявление функции Derived::F() помечен, потому что его подпись соответствует подписи Base::F() и его декларация не содержит override или final.

  • Объявление функции Derived::G() помечен, потому что его подпись соответствует подписи Base::G() и его декларация не содержит override или final, даже если в объявлении используется спецификатор virtual.

  • Объявление функции Derived3::F() в классах Derived3 не помечен, поскольку в объявлении используется спецификатор override.

Проверяйте информацию

Группа: Производные классы
Категория: Необходимый, Автоматизированный

См. также

Темы

Введенный в R2020a

Документация Polyspace Bug Finder

Поддержка