条款25 考虑写出一个不抛异常的swap函数

2024-08-28 04:18

本文主要是介绍条款25 考虑写出一个不抛异常的swap函数,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

总结:

     如果 std::swap 对于你的类型来说是低效的,请提供一个 swap 成员函数,并确保你的 swap 不会抛出异常。

     如果你提供一个成员 swap,请同时提供一个调用成员swap的非成员swap。对于类(非模板),还要特化 std::swap。

     调用swap时,请为std::swap使用一个using声明式,然后在调用 swap时不使用任何namespace修饰符。

     为“用户定义类型”全特化 std 模板是好的,但绝不要尝试在std中加入任何全新的东西。

       

         swap是一个有趣的函数。最早作为STL的一部分被引入,后来它成为异常安全编程(exception-safeprogramming)的支柱,和用来处理自我赋值可能性的常见机制。因为 swap太有用了,所以正确地实现它非常重要,但是伴随它不同寻常的重要性而来的,是一系列不同寻常的复杂性。

          swap两个对象的值就是互相把自己的值赋予对方。缺省情况下,swap动作可由标准程序库提供的swap算法完成,其典型的实现完全符合你的预期:

namespace std {
template<typename T> // std::swap的典型实现,置换a和b的值
void swap(T& a, T& b)
{T temp(a);a = b;b = temp;
}
}

         只要你的类型支持拷贝(通过拷贝构造函数和拷贝赋值运算符),缺省的swap实现就能交换类型为T的对象,而不需要你做任何特别的支持工作。它涉及三个对象的拷贝:从a到temp,从 b到a,以及从temp到b。对一些类型来说,这些赋值动作全是不必要的

        这样的类型中最重要的就是那些由一个指针组成,这个指针指向包含真正数据的类型。这种设计方法的一种常见的表现形式是"pimpl手法"("pointerto implementation")。如果以这种手法设计Widget 类,可能就像这样:

class WidgetImpl { // 针对Widget数据设计的类
public:...private:int a, b, c; // 可能有很多数据,意味着复制时间很长std::vector<double> v;...
};class Widget { // 这个类使用pimpl手法
public:Widget(const Widget& rhs);Widget& operator=(const Widget& rhs){ // 复制Widget时,令其复制WidgetImpl对象...  *pImpl = *(rhs.pImpl);...}...private:WidgetImpl *pImpl; // 指针,所指对象内含Widget数据
}; 
        为了交换这两个Widget对象的值,我们实际要做的就是交换它们的pImpl指针,但是 缺省的交换算法不仅要拷贝三个Widgets,而且还有三个WidgetImpl对象,效率太低了。当交换 Widgets的是时候,我们应该告诉std::swap我们打算执行交换的方法就是交换它们内部的 pImpl指针。这种方法的正规说法是:针对Widget特化std::swap。如下 令Widget声明一个名为是swap的public成员做真正的交换工作,然后将std::swap特化,令它调用该成员函数
class Widget {
public:
...
void swap(Widget&other)
{
using std::swap; // 此声明是必要的
swap(pImpl, other.pImpl); // 若要置换Widget就置换其pImpl指针
}
...
};
namespace std {
template<> // 这是std::swap针对“T是Widget”的特化版本
void swap<Widget>(Widget& a, Widget& b)
{
a.swap(b); // 若要置换Widget, 调用其swap成员函数
}
}
        这样不仅能够编译,而且和STL容器保持一致,所有STL容器都既提供了public swap成员函数,又提供了std::swap的特化来调用这些成员函数。这个函数开头的 "template<>"表明它是std::swap的一个全特化版本,函数名后面的"<Widget>"表明这一特化版本针对“T是Widget” 而设计。换句话说,当通用的swap模板用于Widgets时,便会启用这个版本。通常,我们改变std namespace中的内容是不被允许的,但允许为为标准模板(如swap)制造特化版本,使它专属于我们自己的类(如Widget)。

          
可是,假设Widget和WidgetImpl是类模板而不是类,或许我们可以试图将WidgetImpl中的数据类型加以参数化:

template<typename T>
class WidgetImpl { ... };
template<typename T>
class Widget { ... };

可能的方法一:在Widet内(以及WidgetImpl内,如果需要的话)放一个swap成员函数就像以往一样简单,但是我们却在特化std::swap时遇到乱流。我们想写成这样:

namespace std {
template<typenameT>
void swap<Widget<T> >(Widget<T>&a, Widget<T>& b)
{ a.swap(b); }
}                    //错误,不合法!
我们企图偏特化一个函数模板,这行不通;C++只允许偏特化类模板。

可能的方法二:想偏特化一个函数模板,惯常做法是简单地为它添加一个重载版本:

namespace std {
template<typename T> // std::swap的一个重载版本
void swap(Widget<T>& a, Widget<T>&b)
{ a.swap(b); }
}                   //这也不合法

        通常,重载函数模板没有问题,但是std是一个特殊的命名空间,其规则也比较特殊。它认可完全特化std中的模板,但它不认可在std中增加新的模板(或类,函数,以及其它任何东西)。std的内容完全由C++标准委员会决定,其禁止我们膨胀那些已经声明好的东西。不要添加新东西到std内

        正确的方法,既使其他人能调用swap,又能让我们得到更高效的模板特化版本。我们还是 声明一个非成员swap来调用成员swap,只是不再将那个非成员函数声明为std::swap的特化或重载。例如,如果Widget相关机能都在namespace WidgetStuff中:

namespace WidgetStuff {... // 模板化的WidgetImpl等等template<typename T> // 内含swap成员函数class Widget { ... };...template<typename T> //非成员swap函数,这里并不属于std命名空间void swap(Widget<T>& a, Widget<T>& b){a.swap(b);}
}
现在,如果某处有代码打算置换两个Widget对象, 调用了swap,C++的名字查找规则将找到WidgetStuff中的Widget专用版本


现在从客户的观点来看一看,假设你写了一个函数模板来交换两个对象的值,哪一个swap应该被调用呢?std中的通用版本,还是std中通用版本的特化,还是T专用版本(肯定不在std中)?如果T专用版本存在,则调用它;否则就回过头来调用std中的通用版本。如下这样就可以符合你的希望:

template<typename T>
void doSomething(T& obj1, T& obj2)
{using std::swap; // 令std::swap在此函数内可用...swap(obj1, obj2); // 为T类型对象调用最佳swap版本...
}

        当编译器看到这个swap调用,他会寻找正确的swap版本来调用。如果T是namespace WidgetStuff中的Widget,编译器会利用参数依赖查找(argument-dependent lookup)找到WidgetStuff中的swap;如果T专用swap不存在,编译器将使用std中的swap,这归功于此函数中的using声明式使std::swap在此可见。尽管如此,相对于通用模板,编译器还是更喜欢T专用的std::swap特化,所以如果std::swap对T进行了特化,则特化的版本会被使用。

        需要小心的是,不要对调用加以限定,因为这将影响C++挑选适当函数:

std::swap(obj1, obj2);   //这是错误的swap调用方式
这将强制编译器只考虑std中的swap(包括任何模板特化),因此排除了定义在别处的更为适用的T专用版本被调用的可能性。


总结:

第一,如果swap的缺省实现为你的类或类模板提供了可接受的性能,你不需要做任何事。任何试图交换类型的对象的操作都会得到缺省版本的支持,而且能工作得很好。

第二,如果swap缺省实现效率不足(这几乎总是意味着你的类或模板使用了某种pimpl手法),就按照以下步骤来做:

1.   提供一个public的swap成员函数,能高效地交换你的类型的两个对象值,这个函数应该永远不会抛出异常。

2.   在你的类或模板所在的同一个namespace中,提供一个非成员的swap,用它调用你的swap成员函数。

3.   如果你写了一个类(不是类模板),为你的类特化std::swap,并令它调用你的swap 成员函数。

最后,如果你调用swap,确保在你的函数中包含一个using 声明式使std::swap可见,然后在调用swap时不使用任何namespace修饰符。

警告

        绝不要让swap的成员版本抛出异常。这是因为swap非常重要的应用之一是为类(以及类模板)提供强大的异常安全(exception-safety)保证。如果你写了一个swap的自定义版本,那么,典型情况下你提供一个更有效率的交换值的方法,也保证这个方法不会抛出异常。这两种swap的特型紧密地结合在一起,因为高效的交换几乎总是基于内置类型(如pimpl手法下的指针)的操作,而对内置类型的操作绝不会抛出异常。




这篇关于条款25 考虑写出一个不抛异常的swap函数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1113708

相关文章

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数(ScopeFunctions)是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言:为什么需要作用域函数?二、作用域函China编程数详解1. apply:对象配置的 “流式构建器”最

Java异常架构Exception(异常)详解

《Java异常架构Exception(异常)详解》:本文主要介绍Java异常架构Exception(异常),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1. Exception 类的概述Exception的分类2. 受检异常(Checked Exception)

Android Kotlin 高阶函数详解及其在协程中的应用小结

《AndroidKotlin高阶函数详解及其在协程中的应用小结》高阶函数是Kotlin中的一个重要特性,它能够将函数作为一等公民(First-ClassCitizen),使得代码更加简洁、灵活和可... 目录1. 引言2. 什么是高阶函数?3. 高阶函数的基础用法3.1 传递函数作为参数3.2 Lambda

Java报NoClassDefFoundError异常的原因及解决

《Java报NoClassDefFoundError异常的原因及解决》在Java开发过程中,java.lang.NoClassDefFoundError是一个令人头疼的运行时错误,本文将深入探讨这一问... 目录一、问题分析二、报错原因三、解决思路四、常见场景及原因五、深入解决思路六、预http://www

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

kotlin的函数forEach示例详解

《kotlin的函数forEach示例详解》在Kotlin中,forEach是一个高阶函数,用于遍历集合中的每个元素并对其执行指定的操作,它的核心特点是简洁、函数式,适用于需要遍历集合且无需返回值的场... 目录一、基本用法1️⃣ 遍历集合2️⃣ 遍历数组3️⃣ 遍历 Map二、与 for 循环的区别三、高

一文带你深入了解Python中的GeneratorExit异常处理

《一文带你深入了解Python中的GeneratorExit异常处理》GeneratorExit是Python内置的异常,当生成器或协程被强制关闭时,Python解释器会向其发送这个异常,下面我们来看... 目录GeneratorExit:协程世界的死亡通知书什么是GeneratorExit实际中的问题案例

C语言字符函数和字符串函数示例详解

《C语言字符函数和字符串函数示例详解》本文详细介绍了C语言中字符分类函数、字符转换函数及字符串操作函数的使用方法,并通过示例代码展示了如何实现这些功能,通过这些内容,读者可以深入理解并掌握C语言中的字... 目录一、字符分类函数二、字符转换函数三、strlen的使用和模拟实现3.1strlen函数3.2st

MySQL中COALESCE函数示例详解

《MySQL中COALESCE函数示例详解》COALESCE是一个功能强大且常用的SQL函数,主要用来处理NULL值和实现灵活的值选择策略,能够使查询逻辑更清晰、简洁,:本文主要介绍MySQL中C... 目录语法示例1. 替换 NULL 值2. 用于字段默认值3. 多列优先级4. 结合聚合函数注意事项总结C