3.1 Data Member的绑定

CCSUZB

已于 2022-05-22 15:18:43 修改

阅读量192

点赞数

分类专栏：深度探索C++对象模型读书笔记文章标签： c++

于 2022-05-22 14:42:05 首次发布

本文链接：https://blog.csdn.net/L_H_L/article/details/124896074

版权

深度探索C++对象模型读书笔记专栏收录该内容

12 篇文章 0 订阅

订阅专栏

这篇博客讨论了早期C++编译器中关于成员函数和数据成员绑定的问题，指出在类声明中放置数据成员的位置以及inline函数定义的位置可能会影响代码的行为。文章提到了两种防御性编程风格：将所有数据成员放在类声明的开头和将所有inline函数定义移出类声明。还解释了成员函数参数列表中的类型解析在类声明完成后才会进行，导致可能的命名冲突。

摘要由CSDN通过智能技术生成

考虑如下代码：

extern float x = 6.66;

class Point3d {
public:
    float X()  {return x;}
private:
    float x, y, z;
};

Point3d::X() 传回来的是Point3d内部的x; 而在早期的的C++编译器上，该操作会指向global x object！并因此导出早期C++的两种防御性程序设计风格：

把所有的 data members放在class的声明起头处，以保证正确的绑定

class Point3d {
	// 防御性设计风格，在class声明处防止所有的data member
    float x, y, z;
public:
    float X()  {return x;}
};

把所有的inline functions,不管大小都放在class声明之外

class Point3d {
	// 防御性设计风格，在class声明处防止所有的data member
    float x, y, z;
public:
	// 防御性设计风格，把所有的inlines移到class之外
	Point3d();
    float X() const;
};

inline float Point3d::X() const [
	return x;
}

如果一个inline函数在class声明之后立刻被定义的话，那么就还是对其评估求值；如下代码：

extern int x;
class {
public:
	// 对于函数本体的分析將延迟，直到class声明的右大括号出现菜开始
	float X() const {return x;}
private：
	float x;
};
// 事实上，分析在这里进行

对member functions本体的分析，会直到整个class的声明都出现了才开始，因此在一个inline member function之内的一个data member绑定操作，会在整个class声明完成之后才发生。

然而，这对于member function的argument list并不为真。如下：

typedef int length;

class Point3d {
public:
    void mumble(length val) {_val = val;};
    length mumble() {
        return _val;
    }
private:
    // error: declaration of ‘typedef float Point3d::length’ changes meaning of ‘length’ [-fpermissive
    typedef float length;
    length _val;
};