C++箴言：必须返回对象时别返回引用.pdfVIP

C++箴言：必须返回对象时别返回引用 public: Rational(int numerator = 0, // see Item 24 for why this int denominator = 1); // ctor isn’t declared explicit ... private: int n, d; // numerator and denominator friend: const Rational // see Item 3 for why the operator*(const Rational }; operator* 的这个版本以传值方式返回它的结果，而且假如你没有担 忧那个对象的构造和析构的代价，你就是在推卸你的专业职责。假如你不 是迫不得已，你不应当为这样的一个对象付出本钱。所以问题就在这里： 你是迫不得已吗？ 哦，假如你能用返回一个引用来作为代替，你就不是迫不得已。但是， 请记住一个引用仅仅是一个名字，一个实际存在的对象的名字。无论何时 只要你看到一个引用的声明，你应当立即问自己它是什么东西的另一个名 字，由于它必定是某物的另一个名字。在这个 operator* 的状况下，假 如函数返回一个引用，它必需返回某个已存在的而且其中包含两个对象相 乘的产物的 Rational 对象的引用。 固然没有什么理由期望这样一个对象在调用 operator* 之前就存在。 也就是说，假如你有 Rational a(1, 2); // a = 1/2 Rational b(3, 5); // b = 3/5 Rational c = a * b; // c should be 3/10 好像没有理由期望那里碰巧已经存在一个值为非常之三的有理数。不 是这样的，假如 operator* 返回这样一个数的引用，它必需自己创立那 个数字对象。 一个函数创立一个新对象仅有两种方法：在栈上或者在堆上。栈上的 生成物通过定义一个局部变量而生成。使用这个策略，你可以用这种方法 试写 operator*： const Rational return result; 你可以马上拒绝这种方法，由于你的目标是避开调用构造函数，而 result 正像任何其它对象一样必需被构造。一个更严峻的问题是这个函 数返回一个引向 result 的引用，但是 result 是一个局部对象，而局部 对象在函数退出时被销毁。那么，这个 operator* 的版本不会返回引向 一个 Rational 的引用——它返回引向一个前 Rational ；一个曾经的 Rational；一个空洞的、恶臭的、腐败的，从前是一个 Rational 但永不 再是的尸体的引用，由于它已经被销毁了 任何调用者甚至于没有来得及 匆忙看一眼这个函数的返回值就立即进入了未定义行为的领地 这是事实， 任何返回一个引向局部变量的引用的函数都是错误的 （对于任何返回一 个指向局部变量的指针的函数同样成立 ） 那么，让我们考虑一下在堆上构造一个对象并返回引向它的引用的可 能性。基于堆的对象通过使用 new 而开头存在，所以你可以像这样写一 个基于堆的 operator*： const Rational return *result; } 哦，你还是必需要付出一个构造函数调用的本钱，由于通过 new 安 排的内存要通过调用一个适当的构造函数进展初始化，但是现在你有另一 个问题：谁是删除你用 new 做出来的对象的适宜人选？ 即使调用者尽职尽责且一心向善，它们也不太可能是用这样的方案来 合理地预防泄漏： Rational w, x, y, z; w = x * y * z; // same as operator*(operator*(x, y), z) 这里，在同一个语句中有两个 operator* 的调用，因此 new 被使用 了两次，这两次都需要使用 delete 来销毁。但是 operator* 的客户没 有合理的方法进展那些调用，由于他们没有合理的方法取得隐蔽在通过调 用 operator* 返回的引用后面的指针。这是一个早已注定的资源泄漏。