var和ptr之间的相互赋值.pptVIP

_var和_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引用与拓展;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类;operator B_ptr ();//D_var转成B_ptr B_ptr in() const; B_ptr inout(); B_ptr out(); B_ptr _retn();;