本文共 2484 字，大约阅读时间需要 8 分钟。

本文根据作者个人理解介绍C++20标准中引入的新概念：Concept

 

强大的泛型编程

 

基本上从C++语言出现开始，泛型编程就是C++的重要组成部分之一。使用编程，可以在实现一次编程多次使用的同时，又不会损失精度。简直就是完美。例如我们可以实现一个简单的、可以处理多种数据类型的模板加法函数：

 

template
   
    T add(T in1, T in2){
      return in1 + in2;}
   

有了这个模板函数之后，可以使用它处理各种数据类型。例如：

​​​​​​​

std::cout << add(1, 3) << std::endl;std::cout << add(2.0, 4.0) << std::endl;

编译器可以根据输入数据的类型自动生成下面的函数（可能不严密），从而避免代码冗余。

​​​​​​​

int add(int in1, int in2){
      return in1 + in2;}double add(double in1, double in2){
      return in1 + in2;}

泛型编程在实现和算法相关的处理时特别有用。C++标准库中的容器，算法等功能库中，大量使用的泛型编程。

 

困难的泛型编程

 

如果只是使用C++标准库中的容器、算法的话，一般不会遇到太大的问题。一旦自己要设计、开发和调试模板库，就会立即遭遇泛型编程的首要难题：问题的判断、解决都很困难。作者本人就有过由于实在难于调试，因此先改回一般函数，调试完成后再转成模板方式的经历。例如我们另外设计一个复数类：

​​​​​​​

class Complex{
  public:    double real = 0;    double imaginary = 0;};

同样对它调用add函数：

 

std::cout << add(Complex{ 1,2 }, Complex{ 2,-3 });

编译之后，开发环境显示如下：

信息的内容主要有：

出错的位置是代码第22行。由于这个模板函数已经可以用于整数和双精度数，错误的原因不在模板函数本身，而是在调用模板时使用实际数据Complex。但问题是错误信息并没有提示是哪个调用出的问题。

另外，错误信息显示没有匹配的+操作符，这是真正的原因。但是接下来Complex没有从各种类继承等附注信息就只有添乱了。作者相信只要使用过泛型编程的程序员都会有过类似的经历。

对策很简单，重载一个针对Complex的+运算符就行了。

 

C++20新特性之Concept

 

很快就会正式发布的C++20引入了一个新特性-Concept。简单讲就是描述模板参数的特性和要求。例如对于add模板函数来讲，我们要求模板参数是可以执行加法运算的，这是可以定义下面的Concept：

​​​​​​​

template
   
    concept Addable = requires (T obj) {
  {obj + obj}->std::same_as
    
     ;};
    
   

concept Addable声明名为Addable的概念。

requires用来描述各种需求，它的参数有点像函数的参数定义，参数的类型可以是模板参数（例如T），也可以是已经定义的其他类型。参数名obj的作用类似变量，会在需求描述中使用。

{obj+obj}描述加法运算，它的涵义是T类型的对象obj需要支持加法运算，而花括号后面的->所指的是花括号中的运算结果应该满足的条件，这里使用了标准库中的same_as约束，要求结果类型和T是一样的。

简单说来，就是T类型应该支持加法运算，而且结果类型还是T。

定义Concept之后，模板函数这样写：

​​​​​​​

template
   
    T add(T in1, T in2){
      return in1 + in2;}
   

唯一的变化就是将typename T改成了Addable T，表明这个T是要符合Addable概念的。引入的Concept之后，同样的问题，显示的错误信息完全不同：

出错的位置从模板函数内部变成了调用模板函数的代码（58行）。软件规模变大之后，快速定位引发问题的位置特别重要。

错误提示也很清晰，都是说没有满足特定的约束条件。没有任何干扰信息。

 

扩展阅读

 

目前，关于Concept的资料还很少，例如：

https://zh.cppreference.com/w/cpp/language/constraints

https://www.modernescpp.com/index.php/c-20-concepts-the-details

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/n4849.pdf

读者可以在阅读本文之后去理解这些资料。

 

体验Concepts

 

虽然C++20还没有正式发布，但是无论GCC还是VisutalStudio都对C++20提供了一定程度的支持。体验Concept的方法请参照作者的以下文章：

无论哪种情况都需要设定C++标准为C++2a以上这一点不要忘了。

 

---

新书介绍

以下是本人3月份出版的新书，拜托多多关注！

 

本书利用Python 的标准GUI 工具包tkinter，通过可执行的示例对23 个设计模式逐个进行说明。这样一方面可以使读者了解真实的软件开发工作中每个设计模式的运用场景和想要解决的问题；另一方面通过对这些问题的解决过程进行说明，让读者明白在编写代码时如何判断使用设计模式的利弊，并合理运用设计模式。

对设计模式感兴趣而且希望随学随用的读者通过本书可以快速跨越从理解到运用的门槛；希望学习Python GUI 编程的读者可以将本书中的示例作为设计和开发的参考；使用Python 语言进行图像分析、数据处理工作的读者可以直接以本书中的示例为基础，迅速构建自己的系统架构。

 

觉得本文有帮助？欢迎点赞并分享给更多的人。

阅读更多更新文章，请关注微信公众号【面向对象思考】

转载地址：https://oothinking.blog.csdn.net/article/details/107434243 如侵犯您的版权，请留言回复原文章的地址，我们会给您删除此文章，给您带来不便请您谅解！