一道C++的笔试题

今天看到一道C++的笔试题，感觉不错！记录一下。

    char str1[] = "abc"; 
    char str2[] = "abc"; 
    const char str3[] = "abc";  
    const char str4[] = "abc";  
    const char* str5 = "abc"; 
    const char* str6 = "abc"; 
    cout << (str1 == str2) << endl; //true or false  
    cout << (str3 == str4) << endl; 
    cout << (str5 == str6) << endl;

代码如上，给出打印结果。

        如果不了解数组与指针的区别的话，基本上答不出来这道题。下面我们来分析一下。

1. 1. “char str1[] = "abc";”的含义是定义一个char型数组str1，初始化为abc。"abc"是一个常量，应该保存在常量存储区。那么是不是str1就等于"abc"的地址呢？当然不是！str1是一个变量，保存在栈中，这句话的意思是在栈中申请大小为4的空间，保存"abc"（包括\0）。同理，“char str2[] = "abc";”也是在栈中申请了额外的空间保存"abc"，也就是说，现在有3个"abc"字符串，分别保存在栈中和常量存储区。那么我们应该清楚了，str1不等于str2。
   2. 对于“const char str3[] = "abc";”，大家千万别被const欺骗了。我们知道，使用const定义的变量一般是不分配内存的，而是保存在符号表中。但是对于const数组来讲，系统不确定符号表是否有足够的空间来存放const数组，所以还是为const数组分配内存的。所以str3指向的是栈上的"abc"。同理“const char str4[] = "abc";”也是一样。所以str3和str4不相同。
   3. 对于 “const char* str5 = "abc";”，str5是一个指针，保存在符号表上，指向的是常量存储区中的"abc"。“const char* str5 = "abc";”中str6也是指向常量存储区中的"abc"，所以str5等于str6。

        我还产生一个怀疑，就是我们看到的"abc"是否都是同一个"abc"。不妨试一试下面的代码：

    char str1[] = "abc"; 
    char str2[] = "abc"; 
    const char str3[] = "abc";  
    const char str4[] = "abc";  
    const char* str5 = "abc"; 
    const char* str6 = "abc"; 
    cout << (str1 == str2) << endl; //true or false  
    cout << (str3 == str4) << endl; 
    cout << (str5 == str6) << endl;  
    cout<<&("abc")<<endl;

打印结果是

我们再看看数组和指针的地址：

嗯，正好验证了我们的想法。str1、str2、str3、str4都是指向栈空间的，而且这些变量是连续分配的，从这我们也可以看出栈空间分配的策略。str5和str6指向相同的地址，都是常量"abc"的地址。

        好了，本文今天就写到这了。