为何这段C语言指针代码能正常运行？

先看你的代码：

//array of string 
#include<stdio.h>
#include<stdlib.h>
void main(){
    char **strarray;
    int arraylengh=10;
    strarray = malloc(sizeof(char *) * arraylengh);
    strarray[4]="ddddd";
    printf("%s ", strarray[4]);
}

下面分点解答你的疑惑：

1. malloc无需强制类型转换的原因 #

在C语言标准中，malloc返回void*类型指针，而void*可以隐式转换为任意其他指针类型（包括char**）。所以你直接将malloc的返回值赋值给strarray是完全合法的，不需要额外的强制类型转换。

反而强制转换可能掩盖潜在问题——比如如果忘记包含stdlib.h，编译器会默认把malloc当成返回int的函数，这时候强制转换会把错误的int值转成指针，导致程序崩溃。

2. 直接赋值"ddddd"能正常输出的原因 #

你觉得strarray[4]该赋值指针，但实际上你已经这么做了——字符串字面量"ddddd"本身就代表指向该字符串首字符的指针。

具体逻辑：

• 当你写"ddddd"时，编译器会在程序的只读数据段中创建一个长度为6的char数组（5个'd'加1个结束符\0）。
• 在表达式中使用这个字符串字面量时，它会自动转换成指向数组第一个元素（也就是第一个'd'）的char*类型指针。
• strarray[4]的类型是char*（因为strarray是char**，strarray[4]等价于*(strarray + 4)，是一个char*），所以这个赋值是类型匹配的。
• 最后printf("%s", strarray[4])时，%s格式符会从传入的指针地址开始，逐个打印字符直到遇到\0，自然就能输出"ddddd"。

注意事项 #

字符串字面量是只读的，如果你尝试修改它的内容（比如strarray[4][0] = 'D'），会触发未定义行为，程序可能崩溃或出现异常结果。

内容的提问来源于stack exchange，提问作者Usama