MISRA C++:2023 Rule 4.1.1

A program shall conform to ISO/IEC 14882:2017 (C++17)

R2024b 以降

説明

ルール定義

A program shall conform to ISO/IEC 14882:2017 (C++17). ¹

根拠

MISRA™ C++:2023 ガイドラインは C++17 標準 (ISO/IEC 14882:2017) に基づいています。この標準の対象外である言語拡張については、これらのガイドラインでは取り扱われていません。安全かつ確実なコーディングのために MISRA C++:2023 ガイドラインに従っていれば、コーディングは、ガイドラインの基となっている C++17 標準に準拠していることになります。

Polyspace 実装

ルールチェッカーは、C++17 標準に厳密には含まれていない言語拡張を報告します。これらの拡張は、より新しい標準に含まれているか、GCC や Microsoft^® Visual C++^® などの特定の方言に含まれている場合があります。このルール違反は、厳密な C++17 コンパイラで報告されるのと同様に、コンパイルエラーとして報告されます。

このルールを効果的に使用するためには、必ず Polyspace^® Bug Finder™ 解析で C++17 標準を有効にしてください。詳細については、C++ 標準バージョン (-cpp-version) を参照してください。

トラブルシューティング

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

例

すべて展開する

C++ 言語拡張の使用

void AccessMemory() {
    int* ptr = nullptr; // Intentionally creating a null pointer

    __try {  // Noncompliant 
        *ptr = 42; // This line will cause an access violation exception
    }
    __finally {
        // Code here is executed whether an exception occurred or not
        if (AbnormalTermination()) {
            // Code here is executed if the try block threw an exception
        } else {
            // Code here is executed on success
        }
    }
}

この例では、Microsoft Visual C++ 言語の拡張である __try および __finally を使用しているため、ルールに違反します。代わりに、標準の C++ try-catch メカニズムを使用して例外をキャッチできます。また、C++ RAII イディオムを使用すれば、例外が存在する場合でもリソースを解放できます。

チェック情報

グループ: 一般的な原則

カテゴリ: 必要

バージョン履歴

R2024b で導入

参考

MISRA C++:2023 のチェック (-misra-cpp-2023)

トピック

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

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.