当前位置：首页 > 科技 > 软件

玩转C++方法模板，编程技能秒提升

来源：责编：时间：2023-12-15 17:17:44 215观看

导读方法模板C++ 中的方法模板C++ 允许对类的单个方法进行模板化。这种方法被称为方法模板，可以存在于普通类或类模板中。编写方法模板实际上就是为许多不同类型编写该方法的不同版本。方法模板对于类模板中的赋值运算符和

方法模板

C++ 中的方法模板

C++ 允许对类的单个方法进行模板化。这种方法被称为方法模板，可以存在于普通类或类模板中。编写方法模板实际上就是为许多不同类型编写该方法的不同版本。方法模板对于类模板中的赋值运算符和拷贝构造函数非常有用。

警告：虚方法和析构函数不能是方法模板。

考虑仅有一个模板参数的原始 Grid 模板：元素类型。您可以实例化许多不同类型的网格，例如 int 和 double：

Grid<int> myIntGrid;Grid<double> myDoubleGrid;

然而，Grid<int> 和 Grid<double> 是两种不同的类型。如果你编写一个接受 Grid<double> 类型对象的函数，你不能传递 Grid<int>。即使你知道 int 网格的元素可以复制到 double 网格的元素中，因为 int 可以转换为 double，但你不能将 Grid<int> 类型的对象赋值给 Grid<double> 类型的对象，或从 Grid<int> 构造 Grid<double>。以下两行都无法编译：

myDoubleGrid = myIntGrid; // 无法编译Grid<double> newDoubleGrid { myIntGrid }; // 无法编译

问题在于 Grid 模板的拷贝构造函数和赋值运算符定义如下：

Grid(const Grid& src);Grid& operator=(const Grid& rhs);

等效于：

Grid(const Grid<T>& src);Grid<T>& operator=(const Grid<T>& rhs);

Grid 的拷贝构造函数和 operator= 都需要一个 const Grid<T>& 的引用。当你实例化 Grid<double> 并尝试调用拷贝构造函数和 operator= 时，编译器生成以下原型的方法：

Grid(const Grid<double>& src);Grid<double>& operator=(const Grid<double>& rhs);

注意，生成的 Grid<double> 类中没有接受 Grid<int> 的构造函数或 operator=。

幸运的是，您可以通过向 Grid 类添加模板化的拷贝构造函数和赋值运算符的版本来纠正这种疏忽，从而生成将一个网格类型转换为另一个网格类型的方法。以下是新的 Grid 类模板定义：

export template <typename T>class Grid {public:    template <typename E>    Grid(const Grid<E>& src);    template <typename E>    Grid& operator=(const Grid<E>& rhs);    void swap(Grid& other) noexcept;    // 为了简洁省略部分内容};

原始的拷贝构造函数和拷贝赋值运算符不能被移除。如果 E 等于 T，编译器不会调用这些新的模板化拷贝构造函数和模板化拷贝赋值运算符。首先查看新的模板化拷贝构造函数：

template <typename E>Grid(const Grid<E>& src);

您可以看到有另一个模板声明，使用不同的类型名 E（代表“元素”）。类在一个类型 T 上进行模板化，新的拷贝构造函数也在不同的类型 E 上进行模板化。这种双重模板化允许您将一个类型的网格复制到另一个类型。以下是新拷贝构造函数的定义：

template <typename T>template <typename E>Grid<T>::Grid(const Grid<E>& src)    : Grid { src.getWidth(), src.getHeight() } {    // 此构造函数的 ctor-initializer 首先委托给非拷贝构造函数来分配适当的内存量。    // 下一步是复制数据。    for (size_t i { 0 }; i < m_width; i++) {        for (size_t j { 0 }; j < m_height; j++) {            m_cells[i][j] = src.at(i, j);        }    }}

如您所见，您必须在成员模板行（带 E 参数）之前声明类模板行（带 T 参数）。您不能像这样组合它们：

template <typename T, typename E> // 对于嵌套模板构造函数错误！Grid<T>::Grid(const Grid<E>& src)

除了构造函数定义之前的额外模板参数行外，注意您必须使用公共访问方法 getWidth()、getHeight() 和 at() 来访问 src 的元素。那是因为您正在复制到的对象是 Grid<T> 类型的，而您正在复制的对象是 Grid<E> 类型的。它们不是同一类型，所以您必须使用公共方法。

swap() 方法实现如下：

template <typename T>void Grid<T>::swap(Grid& other) noexcept {    std::swap(m_width, other.m_width);    std::swap(m_height, other.m_height);    std::swap(m_cells, other.m_cells);}

模板化赋值运算符接受一个 const Grid<E>&，但返回一个 Grid<T>&：

template <typename T>template <typename E>Grid<T>& Grid<T>::operator=(const Grid<E>& rhs) {    // 使用复制-交换习惯用法    Grid<T> temp { rhs }; // 在临时实例中完成所有工作。    swap(temp); // 仅通过非抛出操作提交工作。    return *this;}

这个赋值运算符的实现使用了复制-交换习惯用法。swap() 方法只能交换同一类型的 Grids，但这没关系，因为这个模板化赋值运算符首先使用模板化拷贝构造函数将给定的 Grid<E> 转换为 Grid<T>，名为 temp。之后，它使用 swap() 方法将这个临时的 Grid<T> 与 this（也是 Grid<T> 类型）交换。

使用非类型参数的方法模板

不同大小网格的赋值和拷贝

在先前的例子中，使用整数模板参数 HEIGHT 和 WIDTH，主要问题是高度和宽度成为了类型的一部分。这种限制阻止了将一个尺寸的网格赋值给另一个不同尺寸的网格。然而，在某些情况下，将一个大小的网格赋值或拷贝给不同大小的网格是可取的。与其使目标对象成为源对象的完美克隆，不如只从源数组中复制适合目标数组的元素，并在源数组较小的维度上用默认值填充目标数组。使用赋值运算符和拷贝构造函数的方法模板，您可以做到这一点，从而允许赋值和拷贝不同大小的网格。以下是类定义：

export template <typename T, size_t WIDTH = 10, size_t HEIGHT = 10>class Grid {public:    Grid() = default;    virtual ~Grid() = default;    // 明确默认拷贝构造函数和赋值运算符。    Grid(const Grid& src) = default;    Grid& operator=(const Grid& rhs) = default;    template <typename E, size_t WIDTH2, size_t HEIGHT2>    Grid(const Grid<E, WIDTH2, HEIGHT2>& src);    template <typename E, size_t WIDTH2, size_t HEIGHT2>    Grid& operator=(const Grid<E, WIDTH2, HEIGHT2>& rhs);    void swap(Grid& other) noexcept;    std::optional<T>& at(size_t x, size_t y);    const std::optional<T>& at(size_t x, size_t y) const;    size_t getHeight() const { return HEIGHT; }    size_t getWidth() const { return WIDTH; }private:    void verifyCoordinate(size_t x, size_t y) const;    std::optional<T> m_cells[WIDTH][HEIGHT];};

这个新定义包括拷贝构造函数和赋值运算符的方法模板，以及一个辅助方法 swap()。注意，非模板化的拷贝构造函数和赋值运算符是明确默认的（因为用户声明了析构函数）。它们仅复制或赋值源对象的 m_cells 到目标对象，这正是对于相同大小的两个网格所希望的语义。

下面是模板化拷贝构造函数的实现：

template <typename T, size_t WIDTH, size_t HEIGHT>template <typename E, size_t WIDTH2, size_t HEIGHT2>Grid<T, WIDTH, HEIGHT>::Grid(const Grid<E, WIDTH2, HEIGHT2>& src) {    for (size_t i { 0 }; i < WIDTH; i++) {        for (size_t j { 0 }; j < HEIGHT; j++) {            if (i < WIDTH2 && j < HEIGHT2) {                m_cells[i][j] = src.at(i, j);            } else {                m_cells[i][j].reset();            }        }    }}

请注意，此拷贝构造函数仅从 src 中复制 x 和 y 维度上的 WIDTH 和 HEIGHT 元素，即使 src 比这更大。如果 src 在任一维度上较小，则额外位置的 std::optional 对象使用 reset() 方法重置。

下面是 swap() 方法和赋值运算符 operator= 的实现：

template <typename T, size_t WIDTH, size_t HEIGHT>void Grid<T, WIDTH, HEIGHT>::swap(Grid& other) noexcept {    std::swap(m_cells, other.m_cells);}template <typename T, size_t WIDTH, size_t HEIGHT>template <typename E, size_t WIDTH2, size_t HEIGHT2>Grid<T, WIDTH, HEIGHT>& Grid<T, WIDTH, HEIGHT>::operator=(    const Grid<E, WIDTH2, HEIGHT2>& rhs) {    // 使用复制-交换习惯用法    Grid<T, WIDTH, HEIGHT> temp { rhs }; // 在临时实例中完成所有工作。    swap(temp); // 仅通过非抛出操作提交工作。    return *this;}

这个赋值运算符的实现使用了复制-交换习惯用法。swap() 方法只能交换相同类型的 Grids，但这是可以的，因为这个模板化赋值运算符首先使用模板化拷贝构造函数将给定的 Grid<E, WIDTH2, HEIGHT2> 转换为 Grid<T, WIDTH, HEIGHT>，称为 temp。之后，它使用 swap() 方法交换这个临时 Grid<T, WIDTH, HEIGHT> 和 this。

本文链接：http://www.28at.com/showinfo-26-46477-0.html玩转C++方法模板，编程技能秒提升

声明：本网页内容旨在传播知识，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。邮件：2376512515@qq.com

上一篇：自己动手写数据库：解析 Select 语句并生成查询树

下一篇：数据结构：Vec<T>、&[T]、Box<[T]> ，你真的了解集合容器么？

标签：

热门焦点

小米降噪蓝牙耳机Necklace分享：听一首歌读懂一个故事

在今天下午的小米Civi 2新品发布会上，小米还带来了一款新的降噪蓝牙耳机Necklace，我们也在发布结束的第一时间给大家带来这款耳机的简单分享。现在大家能见到最多的蓝牙耳机
小米平板5 Pro 12.4简评：多专多能兼顾影音娱乐的大屏利器

疫情带来了网课，网课盘活了安卓平板，安卓平板市场虽然中途停滞了几年，但好的一点就是停滞的这几年行业又有了新的发展方向，例如超窄边框、高刷新率、多摄镜头组合等，这就让安卓
5月iOS设备性能榜：M1 M2依旧是榜单前五

和上个月一样，没有新品发布的iOS设备性能榜的上榜设备并没有什么更替，仅仅只有跑分变化而产生的排名变动，刚刚开始的苹果WWDC2023，推出的产品也依旧是新款Mac Pro、新款Mac Stu
iPhone卖不动了！苹果股价创年内最大日跌幅：市值一夜蒸发万亿元

8月5日消息，今天凌晨美股三大指数高开低走集体收跌，道指跌0.41%；纳指跌0.36%；标普500指数跌0.52%。热门科技股也都变化极大，其中苹果报181.99美元，跌4.8%，创
学习JavaScript的10个理由...

作者 | Simplilearn编译 | 王瑞平当你决心学习一门语言的时候，很难选择到底应该学习哪一门，常用的语言有Python、Java、JavaScript、C/CPP、PHP、Swift、C#、Ruby、Objective-
十个简单但很有用的Python装饰器

装饰器（Decorators）是Python中一种强大而灵活的功能，用于修改或增强函数或类的行为。装饰器本质上是一个函数，它接受另一个函数或类作为参数，并返回一个新的函数或类。它们通常用
一文搞定Java NIO，以及各种奇葩流

大家好，我是哪吒。很多朋友问我，如何才能学好IO流，对各种流的概念，云里雾里的，不求甚解。用到的时候，现百度，功能虽然实现了，但是为什么用这个？不知道。更别说效率问题了~下次再遇到，
iQOO 11S或7月上市：搭载“鸡血版”骁龙8Gen2 史上最强5G Soc

去年底，iQOO推出了“电竞旗舰”iQOO 11系列，作为一款性能强机，iQOO 11不仅全球首发2K 144Hz E6全感屏，搭载了第二代骁龙8平台及144Hz电竞屏，同时在快充
“买真退假” 这种“羊毛”不能薅

□ 法治日报记者王春　　□ 本报通讯员胡佳丽　　2020年初，还在上大学的小东加入了一个大学生兼职QQ群。群主“七王”在群里介绍一些刷单赚