このCコードがなぜ機能するのかについての説明

Question

私は今日C言語を学んでいます。私は管理された言語（Java、C＃、Pythonなど）でしばらく前からコーディングしてきました。私はポインタの詳細を理解していると思っていましたが、次に期待どおりに動作する次のコードを書きましたが、互換性のないポインタ型の警告が生成されました。

void setText(char* output) { 
    //code to set output to whatever, no problems here. 
} 

int main(int argc, const char* argv[]) { 
    char output[10]; 

    setText(&output); 

    //[EDITED] ...other test code which printf's and further manipulates output. 

    return 0; 
} 

だから私はGoogleで検索し、警告を処分した

setText(output); 

にライン

setText(&output); 

を変えてしまいました。しかし、今私はなぜ最初のものが全く働いているのか分かりません。私は（char * xはchar x [];と本質的に同じなので）私が知る限りではアドレスのアドレスを送っていました。私は何を誤解していますか、なぜこれらの両方が機能しますか？

Answer 1

outputのタイプは、（第二の変形が動作する理由である）関数呼び出しのコンテキストでchar *に減衰する、char [10]あります。

&outputのタイプはchar (*)[10]であり、つまり配列へのポインタです。これは同じことではないため、コンパイラの警告です。しかし、の値がの&output（アドレス）はoutputの値に相当します（一旦それがchar *に減衰した場合）ので、最終結果は「期待どおり」です。

これはpedantryのように聞こえるかもしれませんが、かなり大きな違いがあります。以下を試してください：

void foo(const char *p) 
{ 
    printf("%s\n", p); 
} 

int main(void) 
{ 
    char output[][6] = { "Hello", "world" }; 

    foo(output[0] + 1); 
    foo(&output[0] + 1); 
} 

推奨読書は、the C FAQ on arrays and pointers、特に質問6.3と6.12です。