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

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

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

4.2K21

C++ explicit禁止单参数构造函数隐式调用

1.单参数构造函数隐式调用 C++中单参数构造函数是可以被隐式调用的,主要有两种情形会隐式调用单参数构造函数: (1)同类型对象的拷贝构造;即用相同类型的其它对象来初始化当前对象。...(2)不同类型对象的隐式转换。即其它类型对象隐式调用单参数拷贝构造函数初始化当前对象。比如A a=1;就是隐式转换,而不是显示调用构造函数,即A a(1);。...; 这种单参数构造函数被隐式调用在C++中是被默许的,但是这种写法很明显会影响代码的可读性,有时甚至会导致程序出现意外的错误。...2.单参数构造函数隐式调用的危害 单参数构造函数隐式调用不仅仅会给代码可读性造成影响,有时会带来意外的结果。...3.explicit禁止单参数构造函数的隐式调用 在没有合适理由必须使用隐式转换的前提下,为了提高代码可读性以及避免单参数构造函数的隐式调用带来的潜在风险,建议使用explicit关键字阻止单参数构造函数的隐式调用

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

    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

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

    转载博客: 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++拾趣——类构造函数的隐式转换

    只是想罗列一些有意思的东西,故取名拾趣。         首先我们看下一种比较常见的技术——类构造函数的隐式转换。...其效果和使用int_proxy控制住是一样的。这是为什么呢?这便是类构造函数的隐式转换技术。...C++编译器认为test_int_proxy方法传入的应该是一个const类型的int_proxy对象,然而如果它发现参数不是该对象时,就会使用该类中可以使用该参数进行构造对象的方法构造出一个临时的对象...稍微总结下类构造函数隐式转换的必要条件: 找不到传参类型严格对应的函数 找到传参类型严格匹配的类的构造函数 因为隐式转换构造出的是临时对象,所以不可修改,故触发隐式转换的函数的传参类型必须要使用const...限制类构造函数的隐式转换的方法也很简单,就是给对应的构造函数加上explict关键字 class int_proxy { public: explicit int_proxy(int n) :

    70620

    c语言函数的隐式声明

    double function(void){  return 100.0; } 定义一个函数第一行,声明了函数的名字,参数类型个数,返回值,这称为函数原型, 函数原型也可单独写,不带函数体 double...function(void); 编译器只有碰到函数原型的时候才知道这个函数的名字,参数类型个数返回值,到函数调用的时候才知道如何生成指令,所以函数原型必须出现在函数调用之前。...以下两段代码都能得到正确的结果。...在main函数中调用function函数时并没有声明它,编译器认为此时隐士声明了int function(void);隐士声明的函数返回值都是int,由于我们调用function的时候没有传参数,所以编译器认为这个隐式函数的参数类型是...然后编译器接着往下看,看到function函数的原型是 double function(void);和先前隐式声明的类型不一致。

    2.7K20

    C++的explicit和隐式转换

    隐式转换是指在某些情况下,编译器会自动进行类型转换,将一种类型的值转换为另一种类型,以满足表达式的要求。这种转换是隐式进行的,不需要显式地调用转换函数或构造函数。...int a = 5; double b = a; // int 到 double 的隐式转换 上面这个转换是没有什么问题的,但是下面这个隐式转换就,怎么说,也是可以转换的  可以通过隐式调用带参构造函数进行转换...class Me{ private: int number; public: Me(int n):number(n){} }; int main() { Me me=1; } 多个参数也是可以的...,要求显式地调用构造函数进行类型转换,这就需要调用explicit来禁止隐式类型转换 如下这个代码就有语法错误了 #include using namespace std; class...,而不能被隐式调用,这样可以防止意外的隐式类型转换,明确代码意图

    19110

    【Kotlin】函数 ③ ( 匿名函数 | 匿名函数的函数类型 | 匿名函数的隐式返回 )

    文章目录 一、匿名函数 二、匿名函数的函数类型 三、匿名函数的隐式返回 一、匿名函数 ---- 声明函数时 , 没有 函数名 的函数 是 匿名函数 ; 匿名函数 可以作为 函数参数 , 也可以作为 函数返回值...---- 匿名函数 可以作为 变量 赋值给 函数类型变量 , 可以作为 函数参数 传递给函数 , 因此 , 匿名函数 与 变量 一样 , 也存在 对应的 函数类型 ; 函数类型 由 参数 和 返回值...决定 ; 有 相同 参数顺序 , 参数个数 和 返回值类型 的函数 , 其 函数类型相同 ; 如上个章节 , 扩展函数 CharSequence.count 接收的匿名函数参数 predicate ,...= helloFun() println(str) } 执行结果 : Hello World 三、匿名函数的隐式返回 ---- 普通函数 返回值 , 都是 显示返回 , 如 : 使用 return...关键字 , 返回返回值 ; 匿名函数 的 返回值 不需要使用 return 关键字 , 匿名函数 可以 隐式 返回 函数体最后一行语句 ; 代码示例 : 在匿名函数中 , 第一行是 Int 值 , 第二行是

    3.1K20

    C语言 深度探究具有不定参数的函数

    C语言 深度探究具有不定参数的函数 ✨博主介绍 前言 C语言 stdarg.h 示例 ta的原理 函数传参数的本质 _INTSIZEOF(n) 其他宏 练习 实现printf 点击直接资料领取 ✨博主介绍...,但是C语言却支持不定参数的函数,这里我深究一下里面的原理,并且学会它的使用,自己简单实现一个简单的printf函数。...注:这里使用的IDE为 vs2022 至于如何实现不定参数的函数呢?...运行结果: ta的原理 函数传参数的本质 C语言是最接近汇编的一门语言,函数传参的本质到底是什么,简单一句话 ——将参数压栈,如何你有汇编的经历的话,就知道如果要给一个过程传入参数就需要你提前将传入的参数压入栈中...练习 实现printf 这里我们仅仅只是练习多个参数的传递 而不是深入底层地实现printf这个函数,如果你愿意可以去看看 vprintf的实现,有非常多的奥秘值得探究。

    51120

    C++11函数模板的默认模板参数

    2.函数模板默认模板参数的特点 函数模板默认模板参数的用法虽然与类模板默认模板参数和函数默认参数的用法类似,但是有一个显著的特点,即当函数模板拥有多个默认模板参数时,其出现的顺序可以任意,不需要连续出现在模板参数的最后面...,而在C++11中,函数模板的默认模板参数出现的位置则比较灵活,可以出现在任意位置。...2.3函数模板的参数推导规则 函数模板的参数推导规则是如果能够从函数实参中推导出类型的话,则函数模板的默认模板参数则不会被使用,反之,默认模板参数则可能被使用。...,因此函数调用testTemplateFunc(4)将根据函数模板实例化出模板函数后的调用是testTemplateFunc(4,0),其中第二个模板参数U使用了默认的模板类型参数...从上面的例子也可以看出,因为函数模板的模板参数是由函数的实参推导而来,所以默认模板参数通常需要跟默认函数参数一起使用,不然默认模板参数的存在将没有意义。

    2.4K20

    【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

    ,写死的了,所以这时候我们可以使用非类型模板参数 非类型形参:就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用。...: 必须要先有一个基础的函数模板 关键字template后面接一对空的尖括号 函数名后跟一对尖括号,尖括号中指定需要特化的类型 函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器可能会报一些奇怪的错误...,直接写成函数也是可以的,因为函数模板支持重载 2.类模板特化 1.全特化 全特化即是将模板参数列表中所有的参数都确定化 类模板的全特化将模板参数列表中的所有参数我们都将其写出来: 如果此时的数据类型是我们自己定义的...此时在编译阶段中,就有了模板的实例化。 模板定义的位置显式实例化。这种方法不实用,不推荐使用 。...如果实例化的类型少那还是可行的,如果要针对的类型很多,那就太麻烦了 ---- 四、模板总结 优点: 模板复用了代码,节省资源,更快的迭代开发,C++的标准模板库(STL)因此而产生。

    28121

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

    一、函数模板简介 1、函数模板概念 在 C++ 语言中 , 泛型编程 的 核心就是 函数模板 和 类模板 ; 函数模板 Function Template 是 C++ 语言 中的 重要特性 ; 函数模板概念...如果 函数的 函数体 相同的 函数 , 只是 参数类型 不同 , 这种情况下 , 可以 使用 " 函数模板 " 替代 定义 " 多个函数参数类型不同 且 函数体相同 的函数 " ; 只需要 定义一个..." 函数模板 " , 传入不同类型的参数 , 返回不同类型的结果 ; 调用 函数模板 时 根据传递的 参数类型 来生成对应的具体函数实现 , 根据 实际实参类型 取代 形参的虚拟类型 , 从而实现不同的函数功能...一般情况下使用的是 前者 ; ② 定义函数模板 : 编写 函数 , 参数的 返回值类型 或 参数类型 , 可以 使用之前使用 template 定义的泛型 进行替换 , 如下示例 : // 定义函数模板...int c = add(a, b); 自动类型 推导 : 该用法不常用 , 调用 函数模板 时 , 直接传入参数 , 不 显式声明 泛型类型 , 让 C++ 编译器自动推导泛型类型

    21830

    【C++】泛型编程 ⑦ ( 类模板常用用法 | 类模板声明 | 类模板调用 | 类模板作为函数参数 )

    一、类模板基础用法 1、类模板声明定义 上一篇博客中 , 【C++】泛型编程 ⑥ ( 类模板 | 类模板语法 | 代码示例 ) 讲解了模板类的基础语法 , 模板类声明如下 : // 声明类模板 template...具体的类 , 定义 具体的 变量 ; MyClass myInt(10); 3、类模板做函数参数 类模板 作为函数参数 , 形参 必须是具体类型 , 也就是 类模板 的泛型类型必须声注明 ;...下面的 fun 函数中 , 接收模板类作为参数 , 模板类的 泛型类型 需要被注明 ; // 类模板对象作为函数参数 // 形参必须是具体类型 // 类模板的泛型类型必须声注明 void fun(MyClass...这个类可以接受一个类型参数T , 并创建一个具有该类型的成员变量的对象 ; MyClass是一个模板类 , 该模板类 接受一个 泛型类型参数T , 泛型类型参数 T 在类中的许多地方都会用到 , 在类体中定义了一个...T 类型的成员变量 value , 以及一个接受T类型参数的构造函数 , 在printValue函数中 , 打印 value 的值 ; template 是模板声明 , 告诉编译器我们将在后面定义一个类模板

    8000

    【C++】泛型编程 ⑦ ( 模板类常用用法 | 模板类声明 | 模板类调用 | 模板类作为函数参数 )

    一、类模板基础用法 1、类模板声明定义 上一篇博客中 , 【C++】泛型编程 ⑥ ( 类模板 | 类模板语法 | 代码示例 ) 讲解了模板类的基础语法 , 模板类声明如下 : // 声明类模板 template...具体的类 , 定义 具体的 变量 ; MyClass myInt(10); 3、类模板做函数参数 类模板 作为函数参数 , 形参 必须是具体类型 , 也就是 类模板 的泛型类型必须声注明 ;...下面的 fun 函数中 , 接收模板类作为参数 , 模板类的 泛型类型 需要被注明 ; // 类模板对象作为函数参数 // 形参必须是具体类型 // 类模板的泛型类型必须声注明 void fun(MyClass...这个类可以接受一个类型参数T , 并创建一个具有该类型的成员变量的对象 ; MyClass是一个模板类 , 该模板类 接受一个 泛型类型参数T , 泛型类型参数 T 在类中的许多地方都会用到 , 在类体中定义了一个...T 类型的成员变量 value , 以及一个接受T类型参数的构造函数 , 在printValue函数中 , 打印 value 的值 ; template 是模板声明 , 告诉编译器我们将在后面定义一个类模板

    52040

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

    前言:在C++编程的广阔天地中,模板和仿函数是两大不可或缺的工具。模板以其强大的类型抽象能力,使得代码复用和泛型编程成为可能;而仿函数,则以其函数对象的特性,为算法和容器提供了灵活多变的操作方式。...,它允许开发者将功能封装在类中,并通过重载operator()运算符来使这些类的对象具有类似函数的行为。...这种灵活性使得仿函数在代码复用、状态保存以及STL算法中使用等方面具有广泛的应用价值 模板>> 1. 非类型模板参数 模板参数分类类型形参与非类型形参。...这是推荐的方法,因为它可以避免分离编译带来的潜在问题 在模板定义位置显式实例化。这种方法不实用,通常不推荐使用,因为它可能导致不必要的代码冗余和编译时间增加。 4....总结 当我们在编程的旅途中深入探索C++的模板和仿函数(Function Objects,也称为函数对象或仿函数对象)时,我们不禁被它们强大的灵活性和表达能力所震撼。

    17610
    领券