泛型编程(模板)

;泛型编程

即是广泛的类型编程的意思,常常用于那些函数重复编写但只有参数类型或者返回值不同,常用泛型编程解决,C语言呢用宏解决

;c++实现泛型编程用templeate模板来实现,其实就是代码的复制,当编译器扫描到模板初始化语法那么就会在当前文件中实例化一个函数或者类到本文件中,实例化的模板是存在实体的所以可以调试,而模板是不存在实体的,宏替换之后也不存在实体

函数模板(只写函数的实现而不关心其类型,类型通过外部初始化的时候增加一个叫做类型的参数来初始化一个函数模板或者类模板),

定义:每个函数实现一样,只是参数类型不一样那么就只写实现,剩下的编译器帮你完成最终代码(编译之前,预处理之后)

;编译器检查到有实例化模板的语法的时候

1实例化模板(也就是根据类型生成对应的类或者函数到文件)(注意这个是c++编译器自己自动生成实体的哦c是自己手动生成)

2做语法检查

3调用

;C语言宏模板

1先定义

2在自己实例化各个类型的模板实体(注意是自己手动的哦)

;类模板里的成员函数实现不能分开放在cpp中,必须放在.h中和声明在一起(内联函数也是这样)

原因是模板的处理在编译之前 预处理之后,预处理的时候不会处理.cpp文件的,换言之就是如果没找到实现就会报错,因为那时候还没处理到cpp文件呢

;如果模板的类型传进去个是另外的一个模板的话需要加空格

;类成员函数特例(传了特定的参数,那么这个类的这个成员函数,将使用特定的函数来通过模板实例化这个类)

;类特例(传了指定的类型那么构造函数或者析构函数,成员函数全部来这里哦(整个类的代码都特别实例化) 这就是类特例)

;数据成员特例(只有静态诗句成员才能特例)

;类模板传另外一个类模板,也就是说实例化的时候先生成嵌套关系中里面的一个类,然后外面的模板生成的类,使用这个类做参数的类型,或者什么的

时间: 2024-12-13 16:55:50

泛型编程(模板)的相关文章

C++ Primer 学习笔记_76_模板和泛型编程 --模板定义[继续]

模板和泛型编程 --模板定义[续] 四.模板类型形參 类型形參由keywordclass或 typename后接说明符构成.在模板形參表中,这两个keyword具有同样的含义,都指出后面所接的名字表示一个类型. 模板类型形參可作为类型说明符在模板中的不论什么地方,与内置类型说明符或类类型说明符的使用方式全然同样. 详细而言,它能够用于指定返回类型或函数形參类型,以及在函数体中用于变量声明或强制类型转换. template <class T> T calc(const T &a,cons

C++ Primer 学习笔记_75_模板与泛型编程 --模板定义

模板与泛型编程 --模板定义 引言: 所谓泛型程序就是以独立于不论什么特定类型的方式编写代码.使用泛型程序时,我们须要提供详细程序实例所操作的类型或值. 模板是泛型编程的基础.使用模板时能够无须了解模板的定义. 泛型编程与面向对象编程一样,都依赖于某种形式的多态性.面向对象编程中的多态性在执行时应用于存在继承关系的类.我们能够编写使用这些类的代码,忽略基类与派生类之间类型上的差异.仅仅要使用基类的引用或指针,基类类型或派生类类型的对象就能够使用同样的代码. 在泛型编程中,我们所编写的类和函数能够

C++ Primer 学习笔记_84_模板与泛型编程 --模板特化

模板与泛型编程 --模板特化 引言: 我们并不总是能够写出对全部可能被实例化的类型都最合适的模板.某些情况下,通用模板定义对于某个类型可能是全然错误的,通用模板定义或许不能编译或者做错误的事情;另外一些情况下,能够利用关于类型的一些特殊知识,编写比从模板实例化来的函数更有效率的函数. compare函数和 Queue类都是这一问题的好样例:与C风格字符串一起使用进,它们都不能正确工作. compare函数模板: template <typename Type> int compare(cons

C++ Primer 学习笔记_85_模板与泛型编程 --模板特化[续]

模板与泛型编程 --模板特化[续] 三.特化成员而不特化类 除了特化整个模板之外,还可以只特化push和pop成员.我们将特化push成员以复制字符数组,并且特化pop成员以释放该副本使用的内存: template<> void Queue<const char *>::push(const char *const &val) { char *new_item = new char[sizeof(val) + 1]; strncpy(new_item,val,sizeof(

C++ Primer 学习笔记_79_模板与泛型编程 --模板编译模型

模板与泛型编程 --模板编译模型 引言: 当编译器看到模板定义的时候,它不立即产生代码.只有在用到模板时,如果调用了函数模板或定义了模板的对象的时候,编译器才产生特定类型的模板实例. 一般而言,当调用函数时[不是模板],编译器只需看到函数的声明.类似的,定义类类型的对象时,类定义必须可用,但成员函数的定义不是必须存在的.因此,应该将类定义和函数声明放在头文件中,而普通函数和类成员函数的定义放在源文件中. 模板则不同:要进行实例化,编译器必须能够访问定义模板的源代码.当调用函数模板或类模板的成员函

C++ Primer 学习笔记_76_模板与泛型编程 --模板定义[续]

模板与泛型编程 --模板定义[续] 四.模板类型形參 类型形參由keywordclass或 typename后接说明符构成.在模板形參表中,这两个keyword具有同样的含义,都指出后面所接的名字表示一个类型. 模板类型形參可作为类型说明符在模板中的不论什么地方,与内置类型说明符或类类型说明符的使用方式全然同样.详细而言,它能够用于指定返回类型或函数形參类型,以及在函数体中用于变量声明或强制类型转换. template <class T> T calc(const T &a,const

模板与泛型编程——模板实参推断

一.模板实参推断 对于函数模板,编译器利用调用中的函数实参来确定其模板参数.从函数实参来确定模板实参的过程被称为模板实参推断.在模板实参推断过程中,编译器使用函数调用中的实参类型来寻找模板实参,用这些模板实参生成的函数与给定的函数调用最为匹配. 1.类型转换与模板类型参数 与非模板函数一样,我们在一次调用中传递给函数模板的实参被用来初始化函数的形参.如果一个函数形参的类型使用了模板类型参数,那么它采用特殊的初始化规则.只有很有限的几种类型转换会自动地应用于这些实参.编译器通常不是对实参进行类型转

《Effective C++》:条款52-条款55

最后这三个条款属于杂项.条款53告诉我们不要忽略警告,虽然程序可以编译通过,但是要搞明白警告信息.条款54和条款55讲解C++的库,一个是TR1文档,一个是Boost.现在C++11标准已定,且有编译器支持.Boost库一些内容已经标准化到C++11,与其学习Boost,不如熟悉C++11中的Boost库内容. 条款53不要轻忽编译器的警告 条款54让自己熟悉包括TR1在内的标准程序库 条款55让自己熟悉Boost 条款53:不要轻忽编译器的警告 许多程序员习惯性的忽略编译器的警告.或许它们认为

Golang,用map写个单词统计器

Golang中也有实用的泛型编程模板.如map.据Go官方团队称,其实现为Hash表,而非类似cpp或Java的红黑树.所以理论上速度更能快上几个等级(Hash与红黑树的效率对比可以看我的文章C++中各种<string,T>关联方式的速度对比,效率比约为3:1),但有一些区别,就是遍历时,数据是无需且随机的(当然,后文会讲到有序化的方法).接下来,我们先创建一个map对象. dict:=make(map[string]int); 由于map的强类型,所以一切类型是静态的,map也不例外.从ma

《C++ Primer》读书笔记

第一章 开始 类型:程序所处理的数据都保存在变量中,而每个变量都有自己的类型 内置类型:语言自身定义的类型(而形如string等类型都是标准库定义的) main的返回值:0表示成功,非0指出错误类型 从命令行运行编译器 for语句 术语表:缓冲区.cerr.clog.表达式 第一部分 C++基础 第二章 变量和基本类型 几种字符类型:char .wchar_t .char16_t .char32_t 内置类型的机器实现:内置类型如何在内存存放 将负数转换为无符号类型:结果为无符号数的模加上这个负