Exponenta Banner
exponenta event banner

AUTOSAR C++14 Rule A10-3-3

Виртуальные функции не должны быть введены в итоговом классе

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

Описание

Управляйте определением

Виртуальные функции не должны быть введены в итоговом классе.

Объяснение

Объявление функции как virtual указывает, что вы намереваетесь заменить функцию в производном классе с различной реализацией. Та же функция может затем взаимодействовать по-другому с различными классами иерархии. Когда вы явным образом задаете класс как final, вы не можете вывести класс из него. Поскольку вы не можете вывести классы из final класс, не вводите виртуальные функции в final класс. Задайте все виртуальные функции в final класс при помощи спецификатора final.

Реализация Polyspace

Polyspace® отмечает объявление виртуальных функций в final класс. Polyspace не отмечает виртуальные функции в итоговом классе, который использует спецификаторы override final или virtual final.

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

#include <cstdint>
class Base
{
public:
	virtual ~Base() = default;
	virtual void F() noexcept = 0;
	virtual void G() noexcept {/*...*/}
	virtual void Y() noexcept {/*...*/}
};
class Derived final : public Base
{
public:

	void G() noexcept override{/*...*/} //Noncompliant
	virtual void Z() noexcept{/*...*/}  //Noncompliant
	virtual void H() noexcept = 0;    //Noncompliant
	void F() noexcept final{/*...*/}    //Compliant
	void Y() noexcept override final{/*...*/}    //Compliant
};

Функции Derived::G(), Derived::Z(), и Derived::H() virtual функции, которые не заданы как final. Их объявления указывают, что некоторые функции в производном классе могут заменить эти функции. Класс Derived задан как final. Таким образом, от этого класса нет никаких производных классов. Объявления Derived::G(), Derived::Z(), и Derived::H() противоречивы с объявлением их класса Derived. Polyspace отмечает объявления функций. Функции Derived::F() и Derived::Y() объявляются как final. Они объявление выполняют это правило.

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

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

Смотрите также

Темы

Введенный в R2020a

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

Поддержка