1.逗号(,)和加号(+)都是运算符,为什么逗号,不可以编译期间确定?加号+却可以?int a[2,3];错误! int a[2+3];正确!

Answer:加号""是一个运算符(operator),但是逗号""却有两种用法。第一种用法是作为分隔符(separator),比如我们最常见到的int i ,j ,k;但是还有一种用法,比较不常见,作为逗号运算符(comma operator)使用,也叫顺序运算符(sequence operator),最常见的使用是在for语句中,例如

for( int i = 0, j = i; i < max; ++i )…;

其实顾名思义,既然叫顺序运算符,那就是从左往右一个一个的求值,最后整个表达式的结果是最后一个求值的结果。例如:

int i,j,k;

i = 2, j = i+2, k = 3*j, i + j + k;

第二个语句从左往右一个一个的求值,i=2, j=i+2=4, k=3*j=12, i+j+k=18, 整个表达式结果是18,类型是i+j+k的类型int

但是在所有的运算符优先级中,逗号运算符的优先级是最低的,而且标准也规定在逗号运算符中的表达式求值是动态确定的,既然是动态确定,那当然是不可以编译期间确定。因此,int a[2,3];中的逗号运算符表达式需要在运行时确定是3,但是数组的个数必须在编译期间确定,矛盾,编译不可能通过。标准中有规定,[const_expression],数组个数应该是一个const_expression,但是在这个const_expression中,comma operator是不可以使用的。【注2

2:请参考ANSI C++标准5.19

现在我们来做一个假设,如果逗号运算符表达式可以在编译时确定,也就是说int a[2,3];即为int a[3];那么一个有fortran背景的程序员第一次看到这个表达式,他肯定会认为是int a[2][3];以后的麻烦肯定就是如影随形。因此,标准禁止这种用法是非常明智的。不过,有一些编译器对C语言做了一些扩展,比如著名的GNU家族的gcc编译器,因此这个语句在gcc下是可以通过的,但是请记住,gccC语言编译器,g++才是C++语言编译器。下面的例子:

int a[2,3,4];

VC7.1不能通过;DEVC++4.9.7可以通过,表示int a[4];

2.如下的数组初始化,不能用static修饰数组,怎么改?

       class A

       {

        public:

            A():a{1,2} {}   //这样不行!

        private:

            const int a[2];

        };

Answer: 一个在类中,使用const修饰的,非静态数组不能被显示初始化。但是在这个问题中,数组a是个常量数组,因此它又不可能在构造函数体内被初始化。数组a不能被初始化的本质原因在于a是一系列连续对象的集合,它不能代表一个对象。例如:

int a[2],b[2]={1,2};

a=b;//不合法,a不能被赋值!

A只是一个数组名,它有两个意义,1.sizeof(a)中,a表示整个数组,sizeof(a)结果是整个数组所占内存的字节数;2.int j = a[1]中,a[1]*(a+1)的另一种写法,a的值就是数组首元素的地址。上面的例子有两种解决办法。

(1).a[2]转移到类层次中,即将const int a[2]改为static const int a[2],你可以认真的想一想,既然a[2]const,那么每一个对象真的需要单独的一份a[2]吗?大部分时候答案应该是no。现在类定义如下:

       class A

       {

        public:

            A(){}

        private:

            static const int a[2];

        };

const int A::a[2] = {1,2};//在实现文件中。

(2)将数组改为指针,即const int a[2]改为const int* const a; 现在类定义如下:

                const int ca[2] = {1,2};//注意

       class A

       {

        public:

            A():a(ca){}

        private:

            const int* const a;

        };