为什么它有效?
#include <stdio.h>
int main(){
int *p1[1] = {2018};
char *p2[1] = {"abcd"};
p1[0] = p2[0];
printf("%s\n\n", p1[0]); /* выводит abcd */
return 0;
}
我们正在创建一个包含一个元素的数组,它是一个指向 int 的指针。如果有强制类型转换为 char*,那么为什么会在不丢失信息的情况下发生这种情况?
值得注意的是,您的代码中绝对没有任何内容与数组有任何基本联系。这里的数组完全没用,不会影响任何东西。为什么您使用大小为 1 的数组而不是常规变量尚不清楚。
下一步:您的代码不“工作”。它的行为是未定义的,因为它不是一个有效的 C 程序。
int *
这是用整数值初始化类型指针的尝试2018
。这是违反约束的,即 错误。这不受标准 C 语言的支持。这种类型转换需要显式类型转换(casting)。这是将类型指针分配给类型
char *
变量的尝试int *
。这是违反约束的,即 错误。这不受标准 C 语言的支持。这种类型转换需要显式类型转换(casting)。格式说明符
%s
需要一个类型参数char *
。你已经转移了int *
。行为未定义。您的编译器向您报告了这些违规行为,但您显然忽略了编译器的诊断消息。无论您的编译器是否同意“编译”此代码,该程序都不是用 C 编写的,并且它的行为也不是由 C 以任何方式指定的。
养成首先在在线标记的 GCC 编译器中检查代码的习惯,
-pedantic-errors
许多无意义的问题会自行消失http://coliru.stacked-crooked.com/a/823471ccc0b42efa
除了前面的答案,我想说的是,当你写代码时:
然后 printf 打印从当前位置(地址 p1[0])直到命中的所有字节的值
\0
。说明%s
符不检查指定地址处的内容,这意味着输出直到零字节的所有内容。因此,如果您更改分配,那么一切都会正常工作,但它将不再显示abcd
,而是某种胆鸟,其中前 4 个字符将始终相同(这个数字是 2018 - 它当然会显示,而不是一个数字,但它的字节的值),其余的 - 它们的数量可以不同,它们可以包含任何东西。赋值中没有类型转换
p1[0] = p2[0];
,所以不会丢失信息。只是一个指针被复制到另一个指针中。由于两个指针都是 4 个字节(如果平台是 64 位,则为 8 个字节),没有问题。在输出行中,我们说 printf - 获取指针处的值并将其视为字符串(因为%s
)并打印。并没有什么奇怪的。只是C是一种允许很多“自由”的语言。“正确的编译器”必须在两个(或者更确切地说,四个)位置敲击手指。