const char数组名是函数中的const值吗？

void f(char s[]) {
  s++; // Why it works here?
}

void main() {
  char s[] = "abc";
  s++;  // wrong because it is a const value.
}

这是因为函数参数s不是字符数组,而是指向字符的指针.您无法将数组传递给函数.实际传递的是指向数组第一个元素的指针.在这种意义上,数组不是C语言中的第一类对象.因此,以下两个函数原型是等效的 –

void f(char s[]);
// equivalent to
void f(char *s);

这意味着s可以包含任何字符的地址.

void f(char s[]) {
  // s is a pointer to a character.
  // s++ is fine. evaluates to s and
  // makes s point to the next element
  // in the buffer s points to.
  s++; 
  return *s;
}

但是,以下语句将s定义为数组并使用字符串@L_489_8@对其进行初始化.

char s[] = "abc";

数组和指针是不同的类型.数组s绑定到堆栈上分配的内存位置.它不能反弹到不同的内存位置.请注意更改变量值和更改变量名称绑定的内存位置之间的区别.在上面的函数中,您只是更改s的内容,但s本身始终指的是在堆栈上分配的固定内存位置.

s++;  // in main

@H_270_5@main函数中的上述语句求值为数组s的基址,即& s [0],其副作用是改变s的内容.更改s的内容意味着将变量s绑定到不同的内存位置,这始终是一个错误.任何变量在其生命周期内始终引用相同的内存位置.然而,它的内容可以改变,但那是不同的.

int main(void) {
  // s is an array. Arrays and pointers are
  // different types. initialize s with the
  // characters in the literal "abc"

  char s[] = "abc";
  // equivalent to
  // char s[] = {'a','b','c','\0'};

  // illegal operation because s is an array.
  // s is bound to a fixed memory LOCATIOn and
  // cAnnot be changed.
  s++;
}