同じ変数名の多重定義を許可したくない

Question

質問

forループを書くとforの反復として使う変数iだけでなくその他変数名もforループ内で重複して定義できます。
プログラムミス（バグ）が生まれる可能性が高いのでC#のようにエラー（※画像1）を出したいのですがVisual Studioにどのような設定を行えばよいでしょうか。

また、C++はなぜこのような厄介なプログラムのミス（バグ）に繋がりそうな仕様を認めてしまったのでしょうか…

画像1. C#のエラー

プログラム

int main()
{
  for (int i = 0; i < 10; i++)
  {
    for (int i = 0; i< 10; i++)
    {
      printf("%d", i);
    }
    printf("★%d\n", i);
  }
}

###出力結果
Visual Studio 2017(v141)とgcc 5.4.0で同じ出力結果が確認できました。

0123456789★0
0123456789★1
0123456789★2
0123456789★3
0123456789★4
0123456789★5
0123456789★6
0123456789★7
0123456789★8
0123456789★9

Answer 1

プロジェクトの構成プロパティ->C/C++->コマンドラインの追加のオプションに/we4456を追加することでC4456警告のみをエラーとして扱えます。

ビルド結果例

1>------ ビルド開始: プロジェクト:CppApp1, 構成:Debug Win32 ------
1>stdafx.cpp
1>CppApp1.cpp
1>～\cppapp1.cpp(11): error C4456: 'i' を宣言すると、以前のローカル宣言が隠蔽されます
1>～\\cppapp1.cpp(9): note: 'i' の宣言を確認してください
1>プロジェクト "CppApp1.vcxproj" のビルドが終了しました -- 失敗。
========== ビルド: 0 正常終了、1 失敗、0 更新不要、0 スキップ ==========

参考：
Compiler Warnings C4400 Through C4599
/w、/Wn、/WX、/Wall、/wln、/wdn、/wen、/won (警告レベル)

Comments

[aglkjggg]

ありがとうございます。
やりたいことが実現できました。

※毎回ダイアログから操作するのも面倒なのでメモ。
// エラーにする
#pragma warning(error:4456)

// 警告にする
#pragma warning(1:4456)

[can110]

よかったです。たしかに#pragmaでやったほうが簡単ですね。

Answer 2

C# でも 6.0 からできるようになりました。

C# 6 の新機能

ところが、C# 6では、この前半のような判定は、大変な割にメリットが少ないということで、判定しない(エラーにならない)よう変更されました。

Comments

[aglkjggg]

返信ありがとうございます。
C#はC++に比べるととても厳しい制約がつけられていた時があり、C#6で少し緩和されたのですね…
今知りました＞＜

Answer 3

C++はなぜこのような厄介なプログラムのミス（バグ）に繋がりそうな仕様を...

これは誰しも気づいたとき「そっかー」と感じた経験があるのではないかと思います。
ただ本件については若干微妙な問題にも思えます。epistemeさんがおっしゃっているようなコードをあえて書きたくなる場合もあるような。

(もちろんIDEのチェック機構を使って明示的に厳しい方向へ制限するという対処はよいと思います。)

逆にC#でもラムダ記法などで充分小さなスコープが多数出現するようなケースでは、スコープを区別できることが容易であるにもかかわらず「この変数名は使えない」と言われることのほうが使いずらいと感じます。微妙な例ではありますが、以下のようなケースだと自分のコードがよくないのかC#が厳しいのか迷うことがあります。Zuishinさんのコメントを拝見するとこれはC#6だと許されるようになったんですね...

List<int> l1 = ...
List<List<int>> l2 = ...
l1.Select(i => l2[i].Select(i => i+1)...);
                            ^

Scalaなどはlambdaを多用するせいか、ちょっとでもスコープが変われば文句はいわれないようです。一般的に本件の仕様として何がよいのかは、それぞれの言語の記述能力やプログラミングのスタイルなどにも影響されるのではないかと、そんなことを感じました。

Answer 4

以下のようなコードもバグを生みがちなので許すべきではない、と仰ってます?

{
    int i;
    {
        int i;
        ...
    }
}

Comments

[aglkjggg]

はい。
変数名が同じでブロックが深くなるとわかりづらくなるので、そのように考えておりました。

しかし、よく考えるとブロック内で同じ名前の変数を定義してもブロック外の同じ名前の変数に影響がないので特に問題が無いかも知れませんね…。

いい反例が思いつきませんでした＞＜

私自身最近C#ばかり書いていて、C++が久しぶりだったので言語の違いで違和感を感じてただけかもしれません…