c++：函数 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++ 中仍然成立。如果您的编译器如您在第一种情况下描述的那样抱怨，则它不符合要求。

为了解释您的第二种情况，了解实际发生的情况很重要。数组类型的表达式可以隐式转换为相应的指针类型，即：T[n] -> T*。但是，如果T 本身是一个数组，则不会对这种情况进行特殊处理，并且数组到指针的衰减不会传播。所以T*[n] 衰减为T**，但T[x][y] 只会衰减为T[y]*，不会再进一步​​了。

从实现的角度来看，这是有道理的，因为如果允许进一步衰减，将给出T**，它是指向指针的指针；而 2D C 数组没有实现为锯齿状数组（即指向数组的指针数组） - 它们形成一个连续的内存块。所以，没有T*“内部”数组可以获取地址给你T**。对于允许的情况，典型的实现简单地将数组的地址作为一个整体，并将其转换为指向单个元素的指针类型（当所有类型的底层指针表示相同时，通常情况下，这种转换是运行时无操作）。

这里的规范参考是ISO C++03, 4.2[conv.array]/1：

“N T 的数组”或“T 的未知边界数组”类型的左值或右值可以转换为“指向 T 的指针”类型的右值。结果是指向数组第一个元素的指针。

Answer 2

void f2(char* p[]){

编译器抱怨“cannot convert char (*)[] to char**...”

奇怪。 char(*)[] 是指向字符数组的指针，但在您的代码 sn-p 中，函数有 char *p[] 参数，这意味着指向字符数组的指针！这些类型确实不同（因为数组元素的大小不同），更不用说你的代码 sn-p 完美编译了。你真的拼错了什么。

福尔摩斯模式：还是涉及到 typedef？ ;-)

void f1(char** p){;}

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

这确实无法编译并产生您提到的错误。