C/C++编程：数据成员的绑定

╰+攻爆jí腚メ 2022-10-21 13:55 138阅读 0赞

对于下面代码：

extern  float  x;
    
    class Point3d{
        
    public:
        Point3d(float, float, float);
        //问题：被传回和被设定的x是哪一个x呢？
        float X() const {
         return x;}
        void X(float new_x) {
         x = new_x;};
    private:
        float  x, y, z;
    };

问题：Point3d::X()传回的是哪一个x？是内部的哪个x，还是外部的那个x。

回答：内部的

但是在C++早期的编译器上这个问题将会指向global x object。唯一早期C++由两种防御性程序设计风格：

*  把所有的**数据成员**放在**类**声明起头处，以确保正确的绑定：

class Point3d{
        
    	//防御性程序设计风格：在类声明起头处先放置所有的类成员
    	float x, y, z;
    public:
    	float X() const {
        return x; }
    }

*  把所有的**内联函数**，不管大小都放在类声明之外：

class Point3d{
        
    public:
        Point3d(float, float, float);
        float X() const;
         void X(float new_x);
    };
    
    inline float Point3d::X() const{
        
    	return x;
    }

当然，为了解决这个问题，C++2.0最好规定：一个**内联函数**实体，在整个类声明未被完全看见之前，是不会被评估求值的：

extern int x;
    class Point3d{
        
    public:
    	//对于函数本身的分析将延迟直至类声明的右边大括号出现才开始
    	float X() const {
        return x;}
    private:
    	float x;
    };
    
    // 事实上，分析在这里进行

也就是说，在一个**内联成员函数**之内的一个**数据成员**的绑定操作，会在整个类声明完成之后才发生。

但是，这对于**成员函数**的**参数列表**并不为真。**参数列表**中的名称还是会在它们第一次遭遇时被适当的**决议**完成。因此在extern和nexted type names之间的非直接绑定操作还是会发生：

#include <iostream>
    
    typedef int length;
    
    class Point3d{
        
    public:
        void mumble(length val) {
        _val = val;}
        length  mumble(){
         return _val;}
    private:
        typedef float length;
        length  _val;
    };
    
    int main() {
        
        Point3d point3D;
        point3D.mumble(static_cast<length>(11.2));
    }

上面这种语言情况，仍需要防御性程序风格：请始终把`nested type声明`放在类的起始处。