C++编程思想上有这么一段话(P126)：  
  =========================================================================  
  const可以用于集合，但编译器不能把一个集合存放在它的符号表里，所以必须分配内存。在这种情况下，const意味着“不能改变的一块存储”。然而，其值在编译时不能被使用，因为编译器在编译时不需要知道存储的内容。这样，我们不能写：  
  //:CONSTAG.CPP   --   Constants   and   aggregates  
   
  const   int   i[]={1,2,3,4};  
  //!float   f[i[3]];//Illegal  
   
  =========================================================================  
  我是这样理解这段话的，float   f[i[3]];这句语句非法，是因为数组常量区别于普通常量，普通常量存放在符号表中而不是内存中，而数组常量就存放在内存中，因为它存放在内存中，所以编译器编译的时候不能知道其值，这就是我的问题所在，存放在内存中的内容编译器就不能在编译的时候知晓吗？那么下面的现象作何解释呢：  
  #include   <iostream.h>  
  int   max(int,int);  
  void   main()  
  {  
          int   a,b;  
          a=2,b=3;               //C中不允许这种写法，C中可以写成int   a=2,b=3;运行通过。  
          int   i=max(a,b);//用函数来初始化变量  
          cout<<i<<endl;  
  }  
  int   max(int   a,int   b)  
  {  
          return   (a>b)?a:b;  
  }  
  为什么可以用函数值来初始化变量呢？函数也是存放在内存中的啊，编译的时候编译器又是怎么知道函数的值的呢，还有，不管是在C编译器上还是C++编译器上，我发现都可以用简单的表达式来初始化变量，这些该作何解释??？

那段话的意思是说编译器在编译时i[3]的值它是不知道的，因此它就无法为数组f分配内存，所以float   f[i[3]]是非法的。  
   
  而i=max(a,b)，编译时是不知道max(a,b)的值是多少的，但因为i既然定义为int型变量而不是数组，编译器当然知道该为i分配多大的内存。

你的说法并不矛盾。：），编译器看到int   i=max(a,b)时，他首先会检查max的返回值是否  
  能转换为int,然后再检查a,b的参数是否型别和声明的相符，当然还得检查max的实作语法，但这只限于文本方式的检查，所以变异可以通过。  
  还有就是如果声明float   f[i[3]]，这个在vc里面不能用，但在gcc里面可以。  
 

第一个问题：  
  ==========  
   
  首先不管你给的那段文字表达些什么意思。对于指针或都是数组之类的东西，编译器一般都不作过深入的检测，也就是说它对指针指的是什么东西，或者数组下标对应的值是些什么东西，值为什么一率不关心。  
   
  我们知道，声明一个数组，在编译期间是一定要能确定其大小的。假如像你做的那样：  
   
  float   f[i[3]];    
   
  相当于:  
   
  const   int   size   =   i[   3   ];       //   size   的值在编译器间是不能确的。  
  float   f[   size   ];         //   这里要声明一个未知大小的数组。:(  
   
  你说能不错吗？关于数组的其实还可以引出其它的一些话题，譬如对象数组不能支持多态等。既然是写C++程序，我们就多用   vector   少用   数组   吧。vector   更安全