AIZU ONLINE JUDGE[ITP1_6_B]の回答

Question

AIZU ONLINE JUDGEのITP1_6_Bについて質問です。

こちらの問題、下記のコードでは受理されるのですが

#include <iostream>
using namespace std;

int main(){
   int n, b;
   bool cards[4][14];
   char a;
   
   for(int i = 0; i < 4; i++){
       for(int j = 0; j < 15; j++){
           cards[i][j] = false;
       }
   }
   
   cin >> n;
    for(int i = 0; i < n; i++){
       cin >> a >> b;
       if (a == 'S') cards[0][b] = true;
       if (a == 'H') cards[1][b] = true;
       if (a == 'C') cards[2][b] = true;
       if (a == 'D') cards[3][b] = true;
    }
    
    for(int i = 0; i < 4; i++){
       for(int j = 1; j<= 13; j++){
            if(cards[i][j] == false){
                if( i == 0)   a = 'S';
                if( i == 1)   a = 'H';
                if( i == 2)   a = 'C';
                if( i == 3)   a = 'D';
            cout << a << " " << j << endl;
            }
            else continue;
       }
       
   }
   
   return 0;
}

 下記のように書き直すと、runtime errorになってしまいます。

#include <iostream>
using namespace std;

int main(){
   int n, b;
   bool cards[3][13];
   char a;

   for(int i = 0; i < 4; i++){
       for(int j = 0; j < 15; j++){
           cards[i][j] = false;
       }
   }

   cin >> n;
    for(int i = 0; i < n; i++){
       cin >> a >> b;
       if (a == 'S') cards[0][b] = true;
       if (a == 'H') cards[1][b] = true;
       if (a == 'C') cards[2][b] = true;
       if (a == 'D') cards[3][b] = true;
    }

    for(int i = 0; i < 4; i++){
       for(int j = 1; j<= 13; j++){
            if(cards[i][j] == false){
                if( i == 0)   a = 'S';
                if( i == 1)   a = 'H';
                if( i == 2)   a = 'C';
                if( i == 3)   a = 'D';
            cout << a << " " << j << endl;
            }
            else continue;
       }

   }

   return 0;
}

こちら、何故なのか知っている方がいたら教えていただきたいです。

よろしくお願いします。

Answer 1

OKの方とランタイムエラーになるNGの方のソースの違いは以下のように

$ diff ok.cpp ng.cpp
6c6
<    bool cards[4][14];
---
>    bool cards[3][13];

4種類の絵柄とそれぞれ13枚のカードが入り得る配列になっているか否か、です。

NGのコードの方では最初のfalseでの初期化部分でbool cards[3][14]に書き込みをし、領域外を破壊することとなり、初期化以降でもcards[3][...]相当の部分にアクセスする可能性があるので、実行時にエラー(ランタイムエラー)になってもおかしくないです。

...
for(int i = 0; i < 4; i++){
       for(int j = 0; j < 15; j++){
           cards[i][j] = false;
       }
   }
}
...

---

追記しました：

OKのコードについても初期化の部分で配列の範囲外cards[3][14]にアクセスしているので、最悪、実行時エラーが起きてもおかしくないです。正しくは以下のように修正すべきでしょう。

bool cards[4][14];
char a;
...
// 初期化の部分
for(int i = 0; i < 4; i++){
    // 「足りないカードを出力する部分」のやり方に沿ったループ(cards[i][0]は使わない)
    // 元のコード for(int j = 0; j < 15; j++){
    for(int j = 1; j <= 13; j++){
        cards[i][j] = false;
    }
}

// 足りないカードを出力する部分
for(int i = 0; i < 4; i++){
    for(int j = 1; j<= 13; j++){

...

Comments

[dodox86]

何となくですが、C言語/C++では配列の宣言でcard[4] としたときに添え字(インデックス)として0～3でアクセスするものを、NG版のようにcard[3]で宣言すると勘違いされているのかな、と思いました。

[KakiP]

こちらありがとうございます！
理解できました！