CERT.OOP.CTOR.INIT_ORDER
コンストラクタメンバー初期化子は正規の順序で記述してください。
クラスコンストラクタのメンバー初期化子リストを使用すると、メンバーを指定した値に初期化し、基底クラスコンストラクタを特定の引数で呼び出すことができます。ただし、初期化が発生する順序は一定であり、メンバー初期化子リストに記述される順序に左右されることはありません。つまり、メンバー初期化子がメンバー初期化子リストに現れる順序は無関係です。
メンバーが初期化される順序 (基底クラスの初期化を含む) は、クラスメンバー変数の宣言順序または基底クラス指定子リストによって決まります。正規の順序以外でメンバー初期化子を記述すると、初期化されていないメモリの読み取りなど、定義されていない動作が発生する可能性があります。
脆弱性とリスク
正規の順序以外でメンバー初期化子を記述すると、初期化されていないメモリの読み取りなど、定義されていない動作が発生する可能性があります。
軽減と防止
メンバー初期化子を常に正規の順序でコンストラクタに記述してください (最初にクラスの基底指定子リストに現れる順序で直接基底クラスを記述し、次にクラス定義で宣言された順序で非静的データメンバーを記述する)。
例
1 class C_positive {
2
3 int dependsOnSomeVal;
4 int someVal;
5
6 public:
7 C_positive(int val) : someVal(val), dependsOnSomeVal(someVal + 1) {} // uncompliant code
8 };
9
10 class C_negative {
11 int someVal; // adjust the declarations order
12 int dependsOnSomeVal;
13
14 public:
15 C_negative(int val) : someVal(val), dependsOnSomeVal(someVal + 1) {} //compliant code
16 };
17
18 class B1 {
19 int val;
20
21 public:
22 B1(int val) : val(val) {}
23 };
24
25 class B2 {
26 int otherVal;
27
28 public:
29 B2(int otherVal) : otherVal(otherVal) {}
30 int get_other_val() const { return otherVal; }
31 };
32
33 class D_positive : B1, B2 {
34 public:
35 D_positive(int a) : B2(a), B1(get_other_val()) {} // uncompliant code
36 };
37
38 class B1 {
39 int val;
40
41 public:
42 B1(int val) : val(val) {}
43 };
44
45 class B2 {
46 int otherVal;
47
48 public:
49 B2(int otherVal) : otherVal(otherVal) {}
50 };
51
52 class D_negative : B1, B2 {
53 public:
54 D_negative(int a) : B1(a), B2(a) {} // compliant code
55 };
