if文内で変数を定義したらどうなるか

Question

前提・実現したいこと

C言語を習いたての者です。
今、グローバル変数とローカル変数、そして記憶寿命について学んでいます。
この変数の定義に関して正しく理解したい、また理解を深めたいと考えています。

試した内容

if文で定義をするとどうなるかが気になり以下のコードのように試しました。
すると、グローバル変数で定義された変数bを、新たに関数内でローカル変数bとして定義したにもかかわらず、
関数内でインクリメントされた変数bはグローバル変数に対してでありました。

何故if文の外では適用されなくなるのか、それが面白く興味を持っております。

これを応用して何かしたいというわけではなく
プログラムの仕様を理解するために知りたいという所存です。
よろしくお願いいたします。

該当のソースコード

``、c++
コード

#include <stdio.h>
int a = 0;
int b = 0;

void func(void)
{
	if (a == 2) {
		int b = 6;

		printf("variable b is %d\n", b);
	}

	a++;
	b++;

	printf("variable a is %d, variable b is %d\n", a, b);
}

/* define function "main" */
int main(void)
{
	int i;

	for (i = 0; i < 5; i++) {
		func();
	}

	return 0;
}

ここに問題に対して試したことを記載してください。
検索をしたところほかの言語で似たような試みをしているのを見かけました。
しかし、その言語が読めず、また結論も理解ができませんでした。

### 補足情報（FW/ツールのバージョンなど）
利用環境というものがよくわからないのですが、
visual stdio 2019を用いています。

ここにより詳細な情報を記載してください。

Answer 1

変数は、定義したところのカッコ｛｝内でしか有効ではありません
これを踏まえた上で、さて、

b++;

は、どこで定義したbでしょうかってはなしですね

Comments

[takaakira]

回答ありがとうございます！

Answer 2

int b = 6; ←　この変数bをスコープがブロック内（{}の内側）になるように定義してみた．
↓
ならば，当然，そのブロックの外側の
b++; ← このbが誰か？　と言われたら，この例では外部変数のbしかないわけで．

Comments

[fana]

寿命に関して言えば，
b++; の時点では，ローカルな側のbの寿命は既に尽きている．

[takaakira]

なるほど、スコープというものを正しく理解できていませんでした。
｛｝で定義をくくってしまったらその中でしかその定義は有効ではないということですね。
よくわかりました、ありがとうございます！！

Answer 3

既にfanaさんが回答されているので蛇足になってしまいますが、「変数のスコープ」を調べてみれば理解が深まると思います。

Comments

[takaakira]

はい、スコープに関して正しく理解できてませんでした。
｛｝はifが作用する範囲と思っていたのですが、intなどの変数にもこれが適用されるってことですね。
ありがとうございます！

[fana]

> ｛｝はifが作用する範囲

その辺の話は「C 複文」とかで調べると良いかもしれません．
（この例でのスコープについては，「ブロックスコープ」とか呼ぶのかな）

[takaakira]

あ、、、色々と勘違いしてました。。。

if文は自分でわかりやすいように複文と同じように｛｝で閉じてすべて記載していたのですが、｛｝で閉じるのが当たり前と認識してしまっていました。

あと、スコープは｛｝で閉じるとそこの中だけでしか有効にならないって事だと思っていたのですが、ブロックスコープっていうのは｛｝に関係しないんですね。

追加コメント感謝です！！

[thkana]

> if文は自分でわかりやすいように複文と同じように｛｝で閉じて
そもそもif文の要素に{ }なんてありません。ifと組で使われる{ }は複文と同じ、ではなく複文そのものです。

if文の構文は
if(式)文
で、文のところに「複数の文を{ }で囲むとひとつの文として扱う」複文を使うことがとても多い、というだけのことです。
ifやらforやらで文がひとつだと「{ }を省略できる」、なんていうのも同様に文法的な説明としては間違いです。実用上はそう思っていても乗り切れますが。

[takaakira]

なるほど
複文ってセットオプションのようなものではないんですね。
うーん、理解が難しい。。。
文法的に正しく覚えたかったので説明本当にありがとうございます！