Guru of the Week 条款21：代码的复杂性（第二部分）

GotW #21 Code Complexity – Part II

著者：Herb Sutter

翻译：K ][ N G of @rk™

[声明]：本文内容取自www.gotw.ca网站上的Guru of the Week栏目，其著作权归原著者本人所有。译者kingofark在未经原著者本人同意的情况下翻译本文。本翻译内容仅供自学和参考用，请所有阅读过本文的人不要擅自转载、传播本翻译内容；下载本翻译内容的人请在阅读浏览后，立即删除其备份。译者kingofark对违反上述两条原则的人不负任何责任。特此声明。

Revision 1.0

Guru of the Week 条款21：代码的复杂性（第二部分）

难度：7 / 10

（大挑战：修改GotW#20中那个只有三行代码的函数，使其成为强异常安全的（strongly exception-safe）。这个练习给我们上了关于异常安全性（exception-safety）的重要一课。）

[问题]

让我们来考虑GotW#20里的那个函数。这个函数是异常安全的（exception-safe）（再出现异常时仍能正常工作）还是异常中立的（exception-neutral）（能将所有异常都转给调用者）？

  String EvaluateSalaryAndReturnName( Employee e )

  {
   
   

    if( e.Title() == "CEO" || e.Salary() > 100000 )

    {
   
   

      cout << e.First() << " " << e.Last()

           << " is overpaid" << endl;

    }

    return e.First() + " " + e.Last();

  }

请对你的回答做出解释。如果它是异常安全的，那它是支持basic guarantee还是支持strong guarantee？[译注：basic guarantee，基本保证；strong guarantee，强力保证] 如果它不是异常安全的，那该如何对其进行修改以使其支持basic guarantee或strong guarantee？

这里我们假设所有被调用的函数都是异常安全的（即可能抛出异常，但在抛出异常时没有任何副作用），并且假设所使用的任何对象（包括临时对象在内）也都是异常安全的（即当这些对象被销毁时，其占用的资源也能被清理）。