转C语言中，为什么字符串可以赋值给字符指针变量

本文是通过几篇转帖的文章整理而成的，内容稍有修改：
一、
C语言中，为什么字符串可以赋值给字符指针变量
char *p,a=‘5’;
p=&a; //显然是正确的，
p=“abcd”; //但为什么也可以这样赋值？？
问：一直理解不了为什么可以将字串常量赋值给字符指针变量，请各位指点！

答：
双引号做了3件事：
1.申请了空间(在常量区)，存放了字符串
2. 在字符串尾加上了’/0’
3.返回地址

你这里就是 返回的地址 赋值给了 p

二、
char *p = “hello”;

上边的表达式为什么可以，而把p换成数组，然后再赋值就不行了

解释：

字符串常量"hello"出现在一个表达式中时，"hello"表达式使用的值就是这些字符所存储的地址（在常量区），而不是这些字符本身。

所以，可以把字符串赋值给指向字符的指针p，而不能把字符串赋值给一个字符数组。

char a[10] = “hello”; //这样可以，这种情况是c语言初始化所支持的

如果写成char a[10]

然后 a = “hello” 这样就错误了。

同样是a数组，char a[10] = “hello”;这种是数组的初始化，和a[0] = ‘h’ a[1] = ‘e’…是一个道理

但是换成char a [10]

然后a = “hello”就不行了 “hello”赋值的值是一个地址，而a虽然也有地址，但是这与指针是不一样的，指针的值是地址，而数组的值虽然也是地址，但是却是一个常量，所以不能给常量赋值。

代码测试

#include <stdio.h>

int main()

{

   char *p = "hello";

   printf("%s",p);

   char a[10];

   a = "hello";

   return 0;

}

error C2440: ‘=’ : cannot convert from ‘char [6]’ to ‘char [10]’

    There is no context in which this conversion is possible

看到这样的错误提示，你是否会想到把char a[10]改成char a[6]呢

试一下，

error C2106: ‘=’ : left operand must be l-value

运算符的左边应该是一个“左值”。所谓“左值”就是指在程序中占用内存空间、可以被修改的量,比如各种变量。

继续扩展问题：

在使用指针的时候，指针可以自增，而数组不能自增

编译器给数组分配了空间，数组a的地址就是一个常量了，让常量自增这肯定是不行的。

继续扩展：

  在指针自增的时候，编译器会自动识别类型，比如指针是指向int型的，想获取下一个的地址时，指针直接p++就行了，不要多此一举的p+4了

  特别需要注意的是，在void指针使用的时候，不能使用指针运算，应为void型编译器不能识别类型的长度（即指针所指对象的体积），p++这样就是不合法的，即不能进行数学运算，也不能使用*取值操作，想使用必须转换为其它的类型

三、

标题：对字符数组，字符指针，字符串常量
原帖地址：http://anypath.blog.sohu.com/25069424.html
1.以字符串形式出现的，编译器都会为该字符串自动添加一个0作为结束符，如在代码中写
“abc”,那么编译器帮你存储的是"abc\0"

2."abc"是常量吗？答案是有时是，有时不是。

不是常量的情况：“abc"作为字符数组初始值的时候就不是，如
char str[] = “abc”;
因为定义的是一个字符数组，所以就相当于定义了一些空间来存放"abc”，而又因为
字符数组就是把字符一个一个地存放的，所以编译器把这个语句解析为
char str[3] = {‘a’,‘b’,‘c’};
又根据上面的总结1，所以char str[] = “abc”;的最终结果是
char str[4] = {‘a’,‘b’,‘c’,’\0’};
做一下扩展，如果char str[] = “abc”;是在函数内部写的话，那么这里
的"abc\0"因为不是常量，所以应该被放在栈上。

是常量的情况： 把"abc"赋给一个字符指针变量时，如
char* ptr = “abc”;
因为定义的是一个普通字符指针，并没有定义空间来存放"abc"，所以编译器得帮我们
找地方来放"abc"，显然，把这里的"abc"当成常量并把它放到程序的常量区是编译器
最合适的选择。所以尽管ptr的类型不是const char*，并且ptr[0] = ‘x’;也能编译
通过，但是执行ptr[0] = ‘x’;就会发生运行时异常，因为这个语句试图去修改程序
常量区中的东西。
记得哪本书中曾经说过char* ptr = “abc”;这种写法原来在c++标准中是不允许的，
但是因为这种写法在c中实在是太多了，为了兼容c，不允许也得允许。虽然允许，
但是建议的写法应该是const char* ptr = “abc”;这样如果后面写ptr[0] = 'x’的
话编译器就不会让它编译通过，也就避免了上面说的运行时异常。
又扩展一下，如果char* ptr = “abc”;写在函数体内，那么虽然这里的"abc\0"被
放在常量区中，但是ptr本身只是一个普通的指针变量，所以ptr是被放在栈上的，
只不过是它所指向的东西被放在常量区罢了。

3.数组的类型是由该数组所存放的东西的类型以及数组本身的大小决定的。
如char s1[3]和char s2[4]，s1的类型就是char[3]，s2的类型就是char[4]，
也就是说尽管s1和s2都是字符数组，但两者的类型却是不同的。

4.字符串常量的类型可以理解为相应字符常量数组的类型，
如"abcdef"的类型就可以看成是const char[7]

5.sizeof是用来求类型的字节数的。如int a;那么无论sizeof(int)或者是sizeof(a)都
是等于4，因为sizeof(a)其实就是sizeof(type of a)

6.对于函数参数列表中的以数组类型书写的形式参数，编译器把其解释为普通
的指针类型，如对于void func(char sa[100],int ia[20],char p)
则sa的类型为char，ia的类型为int*，p的类型为char*

7.根据上面的总结，来实战一下：
对于char str[] = “abcdef”;就有sizeof(str) == 7,因为str的类型是char[7]，
也有sizeof(“abcdef”) == 7，因为"abcdef"的类型是const char[7]。
对于char ptr = “abcdef”;就有sizeof(ptr) == 4，因为ptr的类型是char。
对于char str2[10] = “abcdef”;就有sizeof(str2) == 10，因为str2的类型是char[10]。
对于void func(char sa[100],int ia[20],char p);
就有sizeof(sa) == sizeof(ia) == sizeof§ == 4，
因为sa的类型是char， ia的类型是int*，p的类型是char*。