为什么 char** 不能成为 C++ 中以下函数的返回类型？

Question

我在 C++ 中有以下函数：

char** f()
{
    char (*v)[10] = new char[5][10];
    return v;
}

Visual Studio 2008 说明如下：

error C2440: 'return' : cannot convert from 'char (*)[10]' to 'char **'

为了让这个函数工作，返回类型应该是什么？

Answer 1

char** 与char (*)[10] 的类型不同。这两种类型都是不兼容的类型，因此char (*)[10] 不能隐式转换为char**。因此编译错误。

函数的返回类型看起来很丑。你必须把它写成：

char (*f())[10]
{
    char (*v)[10] = new char[5][10];
    return v;
}

现在是compiles。

或者你可以使用typedef作为：

typedef char carr[10];

carr* f()
{
    char (*v)[10] = new char[5][10];
    return v;
}

Ideone.

---

基本上，char (*v)[10] 定义了一个指向大小为 10 的 char 数组的指针。它与以下相同：

 typedef char carr[10]; //carr is a char array of size 10

 carr *v; //v is a pointer to array of size 10

所以你的代码就变成这样了：

carr* f()
{
    carr *v = new carr[5];
    return v;
}

---

cdecl.org 在这里提供帮助：

• char v[10] 读作 declare v as array 10 of char
• char (*v)[10] 读作 declare v as pointer to array 10 of char

Answer 2

指向指针的指针与指向数组的指针不同。

^{（特别注意sizeof(*ptr1) 是sizeof(char)*6，而sizeof(*ptr3) 是sizeof(char*)——这对指针运算有严重的影响。）}

---

new char[5][10] 给你一个char (*)[10]（顺便说一句，它与函数指针完全无关），因为指针和字符在内存中以这种方式布局（我的第二个例子）。

这不与char**（代表不同的布局）相同，所以两者之间的转换没有意义；因此，它是不允许的。

所以你的函数的返回类型必须是char (*)[10]:

char (*f())[10] {
    char (*v)[10] = new char[5][10];
    return v;
}

当然，这真的很丑，所以你最好用std::vector<std::string>。

---

This FAQ entry 解释得最好，标题为“Conversions”。

Answer 3

因为char** 和char (*)[10] 是两种不同的类型。 char** 是指向指针的指针（指向 char），而 char (*)[10] 是指向 char 的数组（大小为 10）的指针。结果char**的移动步骤是sizeof(void *)字节，在win32平台上是4字节，char (*)[10]的移动步骤是sizeof(char) * 10字节。

示例

   char *c = NULL;
   char **v = &c;
   cout << typeid(v).name() << endl;
   cout << (void*)v << endl;
   v += 1;
   cout << (void*)v << endl;

   char d[10];
   char (*u)[10] = &d;
   cout << typeid(u).name() << endl;
   cout << (void*)u << endl;
   u += 1;
   cout << (void*)u << endl;

输出

char * *
0034FB1C
0034FB20
char (*)[10]
001AFC50
001AFC5A

要将char (*)[10]用作函数的返回类型（或作为函数的输入/输出参数），最简单且最易读的方法是使用typedef：

// read from inside-out: PTRTARR is a pointer, and, it points to an array, of chars.
typedef char (*PTRTARR)[10];

请注意，如果不小心，它很容易与 指针数组的typedef 混淆：

// operator[] has higher precedence than operator*,
// PTRARR is an array of pointers to char.
typedef char *PTRARR[10];

参考

Arrays and Pointers