有没有办法专门化模板化函数来区分参数的类型是指针还是不是指针？ - 腾讯云开发者社区 - 腾讯云

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

函数模板 ## 函数模板

它们的相同之处在于，它们表⽰的都是使⽤具体类型的函数定义，⽽不是通⽤描述。...引⼊显式实例化后，必须使⽤新的语法——在声明中使⽤前缀 template和template ，以区分显式实例化和显式具体化。...只考虑特征标，⽽不考虑返回类型。编译器必须确定哪个可⾏函数是最佳的。它查看为使函数调⽤参数与可⾏的候选函数的参数匹配所需要进⾏的转换。通常，从最佳到最差的顺序如下所述。...- ⼀个完全匹配优于另⼀个的另⼀种情况是，其中⼀个是⾮模板函数，⽽另⼀个不是。在这种情况下，⾮模板函数将优先于模板函数（包括显式具体化）。...- 如果只存在⼀个这样的函数，则选择它； - 如果存在多个这样的函数，但其中只有⼀个是**⾮模板函数**，则选择该函数； - 如果存在多个适合的函数，且它们都为模板函数，但其中有⼀个函数⽐其他函数

2.2K1 0

《Effective C++》学习笔记

阻止误用的办法包括建立新类型来限制该类型上的操作、束缚对象的值以及消除客户管理资源的责任，以此来作为接口的参数与返回类型。...解决方案是将该乘法运算函数作为一个非成员函数，传两个参数进去，这样不管你的int放在前面还是后面，都能作为参数被转换类型了。...对于嵌套从属类型名称（即依赖于模板参数类型的一个子类型，例如迭代器），必须用typename来修饰，但不能在模板类的基类列和初始化列表中修饰基类。...条款45：运用成员函数模板接受所有兼容类型真实指针允许父类指针指向子类对象，如果想要让自制的智能指针也支持这种对象转换，那就需要特殊操作，因为一般的模板类（智能指针能指向多种对象，必然是模板类）只能以自身模板声明的类型来构造...做法是声明一个泛化构造函数，也就是定义一个模板构造函数，接收模板参数，声明一个指向的真实对象指针，声明一个获取该对象指针的get函数，用该get函数放在初始化列表中来构造模板类。

1.1K2 0

您找到你想要的搜索结果了吗？

是的

没有找到

初始函数 & 数组

改进性能：把代码段放入函数也使得用更快的算法或执行更快的语言（如汇编）来改进这段代码的工作变得容易些。进行集中控制：专门化的函数去读取和改变内部数据内容，也是一种集中的控制形式。...隐含数据结构：可以把数据结构的实现细节隐含起来。隐含指针操作：指针操作可读性很差，而且很容易引发错误。通过把它们独立在函数有序列表中，可以把注意力集中到操作意图而不是集中到的指针操作本身。...返回类型是函数返回的值的数据类型。有些函数执行所需的操作而不返回值，在这种情况下，返回类型是关键字 void。函数名称：这是函数的实际名称。函数名和参数列表一起构成了函数签名。...参数：参数就像是占位符。当函数被调用时，您向参数传递一个值，这个值被称为实际参数。参数列表包括函数参数的类型、顺序、数量。参数是可选的，也就是说，函数可能不包含参数。...数组是用来存储一系列数据，但它往往被认为是一系列相同类型的变量。数组的声明并不是声明一个个的变量而是一个集合。所有的数组都是由连续的内存位置组成。

5093 0

【笔记】《C++Primer》—— 第三部分：类设计者的工具

构造函数来类型转换，则拷贝初始化还是直接初始化就无关紧要了析构函数的行为与构造函数相反，会自动销毁掉非static的成员和调用成员析构析构函数没有参数列表，所以成员销毁时的行为完全依赖于成员自己析构会在变量离开作用域或母构件销毁时销毁...如果表达式不是引用也不是指针，则其动态类型永远与静态类型一致派生类可以往基类类型转换，而基类不能隐式反向转换一个派生类的函数如果想要覆盖继承来的虚函数，那必须名称和形参都一致，否则编译器会认为这两个函数是独立的...可以由具体关键字带头声明非类型参数，非类型参数表示的是一个值而不是类型，因此非类型参数在编译时会被用户提供或编译器推断的一个常量代替，从而允许我们初始化数组之类非类型参数可以是整型或指向对象或函数的指针或左值引用...，另一种用法是对包中的每个元素都自动调用一个指定的函数，并返回处理后的返回值模板特例化的写法是将template尖括号中的需要特例化的内容删去，然后对下方用到的模板类型转为需要确定的类型。...即使我们需要特例化所有的类型参数也要保留一个空的尖括号做标记完全的模板特例化的本质是模板的一个实例，而不是重载，因此特例化不会影响函数的匹配。

1.7K1 0

【C++】STL——list深度剖析及模拟实现

迭代器的功能分类所以呢：虽然库里的sort是一个函数模板，理论而言这里可以传任意类型的参数，但是其内部对使用的迭代器有要求，参数的名字就暗示了我们要传随机迭代器。...list的迭代器用原生指针实现可行吗？或者说用原生指针实现有没有什么问题呢？，list里面是一个一个的结点，如果我们用结点的指针node*的话，首先它解引用是啥？...是不是一个AA类型的变量啊，但是它是自定义类型，并且我们没有重载流插入，所以这里打印不成。那如何解决呢？首先我们可能会想到对AA这个类重载流插入，这当然是一个办法。...就像前面我们讲过的前置++后置++重载的区分那种情况。第三个模板参数那现在回到我们上面的那个问题：为什么还有第三个模板参数Ptr？...和operator*，我们增加一个模板参数来控制不同情况下返回不同类型的返回值。这样const对象也可以使用->了：反向迭代器我们学到后面一点再讲。

2101 0

【C++】泛型编程——模板进阶

那大家来思考一下：首先对于类型模板参数来说，他解决了类型的问题。...其实可以认为就是静态数组，我们看到文档给的解释是固定大小的序列容器我们看到array这个类模板其实就用了一个非类型模板参数来作为这个数组的大小。...，因为这里比较的并不是它们指向的日期，而是这两个指针本身，那指针进行比较的话实际比较的是它们存储的地址的大小，所以这里的结果可能并不是我们想要的。...但是，如果我们不只针对Date*的指针，对于其它类型的指针，比较时我们也想去比较它们指向的内容，而不是地址。那我们可以怎么做呢？难道对不同的指针类型都进行一个特化吗？这显然是很麻烦的。...进行一个偏特化，将模板参数限制成T*，这样只要调用仿函数时传的数据是指针类型，都会去匹配偏特化的这个版本，对指针指向的内容进行比较，而不是存储的地址。

2741 0

const 使用总结

解决的办法是，无论是在定义还是声明const对象时都添加extern关键字，这样就只需定义一次即可：// file1.cc 定义并初始化一个const变量extern const int BufSize...可以使用常量实参或者非常量实参来初始化它都可以。可以根据形参中有没有const来区分函数是否重载：class Object {// ...}...对于形参是指针类型，也适用同样的规则。除了内置类型，对于用户自定义类型，建议使用const的引用传递参数，不要使用传值方式。...对于内置类型，还是建议使用传值方式，因为引用在底层一般是使用指针来实现，对于内置类型反而更浪费资源，而且编译器也可以做优化。对于自定义类型，一般情况下建议定义成const的引用，而不是普通的引用。...跟非模板函数不一样的是，模板函数一般不会进行类型转换，而是直接生成另外一个模板实例。但是对于const是个例外，它允许const进行类型转换。

1321 0

C++程序员经常问的11个问题

首先，5年前我们就开始反对把.h符号继续用在标准的头文件中。继续使用过时的规则可不是个好的方法。从功能性的角度来讲，包含了一系列模板化的I/O类，相反地只仅仅是支持字符流。...要点2：用引用传递参数时应注意的地方　　在用引用传递参数时，最好把引用声明为const类型。这样做的好处是：告诉程序不能修改这个参数。...如：转态过程函数、登记功能函数都是必须在实际程序运行前被调用的。最简单的办法是通过一个全局对象的构造函数来调用这些函数。...>*pmi=5; 　　指向函数成员的指针　　它由函数成员所返回的数据类型构成，类名后跟上::符号、指针名和函数的参数列表。...要点8、是delete还是delete[] 　　在程序员中有个荒诞的说法：使用delete来代替delete[]删除数组类型时是可以的！

8652 0

【专业技术】你必须注意的11个C++要点

继续使用过时的规则可不是个好的方法。从功能性的角度来讲，包含了一系列模板化的I/O类，相反地只仅仅是支持字符流。...要点2：用引用传递参数时应注意的地方在用引用传递参数时，最好把引用声明为const类型。这样做的好处是：告诉程序不能修改这个参数。...如：转态过程函数、登记功能函数都是必须在实际程序运行前被调用的。最简单的办法是通过一个全局对象的构造函数来调用这些函数。因为全局对象都是在主程序开始前被构造，这些函数都将会在main()之前返回结果。...5; 指向函数成员的指针它由函数成员所返回的数据类型构成，类名后跟上::符号、指针名和函数的参数列表。...要点8、是delete还是delete[] 在程序员中有个荒诞的说法：使用delete来代替delete[]删除数组类型时是可以的！

9895 0

C++函数模板详解

: elem_cnt : 5 expecting: 10 min()的宏扩展在这种情况下会失败因为应用在指针实参p 上的后置递增操作随每次扩展而被应用了两次二 .解决办法: 函数模板提供了一种机制通过它我们可以保留函数定义和函数调用的语义在一个程序位置上封装了一段代码确保在函数调用之前实参只被计算一次...函数模板提供一个种用来自动生成各种类型函数实例的算法程序员对于函数接口参数和返回类型中的全部或者部分类型进行参数化(parameterize)而函数体保持不变....四．几点注意 ① 如果在全局域中声明了与模板参数同名的对象函数或类型则该全局名将被隐藏在下面的例子中tmp 的类型不是double 是模板参数Type typedef double Type; template...可以混用 template T minus( T*, U ); // 错误: 必须是或 template T sum( T*, U ); ⑥ 为了分析模板定义编译器必须能够区分出是类型以及不是类型的表达式对于编译器来说它并不总是能够区分出模板定义中的哪些表达式是类型例如如果编译器在模板定义中遇到表达式...{ Parm::name * p; // 这是一个指针声明还是乘法乘法 } 编译器不知道name 是否为一个类型因为它只有在模板被实例化之后才能找到Parm 表示的类的定义为了让编译器能够分析模板定义用户必须指示编译器哪些表达式是类型表达式告诉编译器一个表达式是类型表达式的机制是在表达式前加上关键字

1K7 0

C++11:unique_ptr 自己定义类似make_shared的make_unique模板函数

C++11中的智能指针分为共享型的shared_ptr和独占型的unique_ptr,C++11提供了make_shared函数来创建shared_ptr指针,使用起来更方便,有了make_shared...模板参数中增加了一个常量参数ZERO，用于编译期判断。...调用方式之前的版本差不多，只是将bool参数移到了模板参数里 auto test_array=make_unique_array(2); 问题来了以上的办法虽然好...，但是却与C++14版本的make_unique在模板参数类型上并不兼容，你为啥知道C++14的make_unique版本是什么样呢？...的实现代码，代码中创建普通对象和数组对象的函数名都是make_unique,与我写的版本不一样，而且微软的版本中也没有区分是否在初始化数组，一律初始化为0。

1.2K2 0

【笔记】C++面向对象高级编程

, 本质是指针但是被完全包装为了原本对象的样子引用必须在声明的时候初始化引用不允许后期改变值, 一旦定义就无法修改指向引用和range-for很搭, 可用来轻松修改容器的元素引用最常用于函数参数上...模板全特化的模板记得要去掉所有模板参数, 改写为template 模板模板参数: 指模板参数里面是一个模板, 在这种情况下可以让另一个模板类作为参数导入, 只要保证可控的其它模板参数都能正确填满即可...模板参数的标注类型可以用class也可以用typename, 建议使用typename防止歧义 C++对象模型不管是复合类还是继承类, 都是从内到外构造, 从外到内析构的....this指针. this指针本质上是指向当前调用函数的这个对象地址的指针因为隐式传入的是指针, 因此可以通过让指针调用虚函数来实现模板设计模式 const const默认是作用在左边目标上的, 但是当左边没有元素时...程序区分的方法是当两个版本同时存在的时候, 对象只会调用与自己对应的版本.

9153 0

【笔记】C++标准库: 体系结构与内核分析(上)

算法(algorithm): 核心, 封装各种算法迭代器(iterator): 泛化的指针, 用来操控容器内的数据仿函式(functor): 类似函数但又不是函数, 用来作为参数给其它算法调用适配器...实例化模板类时必须知名模板参数的类型, 因为实例化模板类对于编译器来说没有任何可供推理的线索模板函数: 和模板类相近, 在函数定义之前加template, 区别在于由于函数参数的独一性..., 使用模板参数时并不必要知名模板参数类型, 因为编译器能自动进行实参推导....全特化是在定义了普通的泛化模板类之后, 额外写一个相同模板定义但是指明所有模板参数的类型, 只保留空的template....偏特化是介于泛化和全特化之间的状态, 其只指明了模板参数列表中的某几个类型或者缩小类型本身的数据范围(任何类型(T), 仅限指针类型(T*), 仅限指向常量的指针类型(const T*)), 例如template

1.2K3 0

【C++修炼之路】2. 类和对象（上）

一般都是加个前缀或者后缀标识区分就行。此外，为了避免函数中的参数与类中的变量重名，可以将类中的变量前加上_来进行区分类的成员变量和函数中的参数。 4....类的实例化用类类型创建对象的过程，称为类的实例化类是对对象进行描述的，是一个模型一样的东西，限定了类有哪些成员，定义出一个类并没有分配实际的内存空间来存储它；比如：入学时填写的学生信息表，表格就可以看成是一个类...A类包括了一个char类型变量和一个函数，char类型我们知道占用一个字节，但是对于函数来说，C语言中的结构体并没有这种成员，因此，我们需要对其进行分析。...如何让结构体按照指定的对齐参数进行对齐？能否按照3、4、5即任意字节对齐？什么是大小端？如何测试某台机器是大端还是小端，有没有遇到过要考虑大小端的场景这些问题在C语言对应的章节中都进行了解释。...： Date类中有 Init 与 Print 两个成员函数，函数体中没有关于不同对象的区分，那当d1调用 Init 函数时，该函数是如何知道应该设置d1对象，而不是设置d2对象呢？

3730 0

C语言（指针）6

，参数有两个，第一个参数的类型是 int 型，第二个参数的类型是一种函数指针类型，该函数指针指向的函数的参数类型是int型，返回值是void型。...，返回值类型还是一个函数指针类型，该函数的参数类型也是int型，返回值也是void型。...函数定义的话必须要有函数体，很明显不是函数定义；那函数调用的话也没有参数（我们通过上面的代码已经知道signal函数是有参数的，但是只有参数类型没有参数值），所以也不是函数调用；那就只剩下函数声明了，所以上面的代码是一个函数声明...3.typedef关键字在细细了解了上面这两个有意思的代码后，我们会觉得很复杂，原因是类型的形式很复杂，那我们有没有什么办法能简化一下这种复杂的类型呢？...typedef 类型名重定义的类型名；（注意后面有一个分号） typedef 是用来类型重命名的，可以将复杂的类型简单化。

661 0

【笔记】《Effective C++》条款26-55

这也是前面条款7 和条款34 的一种解释 37 绝不重新定义继承而来的缺省参数值虚函数是动态绑定的, 但是函数的缺省参数值却是静态绑定的, 只与你填写这个缺省参数值时的类型有关, 与指针指向的实际类型无关..., 我们提前进行的设计需要尽量满足表达式的输入和返回的类型不管是显式接口还是隐式接口, 都在编译期完成检查, 因此我们都要好好检查, 可能被传入模板的类型到底能不能满足模板的隐式接口 42 了解typename...T到底是不是一个类, 因此怀疑这个域作用符是无效的, 于是拒绝编译这一段代码为了让这段代码通过, 我们需要将这一行改为typename T::const_iterator iter;, 通过显式保证这个模板参数是一个类型...称为成员函数模板(member function template) 智能指针类编写了非explicit的构造函数, 在自身底层是T类型的指针时, 接受一个U类型的指针作为构造函数的参数, 然后通过原始指针本身的转换和继承形式将...因此我们可以使用类似下面的代码在编译期根据traits的属性来对不同类型的类具现化不同的函数来运行实际使用的时候我们再在每个可用这个与类型相关的函数上包装一个公有的控制函数, 从而将接口转为通用形式

9333 0

《Effective C++》读书摘要

三十七、绝不定义继承的默认参数值重载的虚函数的默认参数来自于基类；将默认参数函数声明为普通成员函数，调用私有的虚函数即可。...（七）、模板与泛型编程四十一、隐式接口与编译多态 class是显示接口——函数签名，运行多态——虚函数； template是隐式接口——有效表达式，编译多态——模板具体化与函数重载解析。...四十四、参数无关代码抽离模板将与模板无关的非类型参数转移到类内；尽量降低与模板无关的类型参数的膨胀度。...四十六、类型转换时为模板定义非成员函数对于模板化的类要支持双操作运算符重载，首先必须是非成员函数，另外为了能让模板具体化必须将函数定在类体内部，因此只能将之声明为友元类型。...可以根据iterator_traits提供的类别标签区分迭代器类型，类别标签是空结构体类型，将标签作为函数参数，可以保证编译器能在编译时期对类型进行检查。 ?

2K6 0

C++11常用新特性快速一览

并且，我们没有办法通知编译器不要触发模板实例化。...类型别名模板在传统 C++中，typedef 可以为类型定义一个新的名称，但是却没有办法为模板定义一个新的名称。因为，模板不是类型。...所以，采用默认值捕捉所有变量仍然是不安全的，主要是由于指针变量的复制，实际上还是按引用传值。 lambda 表达式可以赋值给对应类型的函数指针。但是使用函数指针并不是那么方便。...如果是 a=b，这样就会调用复制构造函数来初始化 that（因为 b 是左值），赋值操作符会与新创建的对象交换数据，深度拷贝。...如果是 a = x + y，这样就会调用转移构造函数来初始化 that（因为 x+y 是右值），所以这里没有深度拷贝，只有高效的数据转移。

2.6K5 0

java对象的创建过程

空闲列表：有内存碎片的时候，虚拟机会维护一个列表，列表记录了哪些位置的内存是可用的，给对象分配内存时就会找一块够大的内存去分配，然后更新列表记录。 3. 初始化零值：什么叫初始化零值？...你有没有发现，我们在类中定义的成员变量，是不需要赋初始值也可以使用的，而局部变量，没进行初始化去使用就会报错。这是为什么呢？就是因为在对象的创建过程中有“初始化零值”这一步。...比如定义了一个 int 类型的成员变量，拿来用的时候，默认值是0，而不是null，这就是初始化零值。 4. 设置对象头：什么是对象头？...就是你 new 对象的时候传了哪些参数，属性值是什么。内存分配的过程中，如何保证线程安全呢？JVM 采用 TLAB + CAS 的方式保证线程安全。...TLAB 就是为每个线程预先在伊甸园区分配一块内存，JVM 要给对象分配内存的时候，首先会用 TLAB，即预先分配的这块内存，如果不够，就用 CAS 一直重试。

5781 0

【C++】初识面向对象：类与对象详解

2.3 成员变量命令规则由于在使用类过程中，难免会遇到成员变量与函数参数名称相同导致混淆。比如:这里如何去区分year属于成员变量还是函数参数呢？...区别是struct定义的类默认访问权限是public，class定义的类默认访问权限是private。除此之外在继承和模板参数列表位置上，struct和class也有区别。...使类类型进行创建对象过称为类的实例化，如果出现没有对类进行实例化操作，而私自调用类中成员变量会报错，如:Person._age = 10。...7.2 this指针的特性this指针的类型：类类型*const ，既成员函数中，不能给this赋值this指针不能显示在实参和形参的位置,只能在成员函数的内部使用this指针本质上是成员函数的形参，当对象调用成员函数时...5.如何测试某台机器是大端还是小端程序创建一个整数变量（num），然后通过将其地址强制转换为字符指针，检查存储在该地址的第一个字节的值，从而确定字节序。

1000 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭