C++：function arg char **はcharと同じではありません* []

Question

g ++を使用しています。私はmain(int,char**)のコードを使用していますので、私はそれを呼び出すことができます。私はShould I use char** argv or char* argv[] in C?を見て、char**はchar* []に相当すると言います。これは、C++関数呼び出しでは当てはまりません。たとえば：

void f1(char** p){;} 

void f2(char* p[]){ 

    f1(p); 

//...` 

} 

は、コンパイラが、私は配列はコールのためのポインタに変換されていることを言って見ての参照を「... char**から char (*)[]変換できません」文句で失敗しますが、これはそうではないようです次のようになります。

void f3(char* [] p); 

char caa[16][16]; 
f3(caa); 

も失敗します。インダイレクションのレベルが同じであれば（例えば、char*** ptrとchar[][][] carray）、タイプは互換性があると私は想定していました。

誰かがこれらの問題を明確にするために参照できる参考資料を提供できますか？

ありがとうございました。

Answer 1

これはC++でも同じです。コンパイラが最初のケースについて記述しているように文句を言うと、それは不適合です。

2番目のケースを説明するには、実際に何が起こったのかを理解することが重要です。配列型の式は、対応するポインタ型、すなわちT[n]->T*に暗黙的に変換可能です。しかし、T自体が配列の場合、このケースは特別に扱われず、配列からポインタへの減衰はを伝播しません。したがって、T*[n]はT**に減衰しますが、T[x][y]は、T[y]*までしか減衰しません。

実装上の観点からは、これは意味をなさない。なぜなら、許容されるならば、さらに崩壊するとポインタへのポインタであるT**となる。一方、2D C配列は、ギザギザの配列（すなわち、配列へのポインタの配列）として実装されておらず、単一の連続したメモリブロックを形成する。だから、の中に "T**"というアドレスを取る配列がありません。許容されるケースでは、典型的な実装では、配列のアドレスを全体として取り、それを単一要素へのポインタの型に変換します（通常の場合と同じように、すべての型のポインタ表現が同じ場合、実行時にno-op）。ここで

引用規格は、ISO C++ 03、4.2 [conv.array]/1：

An lvalue or rvalue of type “array of N T” or “array of unknown bound of T” can be converted to an rvalue of type “pointer to T.” The result is a pointer to the first element of the array.

Answer 2

void f2(char* p[]){ 

the compiler complaining " cannot convert char (*)[] to char**... "

奇妙。 char(*)[]はの文字配列へのポインタですが、コードスニペットにはchar *p[]引数があります。つまり、の文字配列を意味します。これらの型は実際には異なります（配列要素のサイズが異なるため）。コードスニペットは完全にコンパイルされるだけではありません。あなたは本当に何かスペルミスがあります。

シャーロックホームズモード：またはtypedefが関係していますか？ ;-)

void f1(char** p){;} 

typedef char type[]; 
void f2(type * p){ 
    f1(p); 
} 

これは実際にはコンパイルされず、参照したエラーが発生します。