AUTOSAR C++14 Rule A0-1-2

The value returned by a function having a non-void return type that is not an overloaded operator shall be used

このページをすべて展開する

説明

ルール定義

The value returned by a function having a non-void return type that is not an overloaded operator shall be used.

根拠

未使用の戻り値はコーディングエラーまたは見落としを示している可能性があります。

オーバーロードされた演算子は、その使用法として、戻り値を使用しない場合がある組み込み演算子をエミュレートしなければならないため、このルールから除外されます。

Polyspace 実装

ルールチェッカーは、戻り値が使用されない場合や void 型に明示的にキャストされない場合に、void 以外の戻り値の型で関数に対する違反を報告します。

ただし、関数の memcpy、memset、memmove、strcpy、strncpy、strcat、strncat は、最初の引数へのポインターを返すだけなので、フラグは設定されません。

トラブルシューティング

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

例

すべて展開する

使用されない戻り値

#include <iostream>
#include <new>
#include <algorithm>
#include <cstdint>
#include <vector>

int assignMemory(int * ptr){
     int res = 1;
     ptr = new (std::nothrow) int;
     if(ptr==NULL) {
         res = 0;
     }
     return res;
}
void foo()
{


}

void main() {
	int val;
	int status;
	std::vector<std::int8_t> numVec{10,10,20,20,30,40,50,50,60};

	assignMemory(&val);   //Noncompliant
	status = assignMemory(&val); //Compliant
	(void)assignMemory(&val); //Compliant

	numVec.erase(std::unique(numVec.begin(), numVec.end()), numVec.end());// Noncompliant
}

この例では、Polyspace が、戻り値が使用されない関数に対する呼び出しにフラグを設定します。

main が関数 assignMemory に対する最初の呼び出しの戻り値を使用しないため、Polyspace は違反を報告します。
assignMemory に対する 2 回目の呼び出しの戻り値はローカル変数に代入されるため、このルールに準拠しています。
assignMemory に対する 3 回目の呼び出しは void にキャストされるため、このルールに準拠しています。
main が関数 std::vector::erase() から返されるオブジェクトを使用しないため、Polyspace は違反を報告します。

チェック情報

グループ: 言語に依存しない問題

カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

すべて展開する

R2023a: フラグが設定される、使用されない戻り値の種類が増えた

ルールチェッカーは、次の場合にこのルールの違反を報告します。

関数が void でオーバーロードされたテンプレートのインスタンス化を返し、返されたこのオブジェクトが未使用のままになる場合。次のコードでは、void でオーバーロードされたテンプレート object から生成されたオブジェクトを、関数 foo() が返します。返されたこのオブジェクトは使用されないため、Polyspace は違反を報告します。
```
template<typename T, typename I = int>
class object{};


template<typename I>
class object<void,I> final{
	object(){}
	~object();};

object<void> foo();
void bar(){
	foo(); //Noncompliant
	
}
```
関数が、未使用のままになる参照を返す場合。たとえば次のコードでは、関数 A::func() が参照を返します。
```
class A {
	A &func() {};
};

void foo() {
	A a;
	a.func(); //Noncompliant
}
```
関数 foo() では A::func() から返された参照が使用されないため、Polyspace は違反を報告します。

参考

AUTOSAR C++14 をチェック (-autosar-cpp14)

トピック

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