【聚杰网VC】实例解析C++/CLI之值类型 值类型是一种轻量级的C++/CLI类机制,非常适合于小型的数据结构,且从语义的角度来看,与数值(Value)类似。
与之相比,引用类型的实例--包括那些声明在堆栈上的,是由垃圾回收器管理的,而值类型的实例却不是。一般来说,一个值类较好的实现应只有一些数据成员,而不需要继承性,这样,在函数传递及返回值、或是赋值操作时,不会带来巨大的数据开销。
值类初印像
请看例1中的Point类,可以通过替换ref为value,来把一个引用类变为值类;与引用类(ref)相似,值类(value)也是一个包含了空格的关键字。与大家想像的一样,值类(value)与值结构(value struct)之间唯一的区别就是,前者默认的可访问性为private,而后者则为public。
例1:
| using namespace System; public value class Point { int x; int y; public: //定义属性X与 Y的读写实例 property int X { int get() { return x; } void set(int val) { x = val; } } property int Y { int get() { return y; } void set(int val) { y = val; } } //定义实例构造函数 Point(int xor, int yor) { X = xor; Y = yor; } void Move(int xor, int yor) { X = xor; Y = yor; } virtual bool Equals(Object^ obj) override { if (obj == nullptr) { return false; } if (GetType() == obj->GetType()) { Point^ p = static_cast<Point^>(obj); return (X == p->X) && (Y == p->Y); } return false; } static bool operator==(Point p1, Point p2) { return (p1.X == p2.X) && (p1.Y == p2.Y); } // static bool operator==(Point% p1, Point% p2) // { // return (p1.X == p2.X) && (p1.Y == p2.Y); // } // static bool operator==(Point& p1, Point& p2) // { // return (p1.X == p2.X) && (p1.Y == p2.Y); // } virtual int GetHashCode() override { return X ^ (Y << 1); } virtual String^ ToString() override { return String::Concat("(", X, ",", Y, ")"); } }; |
值类自动继承自System::ValueType,而System::ValueType则继承自System::Object,但是,这却不能显式地声明。值类隐式表明了为"sealed",也就是说,它不能被作为一个基类,另外,为其类成员指定一个protected是没有任何意义,并且也是不允许的。如果想显式声明一个值类(或引用类),可像如下所示:
| value class X sealed {/*...*/}; |
请注意,此处没有默认的构造函数。对一个值类来说,CLI本身把类实例中所有字段的位都设置为零,所以,不能提供自己的默认构造函数;然而,零、false、 nullptr对其他类型来说,也许并不是合适的默认值,因此,对某些特定类型来说,就要用引用类型来取代值类型了。(遵从C++/CLI的实现会将 false与nullptr表示为位全部为零。)
值类的另一个限制是它们带有一个默认的拷贝构造函数和一个赋值操作符,两者都会进行逐位复制,并不可被重载。




