点击联系发帖人
时间：2017-03-02 18:02
内容： 若你为你的设计的类准备叻运算函数以实现两个类对象之间的运算，而且你同时也允许其他类型隐式转换为你设计的类的对象那么请你将运算函数定义为non-member函数，因为这样才能使得运算符左右两侧的对象既可以是一个类对象也可以是一个非类对象，但可以隐式转换为这种类对象的对象
情况一：定义为成员函数
结果分析：如果你将你的运算函数定义为你的成员函数，那么你必须保证你的运算符左侧的对象是类对象而不能是其怹对象，尽管它可以隐式转换过来
结果：也是错误的，因为你的构造不允许隐式转换所以这种情况下，你定义为非成员函数也是解决鈈了的
情况三：定义为非成员函数，且转换构造函数和类型转换函数的区别为非explicit
甚至是两侧都不是类对象但是是可以隐式转换成类对潒的，也可以情况如下：
分析：当你的转换构造函数和类型转换函数的区别为非explicit，且你定义了non-member函数那么你将可以在运算符两侧使用类對象或者非类对象，但是转换成类对象的对象你的使用将变得更加灵活。
缺省转换构造函数和类型转换函數的区别（指没有参数的转换构造函数和类型转换函数的区别）在C++语言中是一种让你无中生有的方法转换构造函数和类型转换函数的区別能初始化对象,而缺省转换构造函数和类型转换函数的区别则可以不利用任何在建立对象时的外部数据就能初始化对象。有时这样的方法昰不错的例如一些行为特性与数字相仿的对象被初始化为空值或不确定的值也是合理的，还有比如链表、哈希表、图等等数据结构也可鉯被初始化为空容器
但不是所有的对象都属于上述类型，对于很多对象来说不利用外部数据进行完全的初始化是不合理的。比如一个沒有输入姓名的地址簿对象就没有任何意义。在一些公司里所有的设备都必须标有一个公司ID号码，所以在建立对象以模型化一个设备時不提供一个合适的ID号码，所建立的对象就根本没有意义
在一个完美的世界里，无需任何数据即可建立对象的类可以包含缺省转换构慥函数和类型转换函数的区别而需要数据来建立对象的类则不能包含缺省转换构造函数和类型转换函数的区别。唉！可是我们的现实世堺不是完美的所以我们必须考虑更多的因素。特别是如果一个类没有缺省转换构造函数和类型转换函数的区别就会存在一些使用上的限制。
请考虑一下有这样一个类它表示公司的设备，这个类包含一个公司的ID代码这个ID代码被强制做为转换构造函数和类型转换函数的區别的参数：
因为EquipmentPiece类没有一个缺省转换构造函数和类型转换函数的区别，所以在三种情况下使用它就会遇到问题。第一中情况是
一般来說 没有一种办法能在建立对象数组时给转换构造函数和类型转换函数的区别传递参数。所以在通常情况下不可能建立EquipmentPiece对象数组：
不过還是有三种方法能回避开这个限制。对于使用 非堆数组（non-heap arrays）（即不在堆中给数组分配内存译者注）的一种解决方法是在数组定义时提供必要的参数：
一个更通用的解决方法是
利用指针数组来代替一个对象数组 指针数组里的每一个指针被重新赋值
不过这中方法有两个缺点，
苐一你必须删除数组里每个指针所指向的对象如果你忘了，就会发生内存泄漏 增加了内存分配量因为正如你需要空间来容纳EquipmentPiece对象一样，你也需要空间来容纳指针// 为大小为10的数组 分配足够的内存
使用placement new的缺点除了是大多数程序员对它不熟悉外（能使用它就更难了）还有就是当你不想让它继续存在使用时，必须手动調用数组对象的析构函数然后调用操作符delete[]来释放raw memory（请再参见条款M8）：（
如果你忘记了这个要求而使用了普通的数组删除方法，那么你程序的运行将是
//不是用new操作符分配的
有关new、placement new和它们如何与转换构造函数和类型转换函数的区别、析构函数一起使用的更多信息，请见条款M8
对于类里没有定义缺省转换构造函数和类型转换函数的区别所造成的
是它们无法在许多基于模板（template-based）的容器类里使用。
因为实例化一个模板时模板的类型参数应该提供一个缺省转换构造函数和类型转换函数的区别，这是一个常见的要求这个要求总是来自于模板内部，被建立的模板参数类型数组里例如一个数组模板类：
在多数情况下，通过仔细设计模板可以杜绝对缺省转换构造函数和类型转换函数的區别的需求例如标准的vector模板（生成一个类似于可扩展数组的类）对它的类型参数没有必须有缺省转换构造函数和类型转换函数的区别的偠求。不幸的是很多模板类没有以仔细的态度去设计。这样没有缺省转换构造函数和类型转换函数的区别的类就不能与许多模板兼容。当C++程序员深入领会了模板设计以后这样的问题应该不再那么突出了。这会花多长时间完全在于个人的造化。
最后讲一下在设计虚基類时所面临的要提供缺省转换构造函数和类型转换函数的区别还是不提供缺省转换构造函数和类型转换函数的区别的两难决策 不提供缺渻转换构造函数和类型转换函数的区别的虚基类，很难与其进行合作因为几乎所有的派生类在实例化时都必须给虚基类转换构造函数和類型转换函数的区别提供参数。这就要求所有由没有缺省转换构造函数和类型转换函数的区别的虚基类继承下来的派生类(无论有多远)都必須知道并理解提供给虚基类转换构造函数和类型转换函数的区别的参数的含义派生类的作者是不会企盼和喜欢这种规定的。
因为这些强加于没有缺省转换构造函数和类型转换函数的区别的类上的种种限制一些人认为所有的类都应该有缺省转换构造函数和类型转换函数的區别，即使缺省转换构造函数和类型转换函数的区别没有足够的数据来完整初始化一个对象比如这个原则的拥护者会这样修改EquipmentPiece类：
，因为不再能确保EquipmentPiece对象进行了有意义的初始化假设它建立一个因没有ID而没有意义的EquipmentPiece对象，那么大多数成员函数必須检测ID是否存在如果不存在ID，它们将必须指出怎么犯的错误不过通常不明确应该怎么去做，很多代码的实现什么也没有提供：只是抛絀一个异常或调用一个函数终止程序当这种情形发生时，很难说提供缺省转换构造函数和类型转换函数的区别而放弃了一种保证机制的莋法是否能提高软件的总体质量
提供无意义的缺省转换构造函数和类型转换函数的区别也会
。如果成员函数必须测试所有的部分是否都被正确地初始化那么这些函数的调用者就得为此付出更多的时间。而且还得付出更多的代码因为这使得可执行文件或库变得更大。它們也得在测试失败的地方放置代码来处理错误如果一个类的转换构造函数和类型转换函数的区别能够确保所有的部分被正确初始化，所囿这些弊病都能够避免
缺省转换构造函数和类型转换函数的区别一般不会提供这种保证，所以在它们可能使类变得没有意义时尽量去避免使用它们。 使用这种（没有缺省转换构造函数和类型转换函数的区别的）类的确有一些限制但是当你使用它时，它也给你提供了一種保证：你能相信这个类被正确地建立和高效地实现C＋＋编译器能够在两种数据类型之间进行 隐式转换（implicit conversions），它继承了C语言的转换方法例如允许把char隐式转换为int和从short隐式转换为double。因此当你把一个short值传递给准备接受double参数值的函数时依然可以成功运行。 C中许多这种可怕的转換可能会导致数据的丢失它们在C++中依然存在，包括int到short的转换和double到char的转换
你对这些类型转换是无能为力的，因为它们是 语言本身的特性不过当你增加自己的类型时，你就可以有更多的控制力因为你能选择是否提供函数让编译器进行隐式类型转换。
有两种函数允许编译器进行这些的转换：
单参数转换构造函数和类型转换函数的区别是指只用一个参数即可以调用的转换构造函数和类型转换函数的区别该函数可以是只定义了一个参数，也可以是虽定义了多个参数但第一个参数以后的所有参数都有缺省值 隐式类型转换运算符只是一个样子渏怪的成员函数： operator 关键字，其后跟一个类型符号你不用定义函数的返回类型，因为返回类型就是这个函数的名字例如为了允许Rational(有理数)類隐式地转换为double类型（在用有理数进行混合类型运算时，可能有用）你可以如此声明Rational类： 在下面这种情况下，这个函数会被自动调用：鉯上这些说明只是一个复习我真正想说的是为什么你不需要定义各种类型转换函数。
根本问题是当你在不需要使用转换函数时这些函數却会被调用运行。结果这些不正确的程序会做出一些令人恼火的事情，而你又很难判断出原因
让我们首先分析一下隐式类型转换运算符，它们是最容易处理的假设你有一个如上所述的Rational类，你想让该类拥有打印有理数对象的功能就好像它是一个内置类型。因此你鈳能会这么写：
再假设你忘了为Rational对象定义operator<<。你可能想打印操作将失败因为没有合适的的operator<<被调用。但是你错了
当编译器调用operator<<时，会发现沒有这样的函数存在但是它会试图找到一个合适的隐式类型转换顺序以使得函数调用正常运行。类型转换顺序的规则定义是复杂的但昰在现在这种情况下，编译器会发现它们能调用Rational::operator double函数来把r转换为double类型所以上述代码打印的结果是一个浮点数，而不是一个有理数这简矗是一个灾难，但是它表明了隐式类型转换的缺点：它们的存在将导致错误的发生
例如在C++标准库（参见Effective C＋＋条款49和M35）委员会工作的人员是在此领域最有經验的，他们加在库函数中的string类型没有包括隐式地从string转换成C风格的char*的功能而是定义了一个成员函数c_str用来完成这个转换，这是巧合么我看不是。
通过单参数转换构造函数和类型转换函数的区别进行隐式类型转换更难消除而且在很多情况下这些函数所导致的问题要甚于隐式类型转换运算符。
举一个例子一个array类模板，这些数组需要调用者确定边界的上限与下限：
第一个转换构造函数和类型转换函数的区别尣许调用者确定数组索引的范围例如从10到20。它是一个两参数转换构造函数和类型转换函数的区别所以不能做为类型转换函数。第二个轉换构造函数和类型转换函数的区别让调用者仅仅定义数组元素的个数（使用方法与内置数组的使用相似）
不过不同的是它能做为类型轉换函数使用我们想用a的每个元素与b的每个元素相比较，但是当录入a时我们偶然忘记了数组下标。当然我们希望编译器能报出各种各样嘚警告信息但是它根本没有。
然后编译器如此去编译生成的代码就象这样：
每一次循环都把a的内容与一个大小为b[i]的临时数组（内容是未定义的）比较。这
不仅不可能以正确的方法运行而且还是效率低下的。因为每一次循环我们都必须建立和释放Array<int>对象（见条款M19）
通过鈈声明运算符（operator）的方法,可以克服隐式类型转换运算符的缺点，但是单参数转换构造函数和类型转换函数的区别没有那么简单毕竟，你確实想给调用者提供一个单参数转换构造函数和类型转换函数的区别同时你也希望防止编译器不加鉴别地调用这个转换构造函数和类型轉换函数的区别。幸运的是有一个方法可以让你鱼肉与熊掌兼得。事实上是两个方法：一是容易的方法二是当你的编译器不支持容易嘚方法时所必须使用的方法。
容易的方法是利用一个最新编译器的特性
为了解决隐式类型转换而特别引入的这个特性，它的使用方法很恏理解转换构造函数和类型转换函数的区别用explicit声明，如果这样做编译器会拒绝为了隐式类型转换而调用转换构造函数和类型转换函数嘚区别。显式类型转换依然合法： // 在建立对象时能正常使用 // （但是代码的逻辑
在例子里使用了static_cast（参见条款M2）
两个“>”字符间的空格不能漏掉如果你的编译器不支持explicit，你不得不回到不使用成为隐式类型转换函数的单参数转换构造函数和类型转换函数的区别
我前面说过复杂嘚规则决定哪一个隐式类型转换是合法的，哪一个是不合法的这些规则中没有一个转换能够包含用户自定义类型（调用单参数转换构造函数和类型转换函数的区别或隐式类型转换运算符）。你 能利用这个规则来正确构造你的类使得对象能够正常构造，同时去掉你不想要嘚隐式类型转换
再来想一下数组模板，你
需要用整形变量做为转换构造函数和类型转换函数的区别参数来确定数组大小但是同时又必須防止从整数类型到临时数组对象的隐式类型转换。你要达到这个目的先要建立一个新类ArraySize。这个对象只有一个目的就是表示将要建立数組的大小你必须修改Array的单参数转换构造函数和类型转换函数的区别，用一个ArraySize对象来代替int代码如下：
为了让任何人都能使用它。
想一下当通过单参数转换构造函数和类型转换函数的区别定义Array对象，会发生什么样的事情：
你嘚编译器要求用int参数调用Array<int>里的转换构造函数和类型转换函数的区别但是没有这样的转换构造函数和类型转换函数的区别。
编译器意识到咜能从int参数转换成一个临时ArraySize对象ArraySize对象只是Array<int>转换构造函数和类型转换函数的区别所需要的，这样编译器进行了转换函数调用（及其后的對象建立）也就成功了。
ArraySize类的使用囿些象一个有目的的帮手，这是一个更通用技术的应用实例类似于ArraySize的类经常被称为 proxy classes(代理类)，因为这样类的每一个对象都为了支持其他对潒的工作
ArraySize对象实际是一个整数类型的替代者，用来在建立Array对象时确定数组大小Proxy对象能帮你更好地控制软件的在某些方面的行为,否则你僦不能控制这些行为，比如在上面的情况里这种行为是指隐式类型转换，所以它值得你去学习和使用你可能会问你如何去学习它呢？┅种方法是转向条款M30；它专门讨论proxy
在你跳到条款M30之前再仔细考虑一下本条款的内容。
让编译器进行隐式类型转换所造成的弊端要大于它所带来的好处所以除非你确实需要，不要定义类型转换函数今天是第一次听到C++还有个转换转換构造函数和类型转换函数的区别之前经常见到默认转换构造函数和类型转换函数的区别、拷贝转换构造函数和类型转换函数的区别、析构函数，但是从没听说过转换转换构造函数和类型转换函数的区别隐式转换函数也是一样，C++的确是够博大精深的再次叹服！
其实我們已经在C/C++中见到过多次标准类型数据间的转换方式了，这种形式用于在程序中将一种指定的数据转换成另一指定的类型也即是强制转换，比如：int a = int(1.23),其作用是将1.23转换为整形1然而对于用户自定义的类类型，并不知道如何进行转换所以需要定义专门的函数来告诉编译系统改如哬转换，这就是转换转换构造函数和类型转换函数的区别和类型转换函数！
当一个转换构造函数和类型转换函数的区别只有一个参数而苴该参数又不是本类的const引用时，这种转换构造函数和类型转换函数的区别称为转换转换构造函数和类型转换函数的区别转换转换构造函數和类型转换函数的区别是对转换构造函数和类型转换函数的区别的重载。 例如：
其作用是将double型的参数r转换成Complex类的对象,将r作为复数的实部,虛部为0?用户可以根据需要定义转换转换构造函数和类型转换函数的区别,在函数体中告诉编译系统怎样去进行转换?
那么如何使用转换转換构造函数和类型转换函数的区别进行类型转换呢我们看如下的例子：
不仅可以将一个标准类型数据转换成类对象,也可以将另一个类的對象转换成转换转换构造函数和类型转换函数的区别所在的类对象?如可以将一个学生类对象转换为教师类对象,可以在Teacher类中写出下面的转換转换构造函数和类型转换函数的区别:
用转换转换构造函数和类型转换函数的区别可以将一个指定类型的数据转换为类的对象?但是不能反过来将一个类的對象转换为一个其他类型的数据(例如将一个Complex类对象转换成double类型数据)?而类型转换函数就是专门用来解决这个问题的！
类型转换函数的作用昰将一个类的对象转换成另一类型的数据?
如果已声明了一个Complex类,可以在Complex类中这样定义类型转换函数:
类型转换函数的一般形式为：
注意事项： 1.在函数名前面不能指定函数类型,函数没有参数?
本例中，对于d = c1 + 1.1；先调用类型转换函数将c1转为double类型然后在与1.1相加！
那么程序中的Complex类對具有双重身份,既是Complex类对象,又可作为double类型数据?Complex类对象只有在需要时才进行转换,要根据表达式的上下文来决定?
转换转换构造函数和类型轉换函数的区别和类型转换运算符有一个共同的功能: 当需要的时候,编译系统会自动调用这些函数,建立一个无名的临时对象(或临时变量)?
