初始化列表的使用

问题

类中是否可以定义 const 成员？

可以的

下面的类定义是否合法？

如果合法，ci 的值是什么，存储在哪里？

上面的 Test 类定义是合法的，但是要定义 Test 类对象的时候，编译器会报错，提示 const 成员变量 ci 没初始化

类中的 const 成员

#include <stdio.h>

class Test
{
private:
    const int ci;
public:
    Test()
    {
        ci = 10;
    }
    int getCI()
    {
        return ci;
    }
};


int main()
{
    Test t;

    printf("t.ci = %d\n", t.getCI());

    return 0;
}

我们对上面的代码进行编译，编译直接报错

编译器告诉我们 const 成员变量 ci 还没进行初始化，并且不允许在构造函数的函数体里对 const 成员变量赋值 

C++ 中提供了初始化列表对成员变量进行初始化

语法规则

注意事项

成员的初始化顺序与成员的声明顺序相同

成员的初始化顺序与初始化列表中的位置无关

初始化列表先于构造函数的函数体执行

初始化列表的使用

#include <stdio.h>

class Value
{
private:
    int mi;
public:
    Value(int i)
    {
        printf("i = %d\n", i);
        mi = i;
    }
    int getI()
    {
        return mi;
    }
};

class Test
{
private:
    Value m2;
    Value m3;
    Value m1;
public:
    Test() : m1(1), m2(2), m3(3)
    {
        printf("Test::Test()\n");
    }
};


int main()
{
    Test t;
    
    return 0;
}

程序运行结果如下图所示：

Test 类中有 3 个 Value 类对象，分别是 m2 m3 m1，我们在 Test 无参构造函数中使用初始化列表对这三个类对象进行初始化，我们在初始化列表中指定的顺序是 m1 m2 m3

初始化和赋值不同，类中构造函数的初始化列表是在对象还在创建的时候，对对象进行初始化，而执行到构造函数的函数体时，对象已经被创建出来了，这个时候去操作对象，是赋值操作而不是初始化

由于 Value 类没有提供无参构造函数，所以，Test 类里的 Value 类对象必须在初始化列表中指定使用有参构造函数，否则就会去使用 Value 类的无参构造函数，编译会报错

 通过打印可以看出，这 3 个 Value 类对象的构造顺序分别是 m2 m3 m1，和类对象的声明顺序相同，与初始化列表指定的顺序无关，并且构造函数的初始化列表执行完后，才会执行构造函数的函数体

类中的 const 成员

类中的 const 成员会被分配空间的

类中的 const 成员的本质是只读变量

类中的 const 成员只能在初始化列表中指定初始值

编译器无法直接得到 const 成员的初始值，因此无法进入符号表成为真正意义上的常量

只读成员变量

#include <stdio.h>

class Value
{
private:
    int mi;
public:
    Value(int i)
    {
        printf("i = %d\n", i);
        mi = i;
    }
    int getI()
    {
        return mi;
    }
};

class Test
{
private:
    const int ci;
    Value m2;
    Value m3;
    Value m1;
public:
    Test() : m1(1), m2(2), m3(3), ci(100)
    {
        printf("Test::Test()\n");
    }
    int getCI()
    {
        return ci;
    }
    int setCI(int v)
    {
        int* p = const_cast<int*>(&ci);
        
        *p = v;
    }
};


int main()
{
    Test t;
    
    printf("t.ci = %d\n", t.getCI());
    
    t.setCI(10);
    
    printf("t.ci = %d\n", t.getCI());
    
    return 0;
}

程序运行结果如下图所示：

Test 类中存在 const 成员变量 ci，我们只能通过初始化列表对这个 const 成员变量进行初始化，在 setCI 函数中我们通过指针间接改变 ci 的值

通过打印可以看出 const 成员变量 ci 的值被改变了，说明了 C++ 中 const 成员变量只是只读变量，并不是常量 

初始化与赋值不同

初始化：对正在创建的对象进行初值设置

赋值：对已经存在的对象进行值设置

小结

类中可以使用初始化列表对成员进行初始化

初始化列表先于构造函数体执行

类中可以定义 const 成员变量

const 成员变量必须在初始化列表中指定初值

const 成员变量为只读变量