泛型是一种概念,C++中的模板是对泛型的支持和实现.
---------------------------------------------------------------
简单地说,泛型程式设计是一种「将资料型别叁数化」的思维模式。C++ 的 template 机制就是泛型技术的一个具体载具。在 C++ 中,不论是 functions 或是 classes,皆可将其中所需要的资料型别以一个保留器(placeholder)代表,这个保留器亦即所谓的 template 叁数。例如 function template 如下:
template<typename T1, typename T2)
void func(T1 param1, T2 param2) { /* ... */ }
或是 class template:
template<typename T1, typename T2)
class A { /* ... */ }
一旦程式中使用函式 func() 或 class A 时:
func(5, 2.3);
A<int, double> a;
编译器即根据 function template 的函式引数、或是明白标示的 class template 引数,自动推导出一份函式实体或 class 实体。换言之这项具现化动作在编译时期就完成,不会增加执行时期的成本。(关於 template 的语法与性能,请叁考任何一本「年轻的」C++ 全貌型书籍)
STL 是泛型概念的一套实作品。从学理上来说,它其实是一套严谨的 "concepts" 分类学。这里所谓的 concepts 有其严肃定义,意指「对某种型别的一些条件需求」。满足这些条件者,称为该 concepts 的 models。STL concepts 并没有实际对应到 C++ 或其他语言的任何东西。
---------------------------------------------------------------
对于c++编程来说
泛型编程就是STL编程
---------------------------------------------------------------
泛型程式设计和模板,在技术上有共同点很相似,但不能完全等同,泛型程式设计是一种艺术,一种程序设计的理念(实在想不出更好的词了),而模板是一种纯技术。
---------------------------------------------------------------
泛型程序设计也叫通用型程序设计,
使一个算法或结构能独立与其中的细节,即类型,达到更高级的抽象
---------------------------------------------------------------
泛型是一种方法,模板是如何在C++里面使用这个方法
什么是范型程序设计(GP),范性和模板的关系是什么?
最新推荐文章于 2022-02-25 19:38:17 发布