【笔试/面试】—— 奇葩 C/C++ 语法题

1. 常量（const）初始化

（1）普通常量（const int）必须初始化
（2）常量指针（const int* ，int const *）不必初始化
（3）指针常量和普通常量一样必须初始化；

int main(int, char**)
{const int x = 10;// 普通常量必须初始化const int* p;// 常量指针不必初始化int* const p2 = &x;// 指针常量必须初始化return 0;
}

2. 指针与数组名（一维数组名、二维数组名）

int main(int, char**)
{int a[] = { 1, 2, 3, 4, 5 };int*  p = (int* )(&a + 1);cout << *(p - 1) << endl;return 0;
}

首先在算符优先级上：& 的优先级要高于 + 号。然后最为重要和关键的是，a 是一维数组名，&a 表示指向长度为 5 的数组的指针，&a+1则表示指向一个长度为 5 的下一个数组的指针（&a+i：有巡视一个二维数组的行的含义）。但此时不会报错。int* p = (int* )(&a+1);表示强制类型转换，将指向数组的指针转换为指向第二个数组中首元素的指针，所以 p-1 则是指向第一个数组最后一个元素的指针，因此输出为 5；

再来看二维数组的情况，

int main(int, char**)
{int a[][4] = { { 1, 2, 3, 4 }, { 5, 6, 7, 8 } };int *r1 = (int*)a + 1;// 先将 a（int[2][4]类型）强转为指针类型// 二维的结构不再，因为本身二维数组也是线性的连续空间，// (int*)a + 0 ⇒ (int*)a + 7 都是合法的int *r2 = (int*)(a+1);// a+1 表示二维数组的第二行cout << *r1 << endl;// 2cout << r2[0] << endl;// 5return 0;
}

3. C++ 中的接口

C++ 中的接口没有专门的关键字（如 Java 中的 interface）进行标示，C++ 中的接口指的是只包含纯虚函数（而不可以是 non-pure virtual）的抽象基类，

4. 堆对象的初始化问题

int* p1 = new int[10];
int* p2 = new int[10]();

动态分配的对象是默认初始化的，这意味着内置类型或组合类型的对象的值是无定义的（可调用()进行初始化），而类类型对象将用默认构造函数进行初始化。

int* p1 = new int();    // *p1 初始化为0
int* p2 = new int(2);// *p2 初始化为2
int* pa = new int[10]();// 全部初始化为0
int* pb = new int[10](2);// 错误，不可接受参数

5. 枚举类型变量的值

enum string{    x1,    x2,    x3=10,    x4,    x5,
} x;

其中

x1 = 0;
x2 = 1;
x3 = 10;
x4 = 11;
x5 = 12;

而对于 x，如果为全局变量其为 0，如果是局部变量，则其是随机值；

6. 全局变量，静态局部变量，局部变量空间的堆分配和栈分配

问如下对象的析构顺序：

C c;
void main()
{A*pa=new A();B b;static D d;delete pa;
}

析构顺序为：

A B D C

全局变量和静态局部变量时从静态存储区中划分的空间，二者的区别在于作用域的不同，全局变量作用域大于静态局部变量（只用于声明它的函数中）。

而之所以是先释放 D 在释放 C的原因是，程序中首先调用的是 C的构造函数，然后调用的是 D 的构造函数，析构函数的调用与构造函数的调用顺序刚好相反。c 是全局对象,对它的初始化是在main函数之前, 所以析构时候要放在最后。