3.1 、3.2 数据成员的绑定与布局

Q1：关于类成员函数中的变量与类数据成员、全局数据之间的绑定关系

• 一个 inline 函数实体，在整个类声明未被完全看见之前，是不会被编译器分析的

• 该延迟规则对参数列表中的类型名称不起作用，类型名称之前的绑定会在遇见时进行决议（* 重点 *)

Eg：

typedef int length;

int _val = 10;

class X
{
public:

    X(float a = 0.0) :_val(a){}

    void func(length x)                     // 此时，length将被立即决议，并被判定为 int
    {
        _val = x;                               //在函数成员内的语句将不进行分析，直到声明完全可见，才进行决议，因此判定为 X::_val, 而不是 ::val
    }

    typedef float length;
    length _val;
};


int main()
{
    X x(3.3);
    x.func(5.3);                                                               // 此时 X::func(type)中的类型被决议为 int 后，传递进去的参数将被截断，参数为5，因此 X::val为5 

    cout << "global _val : " << _val << endl;            // 全局变量仍未 10
    cout << "X  _val : " << x._val << endl;                // 被 func(type) 决议后改为5
    system("pause");
}

Q2：声明顺序与对象布局

• 非静态数据成员在类对象中的排列顺序和其被声明的顺序相同

• 任何静态类型数据均不会被放进对象布局之中，初始化的静态数据放入data段中，未初始化的静态数据放入BSS段中

• 较晚声明的数据成员在类对象中有较高的地址，各个成员之间不一定连续排列

• 成员之间可能会插入填充字节，或编辑器内部产生的成员（如vptr）

• 编译器合成的内部成员可放在任何位置

• 访问段的增多不会带来额外的负担，即，八个访问级中的声明八个成员与一个访问段中声明八个成员得到的对象大小相同