用C++实现属性


Delphi和C#的类都提供了“属性”的概念，使得Getter和Setter的方法可以像访问成员一样简单，如下面的Delphi代码：
TMyClass = class
private
    FValue: Integer;
    funcation GetValue: Integer;
    procedure SetValue(value: Integer);
public
    property Value: Integer read GetValue write SetValue;
end;
红色部分就是属性的声明，以后可以直接对Value进行读写，像下面这样：
MyClass.Value := 100;
v = MyClass.Value;
属性有几个显而易见的好处：
与Getter和Setter相比更加简单，就像直接访问成员一样。 
与直接访问成员相比，属性可以控制读写权限，并通过Getter和Setter对代码进行检验。 
属性对UI的所见即所得编辑很有用，可以很直观的设置某个属性，如大小，颜色等；QT似乎也大量应用属性，不过我没有去看过。 
C++原生没有支持属性，但这个语言的特点就是语法强大，通过一些高级属性就可以实现其他语言的特性。要实现属性，C++当然是可以胜任了，而且实现方式有很多，我在网上就看过几种实现。不过在这里我要讲另外两种实现，一种是我想到的，另一种是编译器的扩展。
 
先看第一种，网上通常的实现是用“模板+操作符重载”的方式，这种方式需要在类的构造函数中初始化模板类成员，并且模板类包含了3个成员：外部类指针和读写函数指针。这个模板类成员就是“属性”，一个属性将浪费掉一些存储，如果一个类存在大量属性，则这个类的空间尺寸是可观的。
 
我的实现是用“本地类+操作符重载”的方式，用了3种本地类，分别实现“只读，只写，可读写”三种属性，用宏包装起来方便使用，请看下面的代码：
// 取外部类实例指针(this)
// outClass 外部类名
// localClassMem 本地类成员
#define OUTCLASS_THIS(outClass, localClassMem) ((outClass*)((unsigned char*)this - offsetof(outClass, localClassMem)))
// 属性定义宏
// cls 定义属性的类
// type 属性的类型
// propname 属性名
// getter 读函数
// setter 写函数
#define PROPERTY_R(cls, type, propname, getter) 
    class property_##getter 
    { 
    public: 
        operator type () 
        { 
            return OUTCLASS_THIS(cls, propname)->getter(); 
        } 
    } propname
 
#define PROPERTY_W(cls, type, propname, setter) 
    class property_##setter 
    { 
    public: 
        property_##setter &operator = (const type& value) 
        { 
            OUTCLASS_THIS(cls, propname)->setter(value); 
            return *this; 
        } 
    } propname 
 
#define PROPERTY_RW(cls, type, propname, getter, setter) 
    class property_##getter_##setter 
    { 
    public: 
        operator type () 
        { 
            return OUTCLASS_THIS(cls, propname)->getter(); 
        } 
        property_##getter_##setter &operator = (const type& value) 
        { 
            OUTCLASS_THIS(cls, propname)->setter(value); 
            return *this; 
        } 
    } propname
有了这几个宏，就可以写一个测试类来看看结果了：
class Test
{
public:
    PROPERTY_R(Test, int, ValueR, GetValueR);
    PROPERTY_W(Test, float, ValueW, SetValueW);
    PROPERTY_RW(Test, bool, ValueRW, GetValueRW, SetValueRW);
    Test(): mValueR(100), mValueW(0), mValueRW(false)
    {
    }
    int GetValueR()
    {
        return mValueR;
    }
    void SetValueW(const float value)
    {
        mValueW = value;
    }
    bool GetValueRW()
    {
        return mValueRW;
    }
    void SetValueRW(bool value)
    {
        mValueRW = value;
    }
private:
    int mValueR;
    float mValueW;
    bool mValueRW;
};
int _tmain(int argc, _TCHAR* argv[])
{
    Test test;
    int v = test.ValueR;
    cout<<v<<endl;
    test.ValueW = 1.0f;
    test.ValueRW = true;
    cout<<test.ValueRW<<endl;
    return 0;
}
基本上可以满足要求了，内部类没有成员，一个类只占一个字节，比之前面的要节省得多。
尽管用标准语法可以实现“属性”，但仍有一些不足之处，首先是属性若传入有可变参数的函数时会有问题，如下面：
printf("%d", test.ValueR);
编译器识别不出可变参数的具体类型，因此ValueR并没有默认转换为int，要这样写才正确：
printf("%d", (int)test.ValueR);
另外一个问题是“数组属性”如何实现，至少我没有找到更好的办法，若哪位朋友有好的办法，不访分享出来。
 
如果你确定你的代码只会运行在Windows上，并且只用VC作为编译器，那么就可以用第二种实现。微软提供了property关键字用来支持属性机制，编译器会自动将属性替换为Get或Set函数，这样一来属性就根本不占用任何空间，也没有任何调用开销。
下面同样包装了几个宏，不仅实现了普通属性，也实现了数组类型的属性：
#define PROPERTY_R(type, propname, getter) __declspec(property(get=getter)) type propname 
#define PROPERTY_W(type, propname, setter) __declspec(property(put=setter)) type propname
#define PROPERTY_RW(type, propname, getter, setter) __declspec(property(get=getter, put=setter)) type propname
#define PROPERTY_ARRAY_R(type, propname, getter) __declspec(property(get=getter)) type propname[]
#define PROPERTY_ARRAY_W(type, propname, getter) __declspec(property(put=setter)) type propname[]
#define PROPERTY_ARRAY_RW(type, propname, getter, setter) __declspec(property(get=getter, put=setter)) type propname[]
有了编译器的支持，事情的确简单得多了。

补充：软件开发 , C++ ,