为什么在增加数组名称时没有“需要左值”错误[重复]

Question

据我所知，你不能修改数组变量

这段代码怎么运行没有任何错误。 有什么我在这里想念的吗？ （这不是关于为什么会有 'L-VALUE REQUIRED' 错误，而是关于为什么没有。）

    #include<stdio.h>
int strlens(char *s);
void main(){
    char s[]="get me length of this string ";

    // s++ ; this would give 'L-VALUE REQUIRED ERROR'

    printf("%d",strlens(s));    
}
int strlens(char s[]){
    int i;
    for(i=0; *s!='\0';++i, ++s) ; //++s:  there is NO 'L-VALUE REQUIRED ERROR'
    return i;


}

Answer 1

对于经验丰富的 C 程序员来说，C 语言的一个怪癖是数组是“通过引用传递”的，但它却让新的 C 程序员无计可施。一般来说，大多数表达式中使用的数组名称会“衰减”到其第一个元素的地址。函数将这种情况带到了一个极端情况，其中函数参数中的数组语法实际上是指针类型本身的别名。

这在 c11 的 §6.7.6.3 函数声明符的第 7 段中有所描述：

将参数声明为“类型的数组”应调整为“限定指针 type''，其中类型限定符（如果有）是在 [ 和 ] 的 数组类型推导。

---

从历史上看，这个怪癖是为了保持与 C 的前辈 B 和 BCPL 的行为兼容性以及高效的结构布局。 C 的前身具有数组的语义，因为它的物理布局实际上是一个在运行时动态分配和初始化的指针。当传递给一个过程时，指针语义是一种自然的采用。 Dennis Ritchie 发明了允许数组语法表示数组实际地址的概念，然后在传递给函数时保持指针语义。因此，C 语言的发明者认为这个怪癖是解决现实世界问题（语义兼容性）的新方法。

参考资料： The Development of the C Language

Answer 2

这一行

char s[]="get me length of this string ";

定义一个字符数组。 s 不是一个指针，它计算为一个地址（例如，当提供给一个指针时，或者当访问像 s[i] 这样的值时，相当于*(s+i)），或者表示数组占用的空间（例如在@ 987654325@)

但是在这样的函数签名中

int strlens(char s[]){

char s[]等价于char *s，您可以将s 视为指针。

Answer 3

char arr[] = "asds"

在这里，arr 只是一个名称。它指的是内存位置，但不是指针。编译器直接替换使用arr 的地址。它不是指针，因为与指针不同，它没有分配任何空间来存储地址。它只是一个编译时符号。因此，在运行时没有什么可以做指针运算的。如果您必须增加某些内容，那么该内容应该在运行时存在。

更多详情：

基本上，文字“asds”存储在您的可执行文件中，编译器知道它的确切位置（好吧，编译器将它放在可执行文件中，所以它应该知道？）。

标识符arr 只是该位置的名称。如，arr 不是指针，即：它不存在于存储地址的内存中。

---

void func(char arr[])

在函数参数的情况下，arr 在运行时确实存在于内存中，因为参数在进行函数调用之前被压入调用堆栈。由于数组是通过引用传递的，因此实际参数的第一个元素的地址被压入调用堆栈。

因此，arr 在堆栈上分配了一些空间，用于存储实际数组第一个元素的地址。

现在你有了一个指针。因此，您可以递增（或对其进行任何指针运算）。