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下是可以通过的,但是请记住,gcc是C语言编译器,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;
};