var和pr之间的相互赋值.ppt

_var和_ptr之间的相互赋值 B为基类，D为派生类 B_ptr=B_ptr;//浅赋值 B_ptr=D_ptr//浅赋值 D_ptr=B_ptr//非法，编译时出错 B_ptr=B_var;//浅赋值,B_var保留所有权 B_ptr=D_var//浅赋值，D_var保留所有权 D_ptr=B_var//非法，编译时出错 B_var=B_ptr;//浅赋值， B_var得到所有权 B_var=D_ptr//浅赋值， D_var得到所有权 D_var=B_ptr//非法，编译时出错 B_var=B_var;//深赋值 B_var=D_var//非法，编译时出错，要使用 B_var=D::_duplicate(D_var);才可以 D_var=B_var//非法，编译时出错 _var引用与拓展 _var引用负责释放引用，但是它们不允许通过其它的_var类型对它们进行隐含的拓展赋值或初始化。 CORBA::Object_var obj; B_var x1; D_var x2; obj=x1;//编译错误 obj=x2; //编译错误 X2=x1; //编译错误 B_var x1; D_var x2(x1);//编译错误 调用显式的_duplicate可以 B_var x1; D_var x2; X2=D:: _duplicate(x1); X2=B:: _duplicate(x1); x2=D:: _duplicate(x1); D:: _duplicate()需要用到D_ptr类型的参数。编译器可以找到一个匹配，因为D_var中有一个可以转换成D_ptr的转换运算符，它与D_ptr相兼容(使用C++的标准转换)。 D:: _duplicate()拷贝传递来的引用，并且将拷贝作为D_ptr返回，x2拥有对该拷贝的所有权。 x2=B:: _duplicate(x1); B:: _duplicate()需要用到B_ptr类型的参数。编译器可以找到一个匹配，因为实际参数中有一个用户定义的从B_var到B_ptr的转换函数，由duplicate 返回的拷贝是B_ptr类型，通过C++标准转换规则可以将它拓展为D_ptr类型；x2拥有对该指针的所有权。 为什么在_var类型之间的隐式拓展是禁止的，而需要显式调用_duplicat。 原因是：这样的拓展赋值可能不能执行，拓展赋值需要基类了解所有派生类的信息，否则会导致类型系统变得不严格，甚至使紧缩赋值都变为合法，这将会破坏C++的类型安全性。 对象引用_var类 B_var();空引用 B_var(B_ptr );引用计数不增加 B_var(const B_var );引用计数增加 ~B_var() B_var operator=(B_ptr ) B_var operator=(const B_var ) operator B_ptr ();//D_var转成B_ptr B_ptr in() const; B_ptr inout(); B_ptr out(); B_ptr _retn(); * *