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(p) == 4, 因为sa的类型是char*,ia的类型是int*,p的类型是char*