为什么char a[]的a不能用a=“hello”来赋值?
问题
char* b里面的b是一个指向char的指针,而b可以用b=“hello”来复制。同样,a代表char数组的第一个元素的指针,类型应该也是char*,为什么b可以直接用赋值符号而a不可以呢?
回答
因为c的标准里并没有为在非初始化表达式中的这种写法增加一个额外的实现定义。所以给数组直接赋值会大概率被编译器解释为给一个常量(数组)赋值显然是不合法的。
但在变量定义阶段
char a[]=“hello”;这种写法是没问题的,数组长度和初始化方式都有明确定义。
但如果你自己写c编译器,我个人认为实现
char a[6];
a=“hello”;
这种编译器拓展应该难度不大,我暂时没发现别的问题(左值右值类型确定,长度确定,安全性问题(越界)可查,也没发现会导致什么歧义),可能有别的考虑,也可能是没啥必要懒得实现,毕竟只是一个没多大必要的语法糖。
这里面有两个问题。一个别人基本都已经说了,就是指针和数组是两种不同的类型。虽然一个数组变量可以退化(decay)成为一个指针(给别人用),但数组毕竟不是一个指针,对指针有效的赋值语句对数组就无效了。
另外一个问题实际也值得深究,就是 C 里面的数组实际上是不能相互赋值的。如果你有两个相同类型的数组,如
char a[6] = "Hello";
char b[6];
你是不能用 b = a;
来进行拷贝的。这实际上是个语言的设计问题,C 语言里作出了这样的决定,估计是怕指针的赋值和数组的赋值如果形式相同太容易发生混淆吧。比较有趣的是,如果这样的数组放在结构体里面,那就可以赋值了。
C++ 里为了向后兼容性,C 风格数组仍然跟 C 的规则相同。但是,最好知道,C++ 标准库里的 array
是可以赋值的。即下面的代码可以通过编译:
#include <array>
…
std::array<char, 6> a{"Hello"};
std::array<char, 6> b;
b = a;
这样就直观多了。要访问指针的话,则需显式写出类似 a.data()
这样的代码。