AUTOSAR C++14 Rule A13-5-1

If "operator[]" is to be overloaded with a non-const version, const version shall also be implemented

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

説明

ルール定義

"operator[]" を非 const バージョンでオーバーロードする必要がある場合は、const バージョンも実装するものとします。

根拠

通常は、クラスに含まれる配列または同様の構造体の個別の要素への読み取りアクセスと書き込みアクセスを提供するために、サブスクリプト演算子 operator[] をオーバーロードします。operator[] の非 const オーバーロードを実装する場合は、このオーバーロードの const バージョンも実装する必要があります。そうしなかった場合は、operator[] を使用して const オブジェクトの要素を読み取ることができません。

このルールでは、読み取り専用アクセスのための operator[] の const オーバーロードの実装を、対応する非 const オーバーロードなしで許可します。

Polyspace 実装

Polyspace® は、メンバー関数の対応する const バージョンが実装されていない場合に、非 const メンバー関数の定義にフラグを設定します。

トラブルシューティング

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

例

すべて展開する

#include <memory>
#include <iostream>

class MyList
{
private:
    static constexpr std::int32_t maxSize = 10;
    std::int32_t container[maxSize];

public:
    std::int32_t& operator[](std::int32_t index) //compliant, non-const version
    {
        return container[index];
    }
    const std::int32_t& operator[](std::int32_t index) const //compliant, const version
    {
        return container[index];
    }
};

class MyList_nc
{
private:
    static constexpr std::int32_t maxSize = 10;
    std::int32_t container[maxSize];

public:
    std::int32_t& operator[](std::int32_t index) //non-compliant, non-const version only
    {
        return container[index];
    }

};

void func() noexcept
{
    MyList list;
    list[2] = 3; // Uses non-const version of operator[]
    std::cout << list[2] << std::endl;

    const MyList clist = {};
    std::cout << clist[2] << std::endl; // Uses const version of operator[]


}

この例では、クラス MyList 内の operator[] のオーバーロードがこのルールに従っています。これは、オーバーロードの const バージョンと非 const バージョンの両方が実装されているためです。クラス MyList_nc では、メンバー関数がこのルールに従っていません。これは、非 const バージョンしか実装されていないためです。

チェック情報

グループ: オーバーロード
カテゴリ: Required、Automated

バージョン履歴

R2020a で導入

参考

トピック