警告：“int *”的初始化从'整数'将数组分配给 int 指针时，无需强制转换即可从整数生成指针

Question

我正在研究指针，这就是我学到的：-

int a = 23;
int *ptr = &a;

char b = 'b';
char *pnt = &b;

char *str = "string";

分配给指针的值是一个地址。所以我不能做 int *ptr = 7; 或 char *k = 'c';。但我可以这样做 char *str = "string"; 因为“string”不是一个字符，而是一些字符值的数组，因为字符和指针彼此非常相似，所以在上面的代码中如果我打印 printf("%p", str); 应该打印保存在 str 中的地址，该地址应该是字符串 的起始地址的地址（这是我想知道的第一部分我是对还是错）

所以在另一种方法是执行 char *str = "string"; 我只是创建一个字符数组，例如 {'s','t','r','i','n ','g'}。 （也许这听起来很愚蠢，但事实就是如此） 所以我想为什么不尝试 char *str = {'s','t','r','i ','n','g'};，我认为 printf("%p\n", str) 将再次给出字符串的起始地址，但在获得一些奇怪的值之后并运行 printf("%c", str) 返回's'我发现它给出了数组的第一个元素而不是地址。我尝试了与 int 数组相同的操作，并注意到一条警告说

int *array = {1,2,3};

警告：从“int”初始化“int *”会使指针来自整数而无需强制转换

根据我对此的理解，编译器将 {1,2,3} 视为 int 而不是数组，我不确定为什么，但如果我显式地转换它运行良好，如int *array = (int[]){1,2,3}。我不确定为什么我需要明确告知，但我认为这就是编译器

• 在执行 int *array = {1,2,3}; 后看到的方式编译器正在获取 {1,2 的地址,3}。
• 但是当编译器看到该地址有一个 int 时，它只读取该 int
• 并且编译器将其视为 int *array = 1 而不是 int *array = {1,2,3}< /code>

我不知道我的理论是否正确。如果没有，我想知道为什么会发生这种情况以及为什么执行 char *str = "string" 不需要任何转换。

Answer 1

在 C 中，字符串文字具有字符数组类型。例如，字符串文字 "string" 作为 char[7] 类型的以下数组存储在内存中：

{ 's', 't', 'r', 'i', 'n', 'g', '\0' }

您可以使用以下调用来检查这一点

printf( "sizeof( \"string\" ) = %zu\n", sizeof( "string" ) );

：很少有例外的表达式会隐式转换为指向其第一个元素的指针。

来自 C 标准（6.3.2.1 左值、数组和函数指示符）

3 除非它是 sizeof 运算符或一元 & 的操作数。
运算符，或者是用于初始化数组的字符串文字，
具有“类型数组”类型的表达式被转换为
类型为“指向类型的指针”的表达式，指向初始值
数组对象的元素并且不是左值。如果数组对象
有寄存器存储类，行为未定义

因此在此声明中，

char *str = "string";

与编译器存储的字符串文字对应的数组（通常在字符串文字池中）将转换为指向其第一个元素的指针，并将指针的值分配给标量对象str。

str 不是数组。 str 是一个指针。

上述声明也可以按以下方式重写

char *str = &"string"[0];

。此声明

char *str = {'s','t','r','i','n','g'};

是不正确的。标量对象可以通过仅包含一个赋值表达式的花括号列表来初始化。

来自 C 标准（6.7.9 初始化）

11 标量的初始值设定项应为单个表达式，
可选择用大括号括起来。该对象的初始值为
表达式的（转换后）；相同的类型约束和
与简单赋值一样的转换适用，采用的类型
标量是其声明类型的非限定版本。

例如，您可以这样写：

char *str = { ( 's','t','r','i','n','g' )};

在这种情况下，大括号内有一个带有逗号运算符的主表达式。事实上，这个声明相当于

char *str = { 'g' };

，编译器将发出一条消息，表明您正在尝试用整数初始化指针。

在这个声明中

int *array = (int[]){1,2,3};

没有强制转换。构造 (int[]){1,2,3} 表示 int[3] 类型的复合文字，并且再次表示该数组的第一个元素的地址被分配给指针数组。

您可以通过以下方式想象上述声明

int compound_literal[] = { 1, 2, 3 };
int *array = compound_literal;