C/C++易错难点笔记02

C++有很多基础但是，又容易出错的地方，也有很多我们 没有关注的地方，这里慢慢总结积累，记录下来。

基础知识点

1. 易误解：如果int a[5], 那么a与&a是等价的，因为两者地址相同。

解答：一定要注意a与&a是不一样的，虽然两者地址相同，但意义不一样，&a是整个数组对象的首地址，而a是数组首地址，也就是a[0]的地址，a的类型是int[5]，a[0]的类型是int，因此&a+1相当于a的地址值加上sizeof(int) * 5，也就是a[5]，下一个对象的地址，已经越界了，而a+1相当于a的地址加上sizeof(int)，即a[1]的地址。

2. 如何在类中定义常量成员并为其初始化？

解答：只能在初始化列表里对const成员初始化，像下面这样：

class CBook {public:    const double m_price;    CBook() :m_price(8.8) { }};

下面的做法是错误的：

class CBook {public:    const double m_price;    CBook() {        m_price = 8.8;    }};

3. 在定义类的成员函数时使用mutable关键字的作用是什么？

解答：当需要在const方法中修改对象的数据成员时，可以在数据成员前使用mutable关键字，防止出现编译出错。例子如下：

class CBook {public:    mutable double m_price;  // 如果不加就会出错    CBook(double price) :m_price(price) { }    double getPrice() const; // 定义const方法};double CBook::getPrice() const {    m_price = 9.8;    return m_price;}

4. 在C++中，如果确定了某一个构造函数的创建过程，在该构造函数中如果调用了其它重载的构造函数，它将不会执行其它构造函数的初始化列表部分代码，而是执行函数体代码，此时已经退化成普通函数了。

例子说明如下：

class CBook {public:    double m_price;    CBook() {        CBook(8.8);    }    CBook(double price) : m_price(price) { }};int main() {    CBook c;    cout << c.m_price << endl;  // 此时并不会输出理想中的8.8}

易错题

1. 函数栈数组越界覆盖问题

下面程序输出什么：

int function(const int src[16]){    int val1=0;    int dst[16]={0};    int val2=0;    const int *psrc=src;    //问题1：如下代码行输出什么？    fprintf(stdout,"size of src=%lu\n",sizeof(src));    //问题2：如下代码有什么副作用？    for(int i=0;i<=16;i++){     dst[i]=*psrc+i;     psrc++;    }    return 0;}

A.16,val2会被覆盖
B.其他三项都不对
C.8,val2会被覆盖
D.8,val1会被覆盖
解析：1.首先要看编译器，不同的编译器结果可能不一样；
2.sizeof(src)，数组名作为形参时，是作为地址来看待的，下标[ ]中的数组是无用的，可以看作是指针，即求指针的大小；
3.一般情况，val1会被覆盖，变量入栈顺序与申明次序相同，栈的地址是从高到低生长的，而数组是从低地址到高地址的，也就是说dst[0]的地址小于dst[1]的地址。所以val1被覆盖。

2. C和C++中const问题

在c++中：

const int i = 0; int *j = (int *) &i; *j = 1; printf("%d,%d", i, *j)

输出是多少?
A.0，1
B.1，1
C.1，0
D.0，0
解析：首先要注意这是C++中，const变量是编译时的常量，可以像#define定义的常量一样使用。故C++中const变量的值在编译时就已经确定了，直接对const变量进行了值的替换，在汇编阶段，引用到const修饰的量的地方会直接以值替换掉。实际上常量值已经改变了，只不过是被提起替换了而已。还要注意这是局部的const，全局的就不能修改了。
1.C中const是运行时const，编译时只是定义，在运行才会初始化，所以可以通过指针修改const值。这也是为什么不能用const变量作为数组定义的大小的原因。
2.C++中涉及到常量折叠：它指const变量（即常量）值 放在编译器的符号表中 ，计算时编译器直接从表中取值，省去了访问内存的时间，从而达到了优化。
3.const对存放位置没有影响，有影响的是static修饰的变量。
4.const全局变量存储在全局存储空间，其值只有可读属性，不能修改；
const局部变量存储在堆栈中，可通过指针修改其值；
const变量在预处理是处理，编译器只对其值读取一次。

3. 枚举和联合在类中占用的内存问题

在32位机器上，下列代码中

sizeof(a)的值是（）.
解析：首先，#pragma pack(2) 强制设定为2字节对齐
i 4字节
u 一个为13，该处强制为2字节对齐，实际为13+1=2*7=14字节
color 枚举类型的实例 4字节

4+14+4=22字节

4. 默认构造和函数声明问题

下列代码编译时会产生错误的是（）

解析：语句3是一个声明，而不是对象初始化。

5. define问题

以下代码的输出结果是?

#define a 10void foo(); main(){  printf("%d..",a);   foo();   printf("%d",a);}void foo(){   #undef a   #define a 50}

解析：define在预处理阶段就把main中的a全部替换为10了.
另外，不管是在某个函数内，还是在函数外，define都是从定义开始知道文件结尾，所以如果把foo函数放到main上面的话，则结果会是50 ，50。而#undef a #define a 50，作用域是接下来的代码。

6. 局部静态对象和全局对象析构顺序

设已经有A,B,C,D4个类的定义，程序中A,B,C,D析构函数调用顺序为？

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

解析：A B D C
之所以是先释放 D 在释放 C的原因是， 程序中首先调用的是 C的构造函数，然后调用的是 D 的构造函数，析构函数的调用与构造函数的调用顺序刚好相反。

7. 内置变量初始化问题

下面描述正确的是

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

p1申请的空间里的值是随机值，p2申请的空间里的值已经初始化为0。

8. 数据间的转换

unsigned char a[3];void main(){    for (int i=0;i<3;i++)    {        a[i] = 1-i;    }    printf("%u%u%u",a[0],a[1],a[2]);    system("pause");}

解析：关键在于a[2]，-1的表示是取反加一，所以结果为2^8-1 = 255.

9. 运算符的优先级

    int a =3;int b =7;    printf("%d",a&3==b&&7);

解析：先&再==再&&，结果0。