c++ 宣言二回すると動作が変わる なぜ

Question

実現したいこと

宣言を二回したことによって、なぜ動作が変わるのか知りたい。

前提

atcoder typical contest 001 a 幅優先探索を解いていると一部のテストケースで不正解となった。ここで、start_i j のintを外すと正解になった。

発生している問題・エラーメッセージ

一部の問題において不正解となる.

該当のソースコード

#include <iostream>
#include <vector>
using namespace std;
int dx[4] = { -1, 0, 1, 0};
int dy[4] = { 0, 1, 0, -1};


vector<vector<bool>> seen(1000, vector<bool>(1000, false));
bool search(int i, int j, int H , int W,vector<vector<char>>& c) {
    seen[i][j] = true;
    for (int k = 0; k < 4; k++) {
          int ni = i + dx[k];
          int nj = j + dy[k];
            if (ni >= 0 && ni < H && nj >= 0 && nj < W) {
                if (c[ni][nj] == '.' && !seen[ni][nj]) {
                    if (search(ni, nj,H,W,c)) {
                        return true;
                    }
                }
                if (c[ni][nj] == 'g') {
                    return true;
                }
        }
           
    }
    return false;
}
int main() {
    int H, W;
    cin >> H >> W;
      vector<vector<char>> c(H, vector<char>(W));
     int start_i, start_j;
    for (int i = 0; i < H; i++) {
        for (int j = 0; j < W; j++) {

            cin >> c[i][j];
                 if (c[i][j] == 's') {
             //ここのint
                int start_i = i;
                int start_j = j;
        }
    }
    }

 
    if (search(start_i, start_j,H,W,c)){
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
    return 0;
}

試したこと

いろいろ宣言の位置を変えたりしたが、原因はわからなかった。ｘ

Comments

[hoshi-takanori]

int を付けるとブロックスコープの変数宣言になるからですね。
https://programming-place.net/ppp/contents/c/022.html#block_scope

Answer 1

簡単に言うと、最初の定義の変数と、後の定義の変数は別モノになるから、です
変数は定義されたカッコ内だけでしか有効ではありません

Answer 2

スコープが異なれば別モノになる。
なぜ? 仕様だから。

int x; // このx と
for ( int i = 0; i < 10; ++i ) {
  int x = i * i; // このx は別モノ
}