首页
学习
活动
专区
工具
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++提供了一个解决方案,就是针对特定类型提供具体化的模板定义。这里的具体可以理解成类型的具体。..., b.salary); swap(a.floor, b.floor); } 由于C++当中规定,非函数模板的优先级大于函数模板,所以我们在对job结构体调用Swap函数的时候,会优先使用这个...除此之外,我们还可以提供一个具体化的模板函数: template void Swap (job &a, job &b) { swap(a.salary, b.salary);...它表示的是这是一个函数模板的显式具体化,也可以理解成为之前的函数模板提供一个job类型的版本。C++当中规定显式模板函数的优先级高于普通模板函数。

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

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

    1.C++函数匹配顺序 C++语言引入模板机制后,函数调用的情形显的比C语言要复杂。当发生一次函数调用时,如果存在多个同名函数,则C++编译器将按照如下的顺序寻找对应的函数定义。...(1)寻找一个参数完全匹配的函数,如果找到了就调用它。 (2)寻找一个函数模板,并根据调用情况进行参数推演,如果推演成功则将其实例化,并调用相应的模板函数。...函数申明对函数模板实例化的屏蔽 如果使用了函数申明,可能会造成对函数模板实例化的屏蔽。考察如下程序。...这种现象,可以把它叫做函数申明对函数模板实例化的屏蔽。其本质是,在发生函数调用的时候,编译器总是优先调用普通函数而不是函数模板。要解决这个问题,可以采取以下三种办法。 (1)去掉函数申明。...(const T&);这样就会启用函数模板的实例化。

    61520

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

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

    4.2K21

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

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

    32320

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

    Swap的类型,但是发现,我们传入的n,m都是int类型,所以自己用int来代替函数模板中的T 要实现函数模板的理解,我们还应该了解专业术语: 实例化:1 实例化 实例化有两种形式,分别为显式实例化和隐式实例化...模板并非函数定义,实例式函数定义。 1.1 显式实例化(explicit instantiation) 显式实例化意味着可以直接命令编译器创建特定的实例,有两种显式声明的方式。...void Swap(int &, int &); 第二种方式是直接在程序中使用函数创建,如下: Swap(a,b); 显式实例化直接使用了具体的函数定义,而不是让程序去自动判断。...1.2 隐式实例化(implicit instantiation) 隐式实例化比较简单,就是最正常的调用,Swap(a,b),直接导致程序生成一个Swap()的实例,该实例使用的类型即参数a和b的类型...显式具体化将不会使用Swap()模板来生成函数定义,而应使用专门为该特定类型显式定义的函数类型。

    45520

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

    add T add(T a, T b) { return a + b; } 2、函数模板调用语法 函数模板调用 分为 两种情况 : 显式类型 调用 ; 自动类型 推导 ; 显式类型 调用 , 需要...; // 调用函数模板 // 函数模板 显式类型调用 int c = add(a, b); 如果 在 使用 template 关键字 声明 泛型时 , 指定了多个泛型 , 可以只使用其中的部分类型...显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型...; 虽然只使用了 泛型 T , 没有使用泛型 X , 但是 在 显式类型调用时 , 必须指定所有的类型 ; int a = 10, b = 20; // 调用函数模板 // 函数模板 显式类型调用...+ 编译器 开始使用 泛型编程 // 定义的 T 是泛型类型 // 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template

    21830

    构造函数隐式转换_构造函数实例化对象

    转载博客: http://blog.csdn.net/thefutureisour/article/details/7705771 构造函数隐式转换 构造函数会引起一个不引人注意的问题: 用单个实参来调用的构造函数定义了从从形参类型到类类型的一个隐式转换...函数的输入参数是这个类的类型,但是我们却可以这样调用这个函数: Sales_item trans1; string null_book = "9-999-99999-9"; trans1.same_isbn...建立一个临时的类的对象(一旦函数调用结束,就不能再放这个对象了)。...为了避免这个情况的发生,可以将类的构造函数声明为explicit: explicit Sales_item(const std::string &book = "7115145547"):isbn(book...所以对于单形参构造函数,除非有非常明显的理由让他发生隐式类型转换,否者我们应该把它设计为explicit,防止隐式转化的发生。

    40230

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

    // 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a,...// 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a, T b) { cout 函数模板 T...二、普通函数 与 函数模板 的调用规则 - 显式指定函数模板泛型类型 1、显式指定函数模板泛型类型 如果 函数调用时 , 显式指定函数模板类型 , 也就是在尖括号 中指定了泛型类型 , 此时 即使...的 泛型类型 , 此时必须使用 函数模板 ; int i = 30, j = 40; // 调用函数模板 // 函数模板 显式类型调用 int k = add(i, j); cout...显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a, T b) { cout 函数模板 T add(T a, T b)"

    20240

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

    原来是一个so文件中的构造函数被初始化二次!...这个单例是通过继承模板来实现的(暂时不考虑线程安全的问题) template class CSingleT { public: static T * Instance()...Instance(),实际上的结果是直接调用跟通过静态方法调用,会初始化二次单例对象 目前暂时的处理方法是,主线程中通过调用.so的静态方法,在该静态方法中调用Instance的方法,这样就只会产生一个实例对象了...这里暂时没涉及到多线程程的问题,所以也没有加上线程安全的全码 通过静态方法,然后再调用实例对象,这确实是一个很糟糕的方法,为了游戏能跑,暂时这样处理了。...参考: 动态库之间单例模式出现多个实例(Linux) C++中模板单例的跨SO(DLL)问题:RTTI,typeid,static,单例

    3.2K10

    C++17中具有显式对齐的分配函数:入门指南

    C++17 中的显式对齐分配函数2.1 operator new 和 operator new[] 的显式对齐版本C++17 为开发者带来了两个全新的内存分配函数,它们的出现,使得在分配内存时能够明确指定对齐要求...通过使用 C++17 的显式对齐分配函数,程序员可以确保矩阵数据按照理想的对齐方式存储在内存中,为高性能计算提供有力支持。...注意事项4.1 对齐要求的合理性在运用显式对齐分配函数时,程序员必须谨慎确定对齐要求的合理性。虽然较高的对齐要求在某些情况下可能会提升性能,但并非越高越好。过高的对齐要求可能导致内存分配失败。...4.3 编译器支持尽管 C++17 标准明确引入了显式对齐的分配函数,但不同的编译器在实现这些功能时,可能存在一定的差异。...总结C++17 中引入的显式对齐分配函数,为程序员提供了更为强大的内存管理工具。

    10300

    【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++11》中的显式虚函数重载:深入理解与应用

    在C++11中,引入了一种新的特性,即显式虚函数重载,它可以帮助我们更好地管理虚函数的重载。1....维护困难:如果基类中的虚函数签名发生变化,派生类中的隐藏函数可能需要相应地进行调整,这增加了维护的复杂性。2. 显式虚函数重载为了解决这个问题,C++11引入了显式虚函数重载。...我们可以在派生类中的函数前加上 using 声明,以显式地引入基类中的同名函数。...2.2 优势避免隐藏行为:通过显式引入基类中的同名函数,可以避免派生类中的函数隐藏基类中的函数。提高代码可读性:显式引入基类函数的意图更加明确,使代码更加易于理解和维护。...灵活性:可以在派生类中同时保留基类中的函数版本,并添加新的重载版本,而不影响基类中的其他函数。3. 实例说明让我们通过一个实例来更好地理解显式虚函数重载。

    5910

    面向函数编程:关于函数式组件、dialog的api化

    什么是函数式组件->Vue 无状态 无法实例化 内部没有任何生命周期处理函数 轻量,渲染性能高,适合只依赖于外部数据传递而变化的组件(展示组件,无逻辑和状态修改) 在template标签里标明...children(通过createElement构建, 或者字符串) 官方文档 因为函数式组件没有状态,所以他们不需要像vue的响应式系统一样需要经过额外的初始化。...函数式组件仍然会对相应的变化做出响应式改变,比如新传入props,但是在组件本身中,它无法知道数据何时发生了更改,因为它不维护自己的状态。...对于大型应用程序,在使用函数式组件之后,你会看到Dom的渲染,更新会有重大改进 我们为什么要做dialog的api化这件事 dialog的api化等于是基于面向函数式编程的思维方式写代码,但是api化不等于实现函数式组件...也可能是传进来的已经实例化的对象的props 反正就是props // UserOnClose=props.onClose; //这个UserOnClose一定是外面定义的onClose来负责关闭后刷新页面等操作

    46920

    构造函数的选择:直接实例化 vs 明确构造

    在本文中,我们将探讨这两种方法的优缺点,并尝试为开发者提供一些实用的建议。 直接实例化的简单与直观 直接实例化是一种非常简单直观的创建对象的方法。...无额外逻辑:没有隐藏的逻辑,开发者可以清晰地看到对象的创建过程。 但是,直接实例化也有它的局限性: 缺乏初始化逻辑:如果对象需要一些初始化的逻辑,直接实例化就显得力不从心。...参数验证缺失:直接实例化通常不会包含参数验证,可能导致错误的参数传递给对象。 构造函数的封装与校验 构造函数是一种封装对象创建逻辑的方法。通过构造函数,我们可以在创建对象的同时执行一些初始化的逻辑。...选择直接实例化还是构造函数,主要取决于对象的复杂度和项目的需求。以下是一些通用的建议: 对象复杂度:如果对象的创建需要一些特定的初始化逻辑或参数验证,使用构造函数是一个不错的选择。...结论 直接实例化和构造函数各有优缺点,正确的选择取决于对象的复杂度和项目的需求。通过理解这两种方法的优缺点,并结合实际情况,我们可以做出更明智的决策,以满足项目的需求,同时保持代码的清晰和可维护。

    16720

    【C++】泛型编程 ⑤ ( 函数模板原理 | C++ 编译器原理 | C C++ 编译器编译过程 | 分析 模板函数代码 汇编文件 | 编译 模板函数代码 汇编文件 | 模板函数汇编分析总结 )

    在前面几篇博客 【C++】泛型编程 ③ ( 函数模板 与 普通函数 调用规则 | 类型匹配 | 显式指定函数模板泛型类型 ) 【C++】泛型编程 ④ ( 函数模板 与 普通函数 调用规则 | 类型自动转换...| 类型自动转换 + 显式指定泛型类型 ) 中 , 函数模板 可以与 重载的 普通函数 放在一起 , 二者之间 的调用 有 不同的优先级 ; 在一定程度上 , 说明 函数模板 和 普通函数 有着相似性...gcc 编译器 不仅可以编译 普通的 C 语言应用程序源码 , 还能编译 Linux 内核 ; 支持交叉编译 , 如 : 在 x86 硬件上编译 arm 程序 ; 模块化设计 : gcc 编译器是按照模块化设计的...在C++中,编译器会为每个模板函数生成一个特定的符号名称,这是模板函数的实例化。...定义在了一起 , 则 C++ 编译器 编译 汇编文件 时 , 就直接使用 普通函数 替代 为 函数模板 重新生成一个 函数实例 ; C++ 编译器 通过 两次编译 实现上述效果 ; 第一次编译 会对

    45120

    JavaScript 中的函数式编程:函数,组合和柯里化

    面向对象编程和函数式编程是两种非常不同的编程范式,它们有自己的规则和优缺点。 ...柯里化  函数柯里化是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。...你可以将柯里化视为函数式编程的继承,然后按照这种思路再回到logger的示例,可以得到以下内容:  function log(msg, msgPrefix, output) {   output(msgPrefix...注意,这里将log函数视为抽象类,只是因为在我的示例中,不想直接使用它,但是这样做是没有限制的,因为这只是一个普通的函数。 如果我们使用的是类,则将无法直接实例化它。 ...常见的函数式函数(Functional Function)  函数式语言中3个常见的函数:Map,Filter,Reduce。

    97430

    JavaScript 中的函数式编程:函数,组合和柯里化

    面向对象编程和函数式编程是两种非常不同的编程范式,它们有自己的规则和优缺点。...柯里化 函数柯里化是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。...你可以将柯里化视为函数式编程的继承,然后按照这种思路再回到logger的示例,可以得到以下内容: function log(msg, msgPrefix, output) { output(msgPrefix...注意,这里将log函数视为抽象类,只是因为在我的示例中,不想直接使用它,但是这样做是没有限制的,因为这只是一个普通的函数。 如果我们使用的是类,则将无法直接实例化它。...常见的函数式函数(Functional Function) 函数式语言中3个常见的函数:Map,Filter,Reduce。

    1.5K10

    【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 模板参数的匹配原则 模板参数的匹配原则是编译器如何确定模板参数类型的规则...当调用函数模板时,编译器会尝试匹配模板参数和函数参数类型。如果匹配成功,则进行实例化;否则,编译会失败。匹配原则包括: 类型推断:编译器根据传递的实际参数类型推断模板参数类型。...2.7 函数模板的使用注意事项 模板参数推断:在调用模板函数时,编译器会根据传递的参数推断模板参数类型。如果推断失败,需要显式指定模板参数类型。...为避免这种情况,可以使用命名空间或显式实例化来区分模板函数和非模板函数。

    17510
    领券