char *exp="a+b"与char exp[]="a+b"区别及指针初始化数组问题

一、char *exp="a+b" 和 char exp[]="a+b" 的核心差异 #

两者本质是完全不同的内存对象，存储位置、可修改性、用法都有明显区别：

• 对于char *exp = "a+b"
  这里的"a+b"是字符串字面量，程序编译后会被存放到二进制文件的只读数据段（.rodata），运行时加载到只读内存页，整个程序生命周期内地址固定、内容不可修改。
  exp本身是一个独立的指针变量（局部变量时存放在栈上，64位系统占8字节、32位系统占4字节），存储的是字符串字面量的首地址。你可以修改指针本身的指向，比如exp = "x+y"是合法操作，只是让指针指向了另一个字符串字面量的地址；但如果尝试修改指针指向的内容，比如exp[0] = 'x'，会触发内存访问错误，属于未定义行为。

  注：严格来说字符串字面量的类型是const char*，C语言出于历史兼容允许直接赋值给char*，但实际开发中更推荐写const char *exp = "a+b"，避免误修改触发崩溃。

• 对于char exp[] = "a+b"
  这是标准的数组初始化语法：编译器会先计算字符串长度——a+b共3个有效字符加末尾的字符串结束符\0，总计4字节，随后在对应内存区（局部变量在栈上、全局变量在可读写数据段）开辟4字节的连续空间，把字符串字面量的内容逐字节拷贝到这块属于数组的内存中。
  exp是数组名，不是独立的指针变量，没有单独的存储空间存放地址，你无法给它重新赋值（比如写exp = "x+y"编译器会直接报错）。但数组所在的内存是可读写的，你可以随意修改数组内的元素，比如exp[0] = 'x'是完全合法的操作。

二、为什么不能用int *exp = [1,2,3]初始化整型指针 #

核心原因是：字符串字面量是C语言唯一自带的、可直接隐式转换为对应类型指针的匿名数组字面量，其他基础类型没有这个默认的语法糖。
具体拆解原因：

1. 首先你写的[1,2,3]本身就是非法语法。C语言中没有独立的方括号包裹的列表字面量，整型集合的初始化列表必须配合花括号、和数组定义绑定使用，正确的数组初始化写法是int exp[] = {1,2,3};。
2. 就算你把括号改对，写成int *exp = {1,2,3};也达不到预期效果。当初始化列表不用于初始化数组时，只会把列表第一个元素的值赋给左边的变量，也就是相当于把整数1当成内存地址赋值给指针exp，不仅类型不匹配会触发编译器警告，后续访问指针也必然触发内存错误。
3. 字符串字面量能直接给char*赋值，本质是因为"a+b"本身就是一个匿名的char[4]数组，C标准特殊规定它在表达式中会隐式退化为指向首元素的指针，和普通数组传参时的退化逻辑一致。其他类型如果想实现类似效果，在C99及以后版本可以用复合字面量语法：int *exp = (int[]){1,2,3};，这个写法下编译器会生成一个匿名的整型数组，把首地址赋给exp，逻辑上就和char*指向字符串字面量非常接近了。

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