MISRA C++:2008 Rule 1-0-1

All code shall conform to ISO/IEC 14882:2003 "The C++ Standard Incorporating Technical Corrigendum 1".

説明

ルール定義

All code shall conform to ISO/IEC 14882:2003 "The C++ Standard Incorporating Technical Corrigendum 1". ¹

根拠

MISRA™ C++:2008 ガイドラインは C++03 標準 (ISO/IEC 14882:2003) に基づいています。この標準の対象外である言語拡張については、これらのガイドラインでは取り扱われていません。安全なコーディング手法として MISRA C++:2008 ガイドラインに従う場合、C++03 標準に準拠したコードのみを使用して、すべてのコードがガイドラインの対象となるようにする必要があります。

Polyspace 実装

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

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

トラブルシューティング

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

例

すべて展開する

C++11 機能の使用


class A
{
  public:
    virtual int foo(int x) = 0; 
};

class B: public A
{
   public:
     int foo(double x) override {  }; // Noncompliant
};

この例では、C++11 以降でのみサポートされている override 指定子を使用しています。このルール違反は、次のコンパイルエラーとして報告されます。


Expected a ";"

これは、コンパイラが、宣言 void foo(double x) 内の閉じかっこの後にはセミコロンが続くと想定していることを意味します。

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 イディオムを使用すれば、例外が存在する場合でもリソースを解放できます。

チェック情報

グループ: General

カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

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

トピック

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

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.