目录

前言

模板在C++一直是比较神秘的存在。STLBoost中都有大量运用模板,但是对于普通的程序员来说,模板仅限于使用。在一般的编程中,很少会有需要自己定义模板的情况。但是作为一个有理想的程序员,模板是一个绕不过去的坎。由于C++标准的不断改进,模板的能力越来越强,使用范围也越来越广。

在C++11中,模板增加了constexpr,可变模板参数,回返类型后置的函数声明扩展了模板的能力;增加了外部模板加快了模板的编译速度;模板参数的缺省值,角括号和模板别名使模板的定义和使用变得更加的简洁。

C++14中,放宽了constexpr的限制,增加了变量模板。

C++17中,简化模板的构造函数,使模板更加易用;Folding使得模板在定义中更加方便。

C++20是一个大版本更新,对于模板来说,也有很大的进步。对于个人来说,最喜欢的应该就是concept了,它让模板可以判断模板参数是不是符合要求,同时也对模板的特化提供了更进一部的支持(以后再也不用看着模板成吨的报错流泪了。);同时它还要求大部分的STL库都支持constexpr,使得很多类可以在编译期直接使用(以后模板元编程就不是单纯的函数式语言了吧,感觉以后C++的编程会变得非常奇怪)。

而随着模板一步步的完善,大佬们发现模板的功能居然已经实现了图灵完备,于是各种骚操作层出不穷,比如俄罗斯方块Super Template Tetris

作为一个小老弟,当然是还没有能力写出一个可以媲美俄罗斯方块的程序,不过写一些简单的排序还是可以的。

这里我分享的是一个选择排序算法。为什么选择选择排序呢?因为它排序的时候,他对于元素的位置改变是比较少的。个人感觉函数元编程最复杂的就是对元素进行修改位置了吧。

代码详解

数据的结构

template<int ...data>
struct mvector; template<int first, int ...data>
struct mvector<first, data...> {
static constexpr int size = sizeof...(data) + 1;
static constexpr int value = first;
typedef mvector<data...> next_type;
constexpr static std::array<int, sizeof...(data) + 1> array = {first, data...};
}; template<int first>
struct mvector<first> {
static constexpr int size = 1;
static constexpr int value = first;
typedef mvector<> next_type;
constexpr static int array[] = {first};
}; template<>
struct mvector<> {
static constexpr int size = 0;
static constexpr int value = -1;
typedef mvector<> next_type;
constexpr static int array[] = {};
};

这里我们定义了一个mvcetor模板,他的作用就是用来保存数据的。模板的原型是

template<int ...data>
struct mvector;

他可以输入任意数量的整数(模板参数可以看作是输入)。

根据后面的特化,模板一共有四个属性或类型(这些可以看作是模板的输出),分别是sizevalue(第一个元素的值,方便后面的迭代),next_type(除去头的尾部,方便迭代),arraymvector的数组表现形式)。

数据的操作

分割向量

// 分割向量
template<int index, typename T, typename S>
struct SplitVector; template<int index, int ...LeftData, int ...RightData>
struct SplitVector<index, mvector<LeftData...>, mvector<RightData...>> {
typedef SplitVector<index - 1, mvector<LeftData..., mvector<RightData...>::value>, typename mvector<RightData...>::next_type> next_split;
typedef typename next_split::LeftVector LeftVector;
typedef typename next_split::RightVector RightVector;
}; template<int ...LeftData, int ...RightData>
struct SplitVector<0, mvector<LeftData...>, mvector<RightData...>> {
typedef mvector<LeftData...> LeftVector;
typedef typename mvector<RightData...>::next_type RightVector;
};

这个模板的主要目的是将向量从某一部分分离出来(取最大值)。

模板的输入有三个:index(要分离的元素的位置在RightData的位置),LeftData(分离的左边),RightData(分离的右边)。

输出有LeftVector(出来的左边),RightVector(出来的右边)。

合并向量


// 合并向量
template<typename T, typename S>
struct MergeVector; template<int ...dataa, int ...datab>
struct MergeVector<mvector<dataa...>, mvector<datab...>> {
typedef mvector<dataa..., datab...> result_type;
};

将两个向量合并,主要是用在分割后的向量。

寻找最大值

template<int now_index, typename U, typename V>
struct FindMax; template<int now_index, int ...Looped, int ...unLooped>
struct FindMax<now_index, mvector<Looped...>, mvector<unLooped...>> {
typedef FindMax<now_index + 1, mvector<Looped..., mvector<unLooped...>::value>, typename mvector<unLooped...>::next_type> next_max;
constexpr static int max = mvector<unLooped...>::value > next_max::max ? mvector<unLooped...>::value : next_max::max;
constexpr static int max_index = mvector<unLooped...>::value > next_max::max ? now_index : next_max::max_index;
}; template<int now_index, int ...Looped>
struct FindMax<now_index, mvector<Looped...>, mvector<>> {
typedef FindMax<now_index, mvector<Looped...>, mvector<>> next_max;
constexpr static int max = -1;
constexpr static int max_index = now_index;
};

寻找向量中的最大值。输入有now_indexLooped(已经比较的部分),unLooped(未比较的部分)。其中now_index是多余的,可以使用sizeof...(Looped)来代替。

输出是max(最大值),max_index(最大值的位置,方便后面的分割)

排序

对数据操作完成了,这个程序也就完成了一大半了,排序也是非常的简单,从未排序的列表中,选择最大的值,放到已经排序好的列表的前面就好了。

// 排序
template<typename T, typename S>
struct SelectSortWork; template<int ...unSorted, int ...Sorted>
struct SelectSortWork<mvector<unSorted...>, mvector<Sorted...>> {
typedef FindMax<0, mvector<>, mvector<unSorted...>> max_find_type;
constexpr static int max = max_find_type::max;
constexpr static int max_index = max_find_type::max_index;
typedef SplitVector<max_index, mvector<>, mvector<unSorted...>> split_type;
typedef SelectSortWork<typename MergeVector<typename split_type::LeftVector, typename split_type::RightVector>::result_type, mvector<max, Sorted...>> next_select_sort_work_type;
typedef typename next_select_sort_work_type::sorted_type sorted_type;
}; template<int ...Sorted>
struct SelectSortWork<mvector<>, mvector<Sorted...>> {
typedef mvector<Sorted...> sorted_type;
};

总结

代码我放在了github的gist上,select_sort.cpp

总的来说,代码还是非常的简单的,只要合理的进行分解,大部分的算法应该都是可以实现的。

在编程的过程中,我也有一些自己的领悟,对于模板元编程的几点小Tips,在这里给大家介绍一下吧。

  1. 如果熟悉函数式编程的话,再来学习模板元编程,对于其中的理解会更加的深刻,所以最好在开始准备学习之前,先学习一下函数式编程会比较好(虽然这个过程会非常的痛苦)。
  2. 类模板可以看作是一个函数,有输入输出。输入是模板的参数,输出是模板里面的类型或者变量,这些输出也可以作为函数计算的中间变量,方便编码。
  3. 模板元编程,一定要有耐心,特别是debug,会特别的难受

博客原文:https://www.cnblogs.com/ink19/p/cpp_template_select_sort.html

C++模板元编程----选择排序的更多相关文章

  1. C++模板元编程 - 函数重载决议选择工具(不知道起什么好名)完成

    这个还是基于之前实现的那个MultiState,为了实现三种类型“大类”的函数重载决议:所有整数.所有浮点数.字符串,分别将这三种“大类”的数据分配到对应的Converter上. 为此实现了一些方便的 ...

  2. C++模板元编程(C++ template metaprogramming)

    实验平台:Win7,VS2013 Community,GCC 4.8.3(在线版) 所谓元编程就是编写直接生成或操纵程序的程序,C++ 模板给 C++ 语言提供了元编程的能力,模板使 C++ 编程变得 ...

  3. 读书笔记_Effective_C++_条款四十八:了解模板元编程

    作为模板部分的结束节,本条款谈到了模板元编程,元编程本质上就是将运行期的代价转移到编译期,它利用template编译生成C++源码,举下面阶乘例子: template <int N> st ...

  4. effective c++ Item 48 了解模板元编程

    1. TMP是什么? 模板元编程(template metaprogramming TMP)是实现基于模板的C++程序的过程,它能够在编译期执行.你可以想一想:一个模板元程序是用C++实现的并且可以在 ...

  5. 读书笔记 effective c++ Item 48 了解模板元编程

    1. TMP是什么? 模板元编程(template metaprogramming TMP)是实现基于模板的C++程序的过程,它能够在编译期执行.你可以想一想:一个模板元程序是用C++实现的并且可以在 ...

  6. 初识C++模板元编程(Template Mega Programming)

    前言:毕设时在开源库上做的程序,但是源码看得很晕(当时导师告诉我这是模板元编程,可以不用太在乎),最近自己造轮子时想学习STL的源码,但也是一样的感觉,大致了解他这么做要干什么,但是不知道里面的机制. ...

  7. 现代c++与模板元编程

    最近在重温<c++程序设计新思维>这本经典著作,感慨颇多.由于成书较早,书中很多元编程的例子使用c++98实现的.而如今c++20即将带着concept,Ranges等新特性一同到来,不得 ...

  8. C++ 模板元编程 学习笔记

    https://blog.csdn.net/K346K346/article/details/82748163 https://www.jianshu.com/p/b56d59f77d53 https ...

  9. C++模板元编程----堆排序

    目录 目录 前言 实现的一些小细节 Debug 惰性求值 总结 Ref 前言 经过前两次经验的积累,终于来到了麻烦的堆排序.在一开始接触模板元编程的时候,我就期望有一天能够写出元编程堆排序的代码.原因 ...

随机推荐

  1. 5、Spring Boot缓存

    1.JSR107 Java Caching定义了5个核心接口,分别是CachingProvider.CacheManager.Cache.Entry.Expiry. CachingProvider:定 ...

  2. 免费|申请谷歌云服务器|msf安装

    apt-get install -y wget 参考链接 知乎-免费|申请谷歌云服务器 知乎-免费|申请谷歌云服务器 cnblogs-debian.ubuntu安装metasploit通用方法 谷歌云 ...

  3. 设置cmd默认管理员模式启动

    打开cmd文件位置

  4. Hadoop window提交出错:Permission denied

    错误信息: Caused by: org.apache.hadoop.ipc.RemoteException(org.apache.hadoop.security.AccessControlExcep ...

  5. ABBYY FineReader如何将图片转换为Excel

    ABBYY FineReader的OCR文字识别功能很强大,不但可以将文件转换为文本文档或Word文档,也可以识别PDF文件或者图片上的表格,并且转换为Excel文件.下面我就为大家演示一下怎么用AB ...

  6. Mac升级资料丢失怎么办?EasyRecovery能恢复嘛?

    随着越来越多的用户选择性能更高的mac笔记本来工作,一般情况下,为了保证用户有一个很好的使用体验,Mac系统会在一定的时间内进行系统的更新,弥补前一个版本的不足.结果就有一些用户反应Mac升级后,电脑 ...

  7. jQuery 第十章 ajax 什么是回调地狱 优化回调地狱

    回调地狱 什么是回调地狱,回调函数,一个嵌套着一个,到最后,缩略图成了 一个三角形, 造成了可阅读性差,可阅读性差就代表代码的可维护性 和 可迭代性差,最后还有一个就是可扩展性差. 也不符合设计模式的 ...

  8. 使用Python开发鸿蒙设备程序(0-初体验)

    到目前为止,鸿蒙设备开发的"官方指定语言"还是C语言! 这看起来是一件正常的事,毕竟鸿蒙设备开发还是属于嵌入式开发的范畴,而在嵌入式开发中C语言又是当之无愧的首选,所以,大家也都接 ...

  9. 项目开发中的git简单使用

    原文地址: https://www.zhuyilong.fun/tech/the-blog-git.html 示例远程仓库地址: https://github.com/zhu-longge/gitWo ...

  10. 蓝桥杯——剪邮票(2016JavaB组第10题)

    剪邮票(16JavaB10) 如[图1], 有12张连在一起的12生肖的邮票. 现在你要从中剪下5张来,要求必须是连着的. (仅仅连接一个角不算相连) 比如,[图2],[图3]中,粉红色所示部分就是合 ...