4

const修飾子をメンバ関数につけた際のコンパイラの挙動について質問させてください。

class Test{
  public:
      int* i;
      Test(){
            i = new int[3];
      }   
      ~Test(){
            delete[] i;
      }   
      void change() const {
            i[0] += 1;
      }   
};

int main(){
      Test test;
      test.change();
      return 0;
}

上記のソースコードで、change()の中でメンバ変数iの変更を行っているため、コンパイルが通らないことを期待したのですが、問題なくコンパイルされてしまいました。
配列としてint i[3];と宣言するように変更すれば、const修飾子のせいでコンパイルが通らないことは分かったのですが、上記のコードでconst修飾子があるにも関わらずコンパイルが通ってしまう理由を教えていただけると有り難いです。

1 件の回答 1

6
class Test{
  public:
      int* i;

では、ポインタのiTestのメンバーですが、iが指している先のメモリはTestのメンバーではありません。したがってconstの範囲外です。iが指しているメモリ自体を入れ替えようとすると、コンパイルエラーになります。

  // コンパイルエラー
  void change() const {
        delete [] i;
        i = new int[3];
  } 

一方

class Test{
  public:
      int i[3];

とすると、iの配列の領域はTestの一部として配置されるので、配列全体がTestのメンバーです。なので当然constで保護されます。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。