C++对象模型学习笔记十五： 数据成员绑定时机

测试代码如下：

// 演示变量和类型 在类中定义和在全局中定义， 其可见性及解析绑定
//

#include <iostream>
#include <time.h >
#include <stdio.h>
using namespace std;

//string myvar= "I Love China!"; //全局量，字符串型
typedef string mytype;

//定义一个类
class A
{
	typedef int mytype;

public:
	//int myfunc();
	///*{
	//	return myvar;  //会解析为类成员变量myvar 而不是全局的变量myvar
	//}*/
	//void myfunc(mytype tmpvalue) //mytype = string
	//{
	//	m_value = tmpvalue; //出错，是把一个string类型给一个整型
	//}

	void myfunc(mytype tmpvalue); //string

private:
	//int myvar; //同全局变量名相同，但类型不同。		
	mytype m_value; //int	
};

void A::myfunc(mytype tmpvalue) //int
{
	m_value = tmpvalue;
}

void myfunc(mytype tmpvalue) //mytype
{
	string mvalue = tmpvalue;
}


//int A::myfunc()//成员函数
//{
//	cout << myvar << endl;  //myvar是类内定义的
//	cout << ::myvar.c_str() << endl;  //myvar是全局的
//	return myvar; //这里还是A::myvar
//}

//int myfunc()
//{
//	return myvar; //会解析为全局的变量myvar，是string类型，所以这里报错；
//}

int main()
{
	//编译器是对成员函数myfunc的解析，是整个A类定义完毕后才开始的；
	//所以，对这个myvar的解析和绑定，是在这个类定义完成后发生的。

	//总结：
	//编译器对 成员函数myfunc的解析，是整个A类定义完毕后才开始；因为只有整个类A定义完毕后，
	//编译器才能看到类A中的myvar，才能根据时机的需要把出现myvar的场合做上述的适当的解释（成员函数中解析成类中的myvar，全局函数中解析成全局的myvar；
	/*A aobj;
	aobj.myvar = 15;
	aobj.myfunc();*/

	//对于成员函数参数：是在编译器第一次遇到整个类型mytype的时候被决定的；所以，mytype第一次遇到的时候，编译器只看到了
	//typedef string mytype，没有看到类中的typedef in mytype;
	//结论：为了在类中尽早的看到类型mytype，所以这种类型定义语句typedef，一定 要挪到类的最开头定义。
	//那后边的成员函数第一次遇到这个类型mytype的时候，它就本着最近碰到的类型的原则来应用最近碰到的类型。


	return 1;
}