関数がアドレスを要求しているのにポインタを実引数として与えたら実行されるのはなぜか?

Question

実現したいこと

配列aとbに共通して含まれる文字列をすべて表示するプログラムを作成しています.

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

プログラムはうまく作動するのですが、関数はアドレスを要求しているのにポインタ渡しても動くんですか?
int compare(char p[], char q[]){→暗黙の型変換によりint compare(char *p, char *q){となり宣言時にはアドレスとなっているので関数の仮引数はアドレスを要求しており、char a[NUMBER_A][8] = {"red", "green", "blue"}; char b[NUMBER_B][8] = {"green", "yellow", "red", "purple"};と配列で宣言しているのでこの宣言以外では配列名を使うとそれはアドレスを示していてつまり配列名を実引数とすればいいのでは?と今頭の中で解釈しているんですが、それは違うんですか?

該当のソースコード

#include <stdio.h>
#define NUMBER_A 3
#define NUMBER_B 4

int compare(char p[], char q[]){
while (*p != '\0' || *q != '\0'){
      if (*p++ != *q++)
    return 0;
    }
  return 1;
}

int main(void)
{
    char a[NUMBER_A][8] = {"red", "green", "blue"};
    char b[NUMBER_B][8] = {"green", "yellow", "red", "purple"};
    for (int i = 0; i < NUMBER_A; i++){
        for (int j = 0; j < NUMBER_B; j++){
            if (compare(*(a + i),*(b + j)) == 1)
            printf("%s\n",*(a + i));
        }        
    }
    
    

    return 0;
}

試したこと

ある学校の問題でif (compare(①,②) == ③),printf("%s\n",①);と空白を埋める問題でもともとアドレスを要求しているしていると思って(a + i)と(b + j)と空白を埋めて実行したのですがエラーが出てしまってもしかしたら二次元配列だから型がちがうのかなーと思って質問しています.

補足情報（FW/ツールのバージョンなど）

gdbオンラインで実行しています.

Comments

[yuuuuuu_1216]

int compare(char p[], char q[]){→暗黙の型変換によりint compare(char *p, char *q){となり宣言時にはアドレスとなっているので関数の仮引数はアドレスを要求しており、char a[NUMBER_A][8] = {"red", "green", "blue"};
char b[NUMBER_B][8] = {"green", "yellow", "red", "purple"};と配列で宣言しているのでこの宣言以外では配列名を使うとそれはアドレスを示していてつまり配列名を実引数とすればいいのでは?と今頭の中で解釈しているんですが、それは違うんですか?

[jimbe]

質問に対する追記は、質問本文を修正されたほうが良いと思います。

[thkana]

> エラーが出てしまって動かなくて
もしかしてC++としてコンパイルしているとか? (それが悪いとはいいませんが、もしそうならそうしていることは認識していたほうがよいかと思います)
Cとしては、特に警告をエラーにするようなオプションを指定していなければ、「警告」にはなりますが動作するはずです。

Answer 1

まず、エラーメッセージを読み、それを理解しましょう。

プログラムはうまく作動するのですが、関数はアドレスを要求しているのにポインタ渡しても動くんですか?

アドレスを格納している変数をポインタと呼びます

Answer 2

すでに指摘がありますが、ポインタはアドレスを値として持つ変数です。アドレスを要求しているところにポインタを与えるのは正しいことです...が、ポインタはまた指す先の型の情報をも持っていますから、型が一致するためにはそちらの型もあっていなければいけません。

char a[NUMBER_A][8]; と宣言したとき、aが単独で記述れるとchar (*)[8]型、char8要素の配列へのポインタと解釈されます。これを、char*型を期待しているところに与えれば、型が異なりますからCはポインタ型の違いに鷹揚なので警告なるだけかも知れません(警告も出ないかも知れない)し、C++では型に厳密なのでエラーになります。(a+i)としても型は変わらないので話は一緒。
これを*a (あるいは*(a+i) )としたならば、aはchar8要素の配列へのポインタでしたからその参照しているも、つまりchar8要素の配列となり、値が配列そのものですからこれは配列の先頭要素へのポインタつまり&a[0][0](あるいは&a[i][0])という解釈され、つまりchar*型ですから期待される引数と型が一致します。

もちろん、char8要素の配列の格納されているアドレス(a+i)とchar８要素の配列の先頭要素が格納されているアドレス*(a+i)は結局同じアドレスを指しますから、エラーにさえならなければ動作はどちらでも変わらない、ということにはなります。

Answer 3

#include <stdio.h>
#define NUMBER_A 3
#define NUMBER_B 4

int compare(char p[], char q[]){
  while (*p != '\0' || *q != '\0'){
      if (*p++ != *q++) return 0;
  }
  return 1;
}

int main(void) {
    char a[NUMBER_A][8] = {"red", "green", "blue"};
    char b[NUMBER_B][8] = {"green", "yellow", "red", "purple"};
    for (int i = 0; i < NUMBER_A; i++){
        for (int j = 0; j < NUMBER_B; j++){
            if ( compare(a[i], b[j]) == 1 ) // char a[][] なんだから a[] は char[] (bも同様)
            printf("a[%d] == b[%d] : %s\n",i, j, a[i]);
        }        
    }
    return 0;
}