C：声明一个指向常量字符数组的常量指针

Question

我试图理解数组声明、常量及其结果变量类型。

以下是允许的（我的编译器）：

      char s01[] = "abc" ;  // typeof(s01) = char*
const char s02[] = "abc" ;  // typeof(s02) = const char* (== char const*)
char const s03[] = "abc" ;  // typeof(s03) = char const* (== const char*)

或者，我们可以手动声明数组大小：

      char s04[4] = "abc" ;  // typeof(s04) = char*
const char s05[4] = "abc" ;  // typeof(s05) = const char* (== char const*)
char const s06[4] = "abc" ;  // typeof(s06) = char const* (== const char*)

如何获取 const char* const 类型的结果变量？以下是不允许的（我的编译器）：

const char s07 const[] = "abc" ;
char const s08 const[] = "abc" ;
const char s09[] const = "abc" ;
char const s10[] const = "abc" ;
const char s11 const[4] = "abc" ;
char const s12 const[4] = "abc" ;
const char s13[4] const = "abc" ;
char const s14[4] const = "abc" ;

谢谢

Answer 1

const char *const s15 = "abc";

Answer 2

您的第一个 typeof 评论并不正确。 s01 的类型为 char [4]，s02 和 s03 的类型为 const字符[4]。当在表达式中使用且不是 & 或 sizeof 运算符的主语时，它们将计算为 char * 和 char * 类型的右值code>const char * 分别指向数组的第一个元素。

你不能以这样的方式声明它们：它们会衰减到本身是 const 限定的右值；拥有 const 限定的右值实际上没有任何意义，因为无法分配右值。这就像说您想要一个 const int 类型的 5 常量，而不是 int 类型。

Answer 3

s01 等并不是真正的指针类型，它们是数组类型。从这个意义上说，它们的行为有点像 const 指针（例如，您不能重新分配 s01 来指向其他地方）。

Answer 4

使用cdecl：

cdecl> declare foo as constant pointer to array of constant char
Warning: Unsupported in C -- 'Pointer to array of unspecified dimension'
        (maybe you mean "pointer to object")
const char (* const foo)[]
cdecl> declare foo as constant pointer to array 4 of constant char
const char (* const foo)[3]
cdecl> declare foo as constant pointer to constant char
const char * const foo

C中很少使用指向数组的指针；通常 API 函数需要一个指向第一个元素的指针。