C言語 配列ポインタ型の引数と同名の配列を関数内で再定義することについて

Question

前提・実現したいこと

　C言語初心者です。
ポインタと再帰の勉強のため、配列ポインタを引数として受け取り、同名の配列を関数内で定義して引数の配列をコピーしてその配列の先頭のポインタを表示した後再びその関数を呼び出すvoid operator()関数を作成しました（コード１）。引数の配列ポインタ名と同名の配列を関数内で再定義していますが、プログラムはエラーなく動作して配列のポインタを返します（結果１）。
しかしこのコードを改変して、配列ポインタを引数として受け取り関数内で同名の配列を定義してポインタを返すコード（コード２）を実行すると
redefinition of 'result' with a different type: 'int [20]' vs 'int *' int result[20];
とエラーがでます。引数名と同じ変数名を同じ関数内で定義しているのでエラーがでるのは納得できるのですが、なぜコード１はエラーを返さず動作するのでしょうか？

（コード１）
#include <stdio.h>

void operator(int result[],int n)
{
if(n>0){
int result[5];
for(int i=0;i<5;i++) result[i]=result[i];
printf("result:%p\n",result);
n--;
operator(result,n);
}

}

int main(void){
int result[5];
int i;
for(i=0;i<5;i++){result[i]=0;}
operator(result,10);
return 0;

}

（結果１）
result:0x7ffdd0abb830
result:0x7ffdd0abb800
result:0x7ffdd0abb7d0
result:0x7ffdd0abb7a0
result:0x7ffdd0abb770
result:0x7ffdd0abb740
result:0x7ffdd0abb710
result:0x7ffdd0abb6e0
result:0x7ffdd0abb6b0
result:0x7ffdd0abb680

（コード２）
#include <stdio.h>

void operator(int result[])
{

int result[5];
for(int i=0;i<5;i++) result[i]=result[i];
printf("result:%p\n",result);

}

int main(void){
int result[5];
int i;
for(i=0;i<5;i++){result[i]=0;}
operator(result);
return 0;

}

（コード２に対するエラーメッセージ）
Main.c:6:9: error: redefinition of 'result' with a different type: 'int [5]' vs 'int *'
int result[5];
^
Main.c:3:19: note: previous definition is here
void operator(int result[])
^
1 error generated.

実行環境はpaiza ioというオンライン実行環境です。
よろしくお願いいたします。

Comments

[LouiS0616]

質問を編集し、次の画像のようにコードブロックを適用して下さい。
https://teratail.storage.googleapis.com/uploads/contributed_images/4c6e48a3bd0707d89f61b901fd1f8915.gif

Answer 1

スコープが違います.

コード1の int result[5] は if の {} の中にあります.
ですので, この {} 内に限り result という名前の変数は全てこの宣言の変数となり, パラメータの result は見えなくなります.
従いまして, for で行っているのは パラメータからのコピーではありません.

Comments

[rubato6809]

> for で行っているのは パラメータからのコピーではありません

その if 文中に割り当てた配列から読みだした値を、まだ同じ場所に書き戻している格好なので、何も変化しない・無意味な処理になっています。従って最適化を深くかけると for 文ごと無視されて、何もコードが生成されない可能性があります。

おそらくここが質問者にとって重大な誤解になっていると思います。

[qazwsx_0000]

条件文のスコープを理解していませんでした。
回答ありがとうございました。