==【注意】==
程序语言只是我们与计算机交流并让计算机实现我们创造性思想的工具,可以并鼓励深入掌握一门语言,但千万别沉迷于钻某种语言的牛角尖,一定要把握好二者间的度

本帖属不定时连载贴,以试卷的形式提出一个比较基础的问题供大家思考讨论,问题的解析将在下一更新贴中一并给出,这样做是希望还不清楚问题的朋友有自己思考和讨论的时间,希望大家能从这些帖子中有所收获。

贴中问题属我在学习C\C++过程中遇到的一些语法或者比较隐晦的程序问题,其中有自己的总结,也不乏网络上搜索到的经典解析,在此分享给大家,希望能起到抛砖引玉的作用

我已认真检查过自己的帖子,但难免有疏忽,如大家在阅读过程中仍发现有问题,请及时通知,我会及时更正,以免误导大家,万分感谢^_^



【No.8  常量指针与指针常量】

由于连载形式,每帖第二部分都配有上一问题的解答。为了保持帖子的针对性和一致性,此贴仅供交流讨论本次问题若大家对上一问题有任何疑问,请通过解答末尾的传送链接前往该问题贴回复讨论

[问题No.8]
请写出以下代码中每一行赋值语句的执行结果,如有编译错误的,请写明错误原因
复制内容到剪贴板
代码:
#include<iostream>
int main(int argc, char **argv)
{
  const char *str1 = "abc";
  char * const str2 = "abc";

  str1[1] = 'B';
  *str1[1] = 'B';
  *str1 = "ABC";
  str1 = "ABC";

  str2[1] = 'B';
  *str2[1] = 'B';
  *str2 = "ABC";
  str2 = "ABC";

  return EXIT_SUCCESS;
}
输出结果
【No.8 常量指针与指针常量】


问题浅析
复制内容到剪贴板
代码:
#include<iostream>
using namespace std;

//-------------------------------------------------
class Foo
{
  public:
    Foo(void)
    {
      cout<<"constructing..."<<endl;
      ++_counter;
    }
    Foo(const Foo &p)
    {
      cout<<"copy constructor..."<<endl;
      ++_counter;
    }
    ~Foo(void){ cout<<"destructing..."<<endl; }
  
  public:
    static int _counter;
};

int Foo::_counter = 0;

//---------------------------------------------
//注:带圈数字表示结果中的第n行
Foo global;  //①全局变量会自动初始化,调用一次构造函数
                   //显示constructing...
                   //  _count == 1

Foo Trap(Foo foo)  //③函数形参是值传递,因此需要复制对象,调用一次复制构造函数
                             //显示copy constructor...
                             //  _count == 3
{
  Foo local = foo;  //④构造local对象时,使用的是复制初始化,调用复制构造函数
                            //显示copy constructor...
                            //  _count == 4
  Foo *heap = new Foo(global);  //⑤通过直接复制方式在堆上new了一个匿名Foo对象
                                                 //并用heap指针指向该匿名对象
                                                  //显示copy constructor...
                                                  //  _count == 5

  *heap = local;  //这里调用的是Foo类的默认赋值操作符Foo& operator =(const Foo&)
                         //由于并没有创建任何对象,因此这里不会调用构造函数

  Foo pa[4] = { local, *heap };  //开辟了一个大小为4的Foo对象数组
                                             //⑥、⑦通过复制初始化用local、*heap对象初始化
                                             //pa[0]、pa[1]
                                             //显示copy cunstructing...
                                             //      copy cunstructing...
                                             //⑧、⑨剩下的两个元素使用默认构造函数进行初始化
                                             //显示constructing...
                                             //      constructing...
                                            //  _count == 9
                                             
  return *heap;  //⑩函数的返回类型为Foo对象的值,因此返回时将调用Foo类的
                        //复制构造函数,用*heap指向的对象,构造一个新的匿名对象用作返回
                        //显示copy cunstructing....
                        //  _count == 10
}
//第(11)(12)(13)(14)(15)(16)行
//函数返回,所有在函数中的局部Foo对象的生命周期已经到达尾声
//这些对象是:形参foo、局部变量local、局部数组中的四个元素
//显示destructing...
//      destructing...
//      destructing...
//      destructing...
//      destructing...
//      destructing...

int main(int argc, char **argv)
{
  Foo p;  //②创建一个对象,调用默认构造函数,显示constructing...
              //  _count == 2
  Trap(p);
  //(17)函数的返回值是一个匿名对象,此对象在函数返回后消亡
  //显示destructing...

  cout<<Foo::_counter<<endl;  //⑩⑧输出对象的个数10

  return EXIT_SUCCESS;
}//(19)、(20)main函数返回,程序结束,释放堆上的空间、释放全局变量空间
//由于函数Trap在堆上创建了一个Foo对象,此时释放
//显示destructing...
//      destructing...




     本文转自Bill_Hoo 51CTO博客,原文链接:http://blog.51cto.com/billhoo/733267,如需转载请自行联系原作者