c++ 泛型

目录

1. 什么是泛型

2. 为什么需要泛型

3.泛型如何用


参考 泛型是什么,C++泛型编程又是什么?

1. 什么是泛型

泛型是什么,C++泛型编程又是什么?

泛型,实质上就是不使用具体数据类型(例如 int、double、float 等),而是使用一种通用类型来进行程序设计的方法,该方法可以大规模的减少程序代码的编写量,让程序员可以集中精力用于业务逻辑的实现。

维基-Generic programming

Generic programming is defined in Musser & Stepanov (1989) as follows,

泛型在 Musser & Stepanov (1989)中定义如下:

Generic programming centers around the idea of abstracting from concrete, efficient algorithms to obtain generic algorithms that can be combined with different data representations to produce a wide variety of useful software.

泛型的核心思想是从具体的、高效的算法中抽象出来,获得通用算法,这些算法可以与不同的数据表示结合,生成各种各样的有用软件。

— Musser, David R.; Stepanov, Alexander A., Generic Programming

What are generics in programming?

Generics are kind of like functions for variable types. Normally, you make a function for a task that you do a lot of, so instead of having to repeat the same code over and over again, you let the compiler and computer do that behind the scenes for you. 

泛型类似于变量类型的函数。通常情况下,你为一个你做了很多的任务创建一个函数,所以不必一遍又一遍地重复同样的代码,你可以让编译器和计算机在幕后为你做这些。

C++ 泛型(模板与容器)

泛型编程(Generic Programming)是一种语言机制,通过它可以实现一个标准的容器库。
像类一样,泛型也是一种抽象数据类型,但是泛型不属于面向对象,它是面向对象的补充和发展。在面向对象编程中,当算法与数据类型有关时,面向对象在对算法的抽象描述方面存在一些缺陷。

泛型在C++中的主要实现为模板函数和模板类。

2. 为什么需要泛型

C++ 泛型(模板与容器)

泛型在C++中的主要实现为模板函数和模板类。
通常使用普通的函数实现一个与数据类型有关的算法是很繁琐的,比如两个数的加法,要
考虑很多类型:

int add(int a,int b) { return a+b; }
float add(float a,float b) { return a+b; }

在C++中可以通过函数重载来解决这个问题,但是反复写相同算法的函数是比较辛苦的,更重要的是函数重载是静态编译,运行时占用过多内存。
在此我们可以用C++的模板函数来表达通用型的函数,如下:

template            // 模板声明
T add(T a,T b) { return a+b; }  // 注意形参和返回值的类型

3.泛型如何用

泛型是什么,C++泛型编程又是什么?

#include 
using namespace std;

int add(int a,int b) { return a+b; }
float add(float a,float b) { return a+b; }

template 
T add(T a,T b)   //注意形参和返回类型
{ 
    return a+b;
} 
void main()
{
    int num1, num2, sum; 
    cin>>num1>>num2;
    sum=add(num1,num2); //用int匹配模版参数T,若sum,num1,num2类型不一致则无法匹配。
    cout<

那么,代码中的 T 是什么呢?很明显,这是一个占位符,更确切的说是一个类型占位符。也就是说,将来在 T 这个位置上的是一个真实、具体的数据类型,至于到底是哪个类型,完全取决于用户的需求。

当然,如果硬要给 T 这种类型占位符也叫做一种数据类型,提供这种想法的发明者称它为泛型(generic type),而使用这种类型占位符的编程方式就被称为泛型编程。

        总之一句话,泛型也是一种数据类型,只不过它是一种用来代替所有类型的“通用类型”。在 C++ 中,用以支持泛型应用的就是标准模板库 STL,它提供了 C++ 泛型设计常用的类模板和函数模板。

你可能感兴趣的:(c++,c++,编程语言)