MISRA C++:2023 Rule 15.1.3

Conversion operators and constructors that are callable with a single argument shall be explicit

R2024b 以降

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

説明

ルール定義

Conversion operators and constructors that are callable with a single argument shall be explicit. 1

根拠

基本型の単一の引数で呼び出し可能なクラス コンストラクターおよび変換演算子は、コンパイラによって誤って呼び出され、基本型の変数がクラスに変換される可能性があります。このような暗黙的変換が予期しない場所で発生し、予期しない動作を引き起こす可能性があります。基本型の単一の引数で呼び出し可能なコンストラクターおよび変換演算子は、explicit として明示的に宣言してください。

Polyspace 実装

Polyspace® は、コンストラクターまたは変換演算子が以下のすべての条件を満たす場合に、このルールの違反を報告します。

  • コンストラクターまたは演算子で単一の引数、または既定の初期化が施されない 1 つの引数が使用されている。

  • 単一の引数または既定の初期化が施されない引数が、整数型、浮動小数点型、void 型などの基本型である。

  • コンストラクターまたは演算子が explicit として宣言されていない。

トラブルシューティング

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

例

すべて展開する

この例では、クラス MyClass で単一の整数で呼び出し可能なコンストラクターが使用されています。関数 foo() 内での func() の呼び出しにより、整数 5 が MyClass タイプのオブジェクトに変換されます。このような暗黙的変換は予期しない結果を引き起こす可能性があります。Polyspace は違反を報告します。

#include <iostream>

class MyClass {
public:
	MyClass(int x) : value(x) { //Noncompliant
		std::cout << "Constructor called with value: " << value << std::endl;
	}

private:
	int value;
};

void func(MyClass obj) {
	std::cout << "Function called with MyClass object." << std::endl;
}

void foo() {
	func(5); // Implicit conversion from int to MyClass
	//...
}

チェック情報

グループ: 特殊なメンバー関数
カテゴリ: 必要

バージョン履歴

R2024b で導入

参考

トピック

1 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.