const的思考[3]

           const int c3 = 7;           // ???
       static int c4 = 7;          // ???
       static const float c5 = 7;  // ???
          ......
  };
         你认为上面的3句对吗？呵呵，都不对！使用这种类内部的初始化语法的时候，常量必须是被一个常量表达式初始化的整型或枚举类型，而且必须是static和const形式。这显然是一个很严重的限制！
         那么，我们的标准委员会为什么做这样的规定呢？一般来说，类在一个头文件中被声明，而头文件被包含到许多互相调用的单元去。但是，为了避免复杂的编译器规则，c++要求每一个对象只有一个单独的定义。如果c++允许在类内部定义一个和对象一样占据内存的实体的话，这种规则就被破坏了。
    （4）如何初始化类内部的常量？
         一种方法就是static 和 const 并用，在内部初始化，如上面的例子；
         另一个很常见的方法就是初始化列表：
         class a
         {
          public:
                a(int i=0):test(i) {}
          private:
                const int i;
          }；
          还有一种方式就是在外部初始化，例如：
         class a
         {
          public:
                a() {}
          private:
                static const int i;  file://注意必须是静态的！
          }；
          const int a::i=3;
     （5）常量与数组的组合有什么特殊吗？
          我们给出下面的代码：
           const int size[3]={10,20,50};
           int array[size[2]];
           有什么问题吗？对了，编译通不过！为什么呢？
           const可以用于集合，但编译器不能把一个集合存放在它的符号表里，所以必须分配内存。在这种情况下，const意味着“不能改变的一块存储”。然而，其值在编译时不能被使用，因为编译器在编译时不需要知道存储的内容。自然，作为数组的大小就不行了：）
         你再看看下面的例子：
          class a
         {
          public:
                a(int i=0):test[2]({1,2}) {} file://你认为行吗？
          private:
                const int test[2];
          }；
         vc6下编译通不过，为什么呢？
         关于这个问题，前些时间，njboy问我是怎么回事？我反问他：“你认为呢？”他想了想，给出了一下解释，大家可以看看：我们知道编译器堆初始化列表的操作是在构造函数之内，显式调用可用代码之前，初始化的次序依据数据声明的次序。初始化时机应该没有什么问题，那么就只有是编译器对数组做了什么手脚！其实做什么手脚，我也不知道，我只好对他进行猜测：编译器搜索到test发现是一个非静态的数组，于是，为他分配内存空间，这里需要注意了，它应该是一下分配完，并非先分配test[0],然后利用初始化列表初始化，再分配test[1],这就导致数组的初始化实际上是赋值！然而，常量不允许赋值，所以无法通过。
        呵呵，看了这一段冠冕堂皇的话，真让我笑死了！njboy别怪我揭你短呀：）我对此的解释是这样的：c++标准有一个规定，不允许无序对象在类内部初始化，数组显然是一个无序的，所以这样的初始化是错误的！对于他，只能在类的外部进行初始化，如果想让它通过，只需要声明为静态的，然后初始化。
         这里我们看到，常量与数组的组合没有什么特殊！一切都是数组惹的祸！
   （6）this指针是不是const类型的？
        this指针是一个很重要的概念，那该如何理解她呢？也许这个话题太大了，那我们缩小一些：this指针是个什么类型的？这要看具体情况：如果在非const成员函数中，this指针只是一个类类型的；如果在const成员函数中，this指针是一个const类类型的；如果在volatile成员函数中,this指针就是一个volatile类类型的。
   （7）const到底是不是一个重载的参考对象？
        先看一下下面的例子：
        class a
         {
           ......
           void f(int i)       {......} file://一个函数