首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

C++模板显式实例化,隐式实例化,特化(具体化,偏特化)辨析

总结一下,C++只有模板显式实例化(explicit instantiation),隐式实例化(implicit instantiation),特化(specialization,也译作具体化,偏特化)...首先考虑如下模板函数代码: template void swap(T &a, T &b){ ... } 1.隐式实例化 我们知道,模板函数不是真正的函数定义,他只是如其名提供一个模板...,模板只有在运行时才会生成相应的实例,隐式实例化就是这种情况: int main(){ .......swap(a,b); .... } 它会在运行到这里的时候才生成相应的实例,很显然的影响效率 这里顺便提一下swap(a,b);中的是可选的,因为编译器可以根据函数参数类型自动进行判断...,也就是说如果编译器不不能自动判断的时候这个就是必要的; 2.显式实例化 前面已经提到隐式实例化可能影响效率,所以需要提高效率的显式实例化,显式实例化在编译期间就会生成实例,方法如下: template

1.2K20

EasyC++41,模板显式具体化

这是EasyC++系列的第41篇,来聊聊模板显式具体化。 模板显式具体化 前文当中说了,模板函数虽然非常好用,但是也存在一些问题。...比如有的操作并不是对所有类型都适用的,针对这种情况C++提供了一个解决方案,就是针对特定类型提供具体化的模板定义。这里的具体可以理解成类型的具体。...当然我们可以不用函数模板,直接重载函数: void Swap(job &a, job &b) { // swap为std自带的交换函数,在algorithm头文件中 swap(a.salary...除此之外,我们还可以提供一个具体化的模板函数: template void Swap (job &a, job &b) { swap(a.salary, b.salary);...它表示的是这是一个函数模板的显式具体化,也可以理解成为之前的函数模板提供一个job类型的版本。C++当中规定显式模板函数的优先级高于普通模板函数。

19710
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    EasyC++42,模板函数显式实例化

    这是EasyC++系列的第42篇,来聊聊模板显式实例化。 实例化和具体化 关于函数模板,还有一个很重要的概念,就是实例化。...这个概念有点像是Python里的元类,元类的实例是另外一个类。...语法是通过声明指定模板类型,并且在声明之前加上关键字template,如: template void Swap(int, int); 这个语法看起来和显式具体化非常相似,显式具体化的写法是...显式具体化的含义是对于某特定类型不要使用原模板生成函数,而应专门使用指定的函数定义。而显式实例化是使用之前的模板函数的定义的,只不过是手动触发编译器创建函数实例而已。...对了,我们不能同时在一个文件中,使用同一种类型的显式实例化和显式具体化,这会引起报错。 我们如果死记显式实例化的声明,的确很容易和具体化混淆。

    32320

    C++模板之隐式实例化、显示实例化、隐式调用、显示调用和模板特化详解

    而类模板经过实例化之后,只是完成了类的定义,模板类的成员函数需要到调用时才会被初始化。模板的实例化分为隐式实例化和显示实例化。...对于类模板的使用而言,没有隐式模板实参和显式模板实参使用的说法,因为类模板的使用必须显示指明模板实参。各个概念请勿混淆。 1.隐式实例化 1.1模板隐式实例化的定义 这是相对于模板显示实例化而言。...在使用模板函数和模板类时,不存在指定类型的模板函数和模板类的实体时,由编译器根据指定类型参数隐式生成模板函数或者模板类的实体称之为模板的隐式实例化。...1.3类模板隐式实例化 类模板隐式实例化指的是在使用模板类时才将模板实例化,相对于类模板显示实例化而言的。考察如下程序。...显示实例化 2.1模板显示实例化的定义 显示实例化也称为外部实例化。在不发生函数调用的时候讲函数模板实例化,或者在不适用类模板的时候将类模板实例化称之为模板显示实例化。

    4.2K21

    【C++】泛型编程 ① ( 函数模板 | 函数模板概念 | 函数模板意义 | 函数模板定义语法 | 函数模板调用语法 | 显式类型调用 | 自动类型推导 )

    一、函数模板简介 1、函数模板概念 在 C++ 语言中 , 泛型编程 的 核心就是 函数模板 和 类模板 ; 函数模板 Function Template 是 C++ 语言 中的 重要特性 ; 函数模板概念...add T add(T a, T b) { return a + b; } 2、函数模板调用语法 函数模板调用 分为 两种情况 : 显式类型 调用 ; 自动类型 推导 ; 显式类型 调用 , 需要...显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型...; 虽然只使用了 泛型 T , 没有使用泛型 X , 但是 在 显式类型调用时 , 必须指定所有的类型 ; int a = 10, b = 20; // 调用函数模板 // 函数模板 显式类型调用...+ 编译器 开始使用 泛型编程 // 定义的 T 是泛型类型 // 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template

    21830

    函数申明对函数模板实例化的屏蔽

    1.C++函数匹配顺序 C++语言引入模板机制后,函数调用的情形显的比C语言要复杂。当发生一次函数调用时,如果存在多个同名函数,则C++编译器将按照如下的顺序寻找对应的函数定义。...(1)寻找一个参数完全匹配的函数,如果找到了就调用它。 (2)寻找一个函数模板,并根据调用情况进行参数推演,如果推演成功则将其实例化,并调用相应的模板函数。...函数申明对函数模板实例化的屏蔽 如果使用了函数申明,可能会造成对函数模板实例化的屏蔽。考察如下程序。...如果没有函数申明int square(const int&),则函数调用square(5)一定会找到函数模板square并将其实例化。...(const T&);这样就会启用函数模板的实例化。

    61520

    如何在Excel中实现三联类模板?

    前言 在一些报表打印应用场景中,会有类似于如下图所示的排版格式: 一般情况下将这种类型的需求称为“三联”类型,这种三联需求的关键点在于以下两点: 1....关于第一点,可以选中区域,并使用上方的按钮来设置需要向下移动的区域,将其记录在tag中: 代码如下: 而第二点,则稍微有点麻烦,因为真实的文本需要几行单元格展示,不仅和文字的长度有关,还与单元格的宽度...考虑到单元格是合并的,这里需要分开计算并相加)、字体的大小都有关系: 计算文本长度时,使用canvas的measureText方法即可,需要将canvas的字体设置为和表单中一致,文本存在自定义单元格的实例中...总结 以上就是在Excel中实现横向排版/三联类的模板的方法介绍。...基于分支的版本管理,帮助低代码从项目交付走向定制化产品开发

    30120

    【C++】泛型编程 ③ ( 函数模板 与 普通函数 调用规则 | 类型匹配 | 显式指定函数模板泛型类型 )

    一、普通函数 与 函数模板 的调用规则 - 类型匹配 1、类型匹配 上一篇博客 【C++】泛型编程 ② ( 函数模板与普通函数区别 ) 中 , 分析了 函数参数 类型匹配 下的 普通函数 与 函数模板...// 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a,...// 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a, T b) { cout 函数模板 T...二、普通函数 与 函数模板 的调用规则 - 显式指定函数模板泛型类型 1、显式指定函数模板泛型类型 如果 函数调用时 , 显式指定函数模板类型 , 也就是在尖括号 中指定了泛型类型 , 此时 即使...显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a, T b) { cout 函数模板 T add(T a, T b)"

    20240

    多个so中模板单例的多次实例化

    在Android打包项目时,发现登录功能不能使用了,logcat中也没发现什么问题,最后一行一行log定位到了问题。原来是一个so文件中的构造函数被初始化二次!...这个单例是通过继承模板来实现的(暂时不考虑线程安全的问题) template class CSingleT { public: static T * Instance()...Instance()方法,之后又通过.so中的一个静态方法来调用Instance(),实际上的结果是直接调用跟通过静态方法调用,会初始化二次单例对象 目前暂时的处理方法是,主线程中通过调用.so的静态方法...,在该静态方法中调用Instance的方法,这样就只会产生一个实例对象了。...参考: 动态库之间单例模式出现多个实例(Linux) C++中模板单例的跨SO(DLL)问题:RTTI,typeid,static,单例

    3.2K10

    函数新手的冷门——函数模板(全:包括实例化和具体化)

    Swap的类型,但是发现,我们传入的n,m都是int类型,所以自己用int来代替函数模板中的T 要实现函数模板的理解,我们还应该了解专业术语: 实例化:1 实例化 实例化有两种形式,分别为显式实例化和隐式实例化...模板并非函数定义,实例式函数定义。 1.1 显式实例化(explicit instantiation) 显式实例化意味着可以直接命令编译器创建特定的实例,有两种显式声明的方式。...具体化:思考这么一个问题,当前的Swap模板交换输入的两个对象,可能式基本类型也可能式自定义类。...显式具体化将不会使用Swap()模板来生成函数定义,而应使用专门为该特定类型显式定义的函数类型。...显式具体化在声明后,必须要有具体的实现,这是与显示实例化不同的地方。

    45520

    【C++】泛型编程 ⑨ ( 类模板的运算符重载 - 函数声明 和 函数实现 写在同一个类中 | 类模板 的 外部友元函数问题 )

    一、类模板 - 函数声明与函数实现分离 1、函数声明与函数实现分离 项目开发中 , 需要 将 函数声明 与 函数实现 分开进行编码 ; 将 函数声明 与 函数实现 分开进行编码 , 有 三种 方式 :...类模板 的 函数声明 与 函数实现 都写在同一个类中 ; 类模板 的 函数实现 在 类外部进行 , 写在相同的 .h 和 .cpp 源码文件中 ; 类模板 的 函数实现 在 类外部进行 , 写在不同的....h 和 .cpp 源码文件中 ; 2、代码示例 - 函数声明与函数实现分离 对于下面的 Father 类中的 printValue 函数 , // 声明 类模板 父类 template 类模板的运算符重载 - 函数声明 和 函数实现 写在同一个类中 1、类模板 的 外部友元函数问题 将上述 " 普通类的运算符重载 - 函数声明 和 函数实现 写在同一个类中 " 示例改造成 类模板...// 需要将 模板类 具体化之后才能定义变量 Student s(666, 888); s.printStudent(); Student s2(222, 111);

    27110

    【c++】模板编程解密:C++中的特化、实例化和分离编译

    当你编写一个模板类或模板函数时,你实际上是在告诉编译器如何在需要的时候用具体的类型或值生成代码。...这种生成过程只有在模板被用到的时候才会发生,换言之,只有在代码中显式或隐式地引用了模板的具体实例,编译器才会根据模板生成那个特定实例的代码。...如果你有特定的原因要将模板定义与声明分离(例如减少头文件的大小,或者模板的定义非常复杂),另一种解决方法是显式实例化。这是告诉编译器在编译 a.cpp 文件时创建特定类型的实例。...Add(const double& left, const double& right); 但请注意,显式实例化依旧要求所有使用特定实例化的源文件需要被链接到包含这些实例化的目标文件。...此外,这种显式实例化方式只适用于你能预先知道所需类型的情况,这在泛型编程中并不常见。

    62410

    【C++】泛型编程 ④ ( 函数模板 与 普通函数 调用规则 | 类型自动转换 | 类型自动转换 + 显式指定泛型类型 )

    , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a, T b) { cout 函数模板 T add(T a, T.../ 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a, T b) { cout 函数模板 T add...二、普通函数 与 函数模板 的调用规则 - 类型自动转换 + 显式指定泛型类型 1、类型自动转换 + 显式指定泛型类型 在上面示例的前提下 , 如果 传入参数 类型分别是 int 和 char , 并且强行指定...泛型编程 // 定义的 T 是泛型类型 // 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template <typename...e = add(a, x); cout << "e = " << e << endl; // 调用 函数模板 // 函数模板 显式类型调用 , 强行使用 函数模板 int k = add<int

    29150

    【C++】泛型编程 ⑩ ( 类模板的运算符重载 - 函数实现 写在类外部的同一个 cpp 代码中 | 类模板 的 外部友元函数二次编译问题 )

    将 类模板 函数声明 与 函数实现 分开进行编码 , 有 三种 方式 : 类模板 的 函数声明 与 函数实现 都写在同一个类中 , 也就是没有分开进行编码 ; 类模板 的 函数实现 在 类外部进行 ,...函数声明 和 实现 写在相同的 .cpp 源码文件中 ; 类模板 的 函数实现 在 类外部进行 , 函数声明 和 实现 写在不同的 .h 和 .cpp 源码文件中 ; 上一篇博客 【C++】泛型编程 ⑨...( 类模板的运算符重载 - 函数声明 和 函数实现 写在同一个类中 | 类模板 的 外部友元函数问题 ) 实现了第一种情况 , 类模板 的 函数声明 与 函数实现 都写在同一个类中 , 也就是没有分开进行编码...; 本篇博客 , 开始分析 第二种情况 , 类模板 的 函数实现 在 类外部进行 , 写在相同的 .h 和 .cpp 源码文件中 ; 一、类模板 - 函数声明与函数实现分离 1、类模板 外部 实现 构造函数...外部 实现 友元函数 友元函数 不是 类中的函数 , 是 类外部的函数 , 友元函数 中又用到了 泛型 T , 说明这是一个 模板函数 ; 友元函数 是 全局函数 , 不属于 类模板 , 不要使用 域操作符

    23410

    【C++进阶】模板进阶与仿函数:C++编程中的泛型与函数式编程思想

    非类型形参,就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用 我们在之前学的所有模板用的基本上都是类型形参,也就是你传什么,他就用什么,而非类型形参则是相当于固定了一个模板参数的类型...模板的特化 概念: 模板的特化(Template Specialization):在C++中是一种技术,它允许我们为模板的特定类型或值提供定制化的实现。...当存在多个可用的特化版本时,编译器会选择最匹配的特化版本 在编写类模板特化时,要特别注意避免名称冲突和歧义 类模板特化在编译器进行类型推导和实例化时会被考虑,因此它们应该被定义在模板定义所在的同一命名空间内...,这两个函数当时并没有实例化,所以会导致链接时报错 解决方法 如果遇到模板分离编译相关的问题,常见的解决方法有两种: 将声明和定义放到一个文件(如“xxx.hpp”或“xxx.h”)里面。...这是推荐的方法,因为它可以避免分离编译带来的潜在问题 在模板定义位置显式实例化。这种方法不实用,通常不推荐使用,因为它可能导致不必要的代码冗余和编译时间增加。 4.

    17610

    【C++初阶】C++模板编程入门:探索泛型编程的奥秘

    ,称为函数模板的实例化 模板参数实例化分为:隐式实例化和显式实例化 隐式实例化 隐式实例化:让编译器根据实参推演模板参数的实际类型 // 隐式实例化 template T Add...,编译器一般不会进行类型转换操作 //Add(a1, d1); false // 虽然编译器不会进行类型转换,但是我们能自己来强制转化或者显式实例化 Add(a1, (int)d1); return...0; } 模板参数列表中只有一个T时,无法将两个类型不同的放在一起推演,编译器无法确定此处到底该将T确定什么类型而报错 显式实例化 显式实例化:在函数名后的中指定模板参数的实际类型 // 显式实例化...= _capacity = 0; } 关于类模板其实就是将原来实际类型的位置变成T 类模板的实例化 类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟,然后将实例化的类型放在中即可...,类模板名字不是真正的类,而实例化的结果才是真正的类 关于类模板的实例化必须显示实例化,类模板没有隐式推演 // Vector类名,Vector才是类型 Vector v1; Vector

    14910

    【C++】 ——【模板初阶】——基础详解

    例如,调用add(1, 2)会实例化一个int类型的add函数: int add(int a, int b) { return a + b; } 2.4 函数模板的实例化 函数模板的实例化可以是显式的或隐式的...例如: 隐式实例化: add(1, 2); // 推断为 add(1, 2) 显式实例化: add(1, 2); 2.5 模板参数的匹配原则 模板参数的匹配原则是编译器如何确定模板参数类型的规则...为避免这种情况,可以使用命名空间或显式实例化来区分模板函数和非模板函数。...3.2 类模板的实例化 类模板的实例化类似于函数模板。...为避免这种情况,可以使用命名空间或显式实例化来区分模板类和非模板类。 3.6 类模板的高级用法 类模板的高级用法包括嵌套模板、模板模板参数(template template parameter)等。

    17510
    领券