模板与泛型编程之退化技术

最新推荐文章于 2025-05-21 21:44:07 发布

发如雪-ty

最新推荐文章于 2025-05-21 21:44:07 发布

阅读量204

点赞数

分类专栏：模板与泛型编程文章标签： c++ 数据结构开发语言

本文链接：https://blog.youkuaiyun.com/FairLikeSnow/article/details/125862497

版权

模板与泛型编程专栏收录该内容

44 篇文章 ¥29.90 ¥99.00

订阅专栏

超级会员免费看

本文探讨了C++中的类型退化技术，通过实例展示了如何丢弃类型修饰符，如const、引用和数组类型，转化为更基础的形式。同时，介绍了标准库中的std::decay类模板，用于实现类型退化。在main函数中，通过函数指针展示了函数类型的退化，即函数名变为函数指针，强调了函数类型与函数名无关。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

所谓退化技术，就是把类型中的一些修饰符丢弃了。例如const int 中的const被丢弃后，就变成了int类型，那么对于const int类型，int 类型就是一种退化的表现。下面写一些代码做个实验

template<typename T>
void myfunc(T tmprv)
{
   
	cout << "-----------------begin----------------\n";
	cout << "T="<

了解本专栏

订阅专栏解锁全文

超级会员免费看

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

发如雪-ty

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
打赏
打赏
打赏举报

举报

专栏目录

订阅专栏

C++引用形参+模板---解决数组指针退化为指针

FAS ------ 一颗好奇心，一页好代码！

01-27

950

C/C++中如果一个函数接受一个数组作为参数，那么数组将会被退化为指针，如果定义如下代码：//数组arr的大小未知。 int arrsize(int arr*) { cout << "element num : " << sizeof(arr) / sizeof(arr[0]) << endl; //1 }在上面那段代码中不仅得到的数组大小是不正确的，还会出现让调用则不明白是传递int变量的地址

c++02 - STL标准库和泛型编程笔记

d_mail的博客

04-26

593

容器把内存的问题解决了，程序员看不到内存，分配器是来支持容器的，帮助分配内存，容器是一个模板类，generic programming模板编程的思想，第二个模板参数是分配器可以不写，在容器的源代码里用默认的分配器，有默认值，分配器本身也是一个模板，必须告诉它每次分配的是什么东西，此处每次分配的内存是一个int，要搭配，vi是object 对象，迭代器是泛化的指针，count_if，count是计算，if指带一个条件，所以此算法能帮助计算给它的条件之下符合这个条件的元素有几个，

参与评论您还未登录，请先登录后发表或查看评论

实现std::decay类模板的类似功能(退化)

qq_38158479的博客

03-20

314

#include <iostream> #include <type_traits> #include <boost/type_index.hpp> using namespace std; /*去除const属性，泛化版本*/ template<typename T> struct removeconst{ using type = T; }; /*去除const属性，特化版本*/ template<typename T> struct

发现自己的编程能力在退化

iMeta

12-29

710

又看了好多大触，又深深伤了自己一次，发现自己的编程能力在退化。虽然学了数据结构，但没有怎么好好用过，于是再次奋起安慰自己，重新写博客，虽然不知道博客还能干嘛用自己搭建了好几个博客了，但从来没有真正好好利用过，我知道那些奇葩的域名不会吸引多大的访问量，但还是用心的搭建了，然后就没有再用心管理过，不知道这样的意义有多大，只是熟悉了代码的布置？亦或是熟悉了那些代码。好吧，让我放弃那些奇葩！毕竟什么

std::move与std::forward用于模板函数时，模板参数＜T && a＞中的参数a退化成左值的探讨

Twoton的博客

02-26

370

std::move与std::forward的一些知识参考文章里的说法：要认识它的作用，需要知道C++中的几条规则：（这里有篇挺好的文章：http://blog.youkuaiyun.com/zwvista/article/details/6848582，但似乎因标准的更新，其中的规则已不完全成立了） 1.引用折叠规则： X& + & => X& X&& + & => X& X& + && => X& X&am

模板参数传递的区别(针对于函数模板的自动类型推导)

超级霸霸强的博客

12-29

909

模板参数传递的区别(针对于函数模板的自动类型推导) 按值传递按值传递的后果是：导致函数模板的自动类型推导退化(decay)，何为退化，下面就让我仔细的说一下： ① 按值传递会导致传入参数失去const和volatile属性： #include<iostream> usingnamespacestd; template<typenameT> voidShowInf(Tobj) { cout<<typeid(T...

C++第二部分——STL与泛型编程

m0_47639800的博客

04-08

576

目录认识header、版本、重要资源重要网页及书籍STL体系结构基础介绍容器之分类与各种测试Array的使用认识header、版本、重要资源标准库大于STL，STL分为六大部件，标准库80%都是STL。 namespace让你可以把你所需要的类，函数等包起来起一个名字让其不会与别人冲突。如果单单只使用cout，可以用上图第二个std导入方法。无论是何种C++编译器，他们对std的使用都是基本一样的重要网页及书籍 CppReference.com gcc.gnu.org STL体系结构基础介

C++泛型编程中各种排序算法的实现解析

C++中的模板是实现泛型编程的机制，它允许创建独立于数据类型的类和函数。这意味着开发者可以编写适用于不同类型数据的代码，使得这些类和函数可以工作在整数、浮点数、字符串甚至用户定义的复杂数据类型上。 #### ...

C++ 完美转发：泛型编程中的参数无损传递

w20010915的博客

02-14

527

是 C++11 引入的特性，与完美转发（Perfect Forwarding）相关，用于在泛型编程中保留参数的原始类型（左值/右值、常量性等）。它的核心目标是避免不必要的拷贝或类型丢失，同时支持移动语义和泛型代码的高效性。，结合模板类型推导和引用折叠规则，可以将参数“原样”传递给其他函数。避免不必要的拷贝，同时正确处理左值/右值。：若直接传递参数，右值可能退化为左值，导致无法触发移动语义。：若参数是临时对象（右值），未正确传递会导致拷贝而非移动。的类型，将参数转换为原始的左值或右值引用。

C++学习笔记第三章对象与基本类型

PC2721的博客

11-22

297

深蓝学院C++基础，个人学习笔记

C++ 模板初探

sinat_38363122的博客

01-14

466

模板实例化：模板的声明其实并未给出一个函数或者类的完全定义（definition），只提供了一个函数或类的语法框架模板实例化是指从模板构建出一个真正的函数或类得过程实例化有两种类型： 1、显式实例化：代码中明确指定具体类型实例化 2、隐式实例化：模板参数推断：模板参数将由被传递的调用参数决定。在类型推断的时候自动的类型转换是受限制的：如果调用参数是按引用传递的，任何类型转换都不被允许。通过模板...

C++11的模板类型判断——std::is_same和std::decay

热门推荐

尘中远的程序开发记录

10-14

7万+

C++11的模板类型判断——std::is_same和std::decay问题提出：有一个模板函数，函数在处理int型和double型时需要进行特殊的处理，那么怎么在编译期知道传入的参数的数据类型是int型还是double型呢？如：#include <iostream> template<typename TYPE> void typeCheck(TYPE data) { //do so

那些学了Python的程序员，编程能力都“退化”成什么样了？

weixin_45084321的博客

05-28

402

在知乎上有一个特别火的问题：如何学Python? 你会看到很多高赞回答是：我一天就学完了。在大家群嘲的背后，我们来分析一下，为什么在大家印象里，Python这么容易学，甚至简单到被某些人鄙视呢?学Python，人的编程能力会严重退化吗? “幼年”被鄙视，“长大”后却是高级脸 Python代码简洁易懂，是最接近自然语言的编程语言了。同样的内容按照代码量计算，C++：Java：Pyth...

c++11模板类型推导规则

weixin_42923076的博客

05-07

2548

模板类型推导规则当你准备迫切地想要了解本文的内容时，说明你对c++的了解已经比较深入了！本文将试图介绍c++11之后的模板类型推导机制是怎样的（加入右值引用概念），诚然，模板类型推导规则是了解GP（泛型编程，Generic Programming）的基础和前提，但只会这个还远远不够，泛型编程对我来说还是一个触不可及的范式；哪怕你不准备学习使用GP，模板类型推导规则仍然是一个合格的c++工程师必备的知识，模板在现代c++开发中还是很常用的！ c++的函数/类模板为我们提供了这样一种语义：可以针对多种不定的类

【C++11】C++类型完全退化（拓展std::decay的功能）

几罗星人的专栏

11-19

1万+

C++11提供了一个模板类，来为我们移除类型中的一些特性，比如引用、常量、volatile，但是注意不包括指针特性，这个类就是std::decay，在头文件type_traits（类型萃取）中。如果我们希望将指针特性也退化掉，则需要自己写代码实现。但是np_decay类只能退化一重的修饰，fulltype通过不断递归继承，每继承一次退化一次，退化到没效果了就是全部特性都移除了，这时候的T作为结果的type类型，实现完全的退化。

C++ 11（1）：