C++对象模型之数据语义学

前言

本次笔记记录如下知识点

• 数据成员绑定时机
• 进程内存空间布局
• 数据成员布局
• 单一继承下的数据成员布局
• 虚基类问题的提出和初探
• 成员变量地址，偏移与指针

一、数据成员绑定时机

成员函数函数体的解析时机

• 如果成员变量和全局变量重复了，那么成员函数在内部调用时，会优先调用成员变量，因为编译器对函数体内部的变量进行解析时，是从整个类定义完成之后进行的。
  如下示例

string myvar;

class Base
{
   
public:
	int myfunc()
	{
   
		return myvar;
	}
private:
	int myvar;
};

int main()
{
   
	Base a;
	return 0;
}

成员函数参数的确定时机

• 成员函数的参数类型是在编译器最近一次遇到指定类型来决定，它是本着最近碰到类型的原则来应用最近的碰到的类型
• 如果将下方示例代码中类的typedef int myvar; myvar m_value;两行代码放到函数下方定义，那么程序就会因为myfunc函数中的赋值代码出现类型不匹配导致程序错误。

typedef string myvar;

class Base
{
   
private:
	typedef int myvar;
	myvar m_value;
public:
	int myfunc(myvar var)
	{
   
		m_value = var;
	}
};

int main()
{
   
	Base a;
	return 0;
}

二、进程内存空间布局

• 一个可执行文件加载到内存后，就组成了一个进程，进程中的虚拟地址空间有如下几部分

1、栈：局部变量等放在这里。
2、堆：new,malloc等申请的内存空间从这里分配。
3、BSS段：未初始化的全局变量࿰