char[N] 与 char *

Question

谁能告诉我为什么下面的代码会出现编译错误？

struct Foo {
  char m_p[8];
  inline operator char *() const { return m_p; }
};

在 GCC 4.5 中，我收到以下消息：

错误：“const”的转换无效 字符*'到'字符*'

而 Digital Mars 编译器对此没有问题。

编辑：下面列出的答案提到了函数的 const 限定符。我真正不明白的是为什么下面的代码没有这样的问题：

struct Foo2 {
  char *m_p;
  inline operator char *() const { return m_p; }
};

Answer 1

由于该运算符是 const 函数，因此 this 及其所有成员 (m_p) 都应该是 const。所以m_p的类型是const char[8]。它不能隐式转换为 char*，因为 const 性质将会丢失。转换为 const char* 就可以了。

您可以让它返回 const char*

 inline operator const char *() const { return m_p; }

或删除 const 限定符

 inline operator char *() { return m_p; }

或提供这两种方法。

数字火星在这里是错误的。或者也许您需要启用一些警告。

Answer 2

因为在函数内（const 限定）数组的类型是 const char[8]，并且无法转换为 char*，只能转换为 >const char*。

要么放弃函数上的 const 限定，要么将其添加到返回类型中。另外，内联在这里是多余的，因为类定义中定义的成员无论如何都是隐式内联的。

Answer 3

char m_p[8] 和 char *m_p 之间的区别在于，前者是对象的一部分，当从 const 限定方法访问时，它将变成 const。对于指针，它指向其他地方，您可以从 const 限定方法返回它，而无需强制它为 const。

Answer 4

您的运算符被标记为 const，因此它获得一个 const this 指针。这意味着您尝试通过 this 指针访问的 struct 的任何字段实际上都是 const （因为它是通过const-path)，因此当您执行 return m_p; 时，m_p 会衰减为 const char *，其中turn 无法转换为 char *（运算符的返回类型），因为删除 const 修饰符需要 const_cast。

长话短说：如果您希望该运算符为 const，则返回类型必须为 const char *，否则您会遇到 const 的情况 方法（=>可以在 const 对象上调用）能够让调用者修改该对象（通过返回的非 const 指针） ）即使这应该被 const 禁止。