MISRA C++:2008 Rule 8-3-1

Parameters in an overriding virtual function shall either use the same default arguments as the function they override, or else shall not specify any default arguments.

説明

ルール定義

Parameters in an overriding virtual function shall either use the same default arguments as the function they override, or else shall not specify any default arguments. ¹

根拠

バーチャル関数の既定のパラメーターが、オーバーライド関数でのパラメーターと異なる場合、その関数を階層の異なるクラスを使用して呼び出すと、関数呼び出しで異なる値が使用されます。このような動作は、クラス階層で予期される動作ではありません。次のクラス階層について考えます。

class Base{
public:
virtual foo(int x = 0);
//...
};

class Derived: public Base{
public:
virtual foo(int x = 1) override; //Noncompliant

};

バーチャル関数 foo() の既定のパラメーターは、base::foo() または Derived::foo() のどちらが呼び出されるかによって異なります。これは予期しない動作であり、予期しない結果につながる可能性があります。

Polyspace 実装

オーバーライド元のバーチャル関数の既定のパラメーターが、その関数がオーバーライドするバーチャル関数のパラメーターとは異なる場合、Polyspace^® はこのルールの違反を報告します。既定のパラメーターを指定しないことはこのルールに準拠しているため、オーバーライド元のバーチャル関数が既定のパラメーターを指定していない場合、Polyspace は違反を報告しません。

トラブルシューティング

ルール違反が想定されるものの、Polyspace から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

例

クラス階層で同じバーチャル関数に異なる既定のパラメーターを指定しない

次の例では、バーチャル関数 myDerivedClass<T>::function() が myClass<T>::function() をオーバーライドしますが、バーチャル関数の既定のパラメーターとこの関数のパラメーターは異なります。Polyspace はこのルールの違反を報告します。

template  <class T>
class myClass{
public:
virtual myClass<T> function(int val = 0);

};

template<class T>
class myDerivedClass: public myClass<T>{
	public:
	virtual myClass<T> function(int val = 10) override; //Noncompliant
	
};

void func(){
	myClass<int> a;
	myDerivedClass<float> b;
}

チェック情報

グループ: Declarators

カテゴリ: 必要

バージョン履歴

R2013b で導入

R2023b: 構成された既定のパラメーターが正しく検出される

バーチャル関数とオーバーライド関数の既定のパラメーターが、作成された同じオブジェクトである場合、違反が報告されなくなりました。

class bar {

public:
	bar(int, int);

};
class Base {
public:
	virtual foo(bar obj = bar(0, 0));
	//...
};

class Derived: public Base {
public:
	virtual foo(bar obj = bar(0, 0)) override; //Compliant

};

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

• コーディング規約違反のチェックおよびレビュー

---

¹ All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

• MISRA C:2004

• MISRA C:2012

• MISRA C:2023

• MISRA C++:2008

• MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.