阅读并笔记的途中我跳过了一些之前已经总结过的内容, 而对于一些自己看书后依然没搞清楚的内容(例如SFINAE和内存模型)搜索资料进行了扩展, 还补充了一些原书没有介绍但稍微有所相关的内容, 参考文献在每一段的开头给出...C相同的结构体模型....没有继承关系) 类中的第一个非静态成员类型要与基类不同(为了类指针能直接指向第一个成员) 没有虚函数和虚基类 所有非静态成员都满足POD布局(递归定义) 之所以C++11引入POD的概念是为了保证我们可以安全地用...memset和memcpy来对POD操作, 方便C/C++混编 而且POD保证了静态初始化的安全有效, 可直接在内存级别赋0 我们可以用标准库的is_trivial::value来判断一个类是否Plain...v=mNxAqLVIaW0 C++模板进阶指南:SFINAE https://zhuanlan.zhihu.com/p/21314708 Substitution Failure is not an Error
对于那些卡在c++ 11和c++ 14之间的人来说,这也很有趣。 c++ 98中的解决方案依赖于3个关键概念:重载解析、SFINAE和sizeof的静态行为。...一个简单的函数调用,如“f(obj);”在c++中,激活一个机制,根据参数obj来确定应该调用哪个f函数。...虽然这个特性不是c++ 98标准所要求的,但是它已经在使用了,这取决于您的编译器。它确实成为c++ 11中一个安全的选择。...declval对于我们的SFINAE结构确实非常方便。...auto相当于c#中的var。auto在c++ 11中也有一个不太出名的函数声明用法。
针对类中特定成员函数的检测其实在工作中也可能用到。C++中可以用SFINAE技巧达到这个目的。...SFINAE是Substitution Failure Is Not An Error的缩写,直译为:匹配失败不是错误。属于C++模板编程中的高级技巧,但属于模板元编程中的基本技巧。...当然我其实也并不是C++元编程方面的专家,只是搜集过一些常见的实现方式,然后做过一些测试。在这个过程中,我发现有些常见的SFINAE写法是有问题的,下面探讨一下。...两个Helper类的模板参数中。第二个参数为 push_back的函数指针类型。之所以弄了两个Helper,是因为std::string的push_back的参数为char。...因为网上能找到的各种SFINAE的实现版本中,很多对于push_back的检测都是有问题的。 而以上列举这两种,都能准确检测出string、vector、list中的push_back()。
>using void_t = void; 看着它很简单,但它搭配SFINAE却可以在模板元编程中发挥巨大作用。...SFINAE和模板优先找特化去匹配的特性,估计大家应该看示例代码就能明白。...推荐阅读 内推字节 Linux C/C++ 开发的那位同学没通过面试...... 那些做客户端 C/C++ 开发的同学,现在怎么样了? 你的简历中不要写这些信息哦!...你一定要搞明白的 C 函数调用方式与栈原理 Modern C++ 智能指针详解 Modern C++,学炸了!! C++ 代码优化应该怎么学? 有哪些不错的 Golang 开源项目?...Linux 的 epoll 使用 LT + 非阻塞 IO 和 ET + 非阻塞 IO 有效率上的区别吗? 在 2021 年写一本 C++ 图书是一种什么体验?
C++模版的诞生 程序 = 数据结构 + 算法 ---Niklaus EmilWirth 程序本质是数据结构+算法,任何一门语言都可以这样理解,这个公式对计算机科学的影响程度足以类似物理学中爱因斯坦的...(数据结构)和算法,并且能很好在一起配合,这就需要它们既要相对的独立,又要操作接口保持统一,而且能够很容易被别人使用(用到实际类中),同时又要保证开销尽量小(性能要好)。...程序=数据结构+算法 算法就是对容器的操作,对数据结构的操作,一般算法设计原则要满足KISS原则,功能尽量单一,尽量通用,才能更好和不同容器配合,有些算法属于控制类算法(比如遍历),还需要和其他算法进行配合...这发生在尝试调用函数、取函数模板地址时,和某些其他语境中; 函数模板在进行实例化后会进行函数重载解析, 此时的函数签名不包括返回值(template argument deduction/substitution...SFINAE -Substitution failure is not an error 要理解这句话的关键点是failure和error在模板实例化中意义,模板实例化时候,编译器会用模板实参或者通过模板实参推导出参数类型带入可能的模板集
判断是否是可驱逐的,不可驱逐的,也不能删除。 根据该帧的访问次数,判断从历史队列中删除还是在缓存队列中删除。 更新可驱逐帧的数量。...删除在哈希表中的映射记录,删除LRU-K替换器中的记录,重置对应的page信息,将该frame_id放到空闲队列中。...& constexpr if enable_if 以下内容来源于ChatGPT C++的enable_if是一个模板元编程工具,用于在编译时根据条件来选择是否启用或禁用特定的函数模板。...---- different constexpr if 和 enable if 是两个不同的C++特性,用于在编译时根据条件选择代码路径,但它们在语法和使用上有一些区别。...enable if 适用于需要在模板函数中根据类型或条件启用或禁用特定实例化的情况。它通常用于模板函数的重载和模板参数的限制。
C++ POD类型 背景 POD(Plain Old Data)指的是C++定义的和C相兼容的数据结构。...几乎所有的系统底层都是用C写的,当时定义的基本数据类型比如int、char、float、枚举、指针、数组和结构等通过二进制拷贝后还能保持数据不变,即编译器可以通过二进制数据将该类型正确解析出来。...C++中的类类型引入了继承和派生等新概念,编译器无法解析这些复杂数据结构,因此C++提出POD数据结构的概念用于兼容C语言,由于C++中基本内置类型都是POD类型,因此我们一般讨论class、struct...POD类型的优势 1. C内存布局兼容 POD类型兼容C内存布局,C++可以直接使用C库函数操作POD数据类型,POD类型在C和C++间的操作总是安全的。 2....POD类型判断 在C++中,可以通过is_pod::value来判断某个类型是否是POD类型。
群里的一个问题 SFINAE 熟悉C++模板编程的小伙伴肯定第一时间想到通过SFINAE的方式来解决,让笔者来解决这个问题的话,会写出下面的代码: template T test...,Cal代表着一个concept的实现,requires中花括号的内容就代表了对于类型T的约束,要满足下面的操作符 a + a; a - a; a * a; a / a; Bingo!...requires后面可以带任意的concept concept的使用 了解了concept定义之后,我们就可以利用concept来进行模板类型的约束了。...这是笔者最认可的一种书写方式,语义明确,在模板类型定义之后明确对它的要求。 template T test(T a) { return a + a; } 2)....4.小结 C++的一些模板推断的错误常常让人抓狂。
所有非静态数据成员都必须是public访问属性,全部在E中,或全部在E的一个基类中(即不能分散在多个类中)。identifier-list按照类中非静态数据成员的声明顺序绑定,数量相等。...也就是说,方括号前面的修饰符都是作用于e的,而不是那些新声明的变量。至于为什么第一条会独立出来,这是因为在标准C++中第二条的形式不能用于数组拷贝。...在面向底层的C++编程中常用union和位域(bit field),结构化绑定支持这样的数据成员。...C++中不存在位域的指针和引用,但结构化绑定可以是指向位域的左值: #include struct BitField { int f1 : 4; int f2 :...elision),保证NRV(named return value)优化;•constexpr if,简化泛型代码,消除部分SFINAE;•带初始化的条件分支语句:语法糖,使代码更加优雅。
image.png 群里的一个问题 SFINAE 熟悉C++模板编程的小伙伴肯定第一时间想到通过SFINAE的方式来解决,让笔者来解决这个问题的话,会写出下面的代码: template <typename...,Cal代表着一个concept的实现,requires中花括号的内容就代表了对于类型T的约束,要满足下面的操作符 a + a; a - a; a * a; a / a; Bingo!...requires后面可以带任意的concept concept的使用 了解了concept定义之后,我们就可以利用concept来进行模板类型的约束了。...这是笔者最认可的一种书写方式,语义明确,在模板类型定义之后明确对它的要求。 template T test(T a) { return a + a; } 2)....4.小结 C++的一些模板推断的错误常常让人抓狂。
现代C++之SFINAE应用(小工具编写) 0.导语 现在考虑这个输入: map mp{ {1, 1}, {2, 4}, {3, 9}...+ STL容器有很多,例如:map,vector等等,我们想要针对键值对的map输出如下格式: key => value 针对不是键值对的采用下面输出: (a, b) 在C++ STL中针对map这种如果键值对...std::true_type { }; template inline constexpr bool is_pair_v = is_pair::value; 首先是一个模板结构体...,也就是第一个函数在std::declval() << *ptr会出错,但是在真正报错之前会去检测是否有重载函数,发现后面还有个output函数,最后决议不报错,这便是SFINAE...下面原理还是SFINAE来实现的,当不是pair的时候就调用第二个重载函数了,否则就是第一个。
C++ 允许在函数的任何位置声明变量. 我们提倡在尽可能小的作用域中声明变量, 离第一次使用越近越好. 这使得代码浏览者更容易定位变量声明的位置, 了解变量的类型和初始值....类型的指针、数组和结构体。...静态变量的构造函数、析构函数和初始化的顺序在 C++ 中是不确定的,甚至随着构建变化而变化,导致难以发现的 bug....所以除了禁用类类型的全局变量,我们也不允许用函数返回值来初始化 POD 变量,除非该函数不涉及(比如 getenv() 或 getpid())不涉及任何全局变量。...综上所述,我们只允许 POD 类型的静态变量,即完全禁用 vector (使用 C 数组替代) 和 string (使用 const char [])。
C++通常会做上面的操作1和2;JAVA会做上面的操作1和3,Python会做操作1、2、3 栈上分配和释放,只需要移动一下栈指针,由于后进先出的执行过程,所以不可能出现内存碎片、 二、智能指针 C++...简单类型称为POD(Plain Old Data),有构造和析构函数称为非POD。...局限性在现代处理器架构上是绝对有优势,缺点是复制对象的开销大大增加,所以C++需要移动语义,而Java里根本没有。...如果自定义类型拷贝构造代价较高,则使用移动构造函数,并标其为noexcept,或者只在容器中放置对象的智能指针。 C++11提供的emplace系列函数,是为了提升容器性能设计。...在元素大小较小的时候,他可以有效的节约内存。 3.4 关联容器 c++的关联容器(set,map,multiset,multimap)是有序的,而在别的语言通常是无序的。名字带multi的允许键重复。
1.2 元编程在 C++ 中的位置 C++ 语言 = C 语言的超集 + 抽象机制 + 标准库 C++ 的 抽象机制 (abstraction mechanisms) 主要有两种:面向对象编程 (object-oriented...根据 对象 (object) 在 C++ 中的类型,推导出对应数据库 关系 (relation) 中元组各个字段的类型;将对 C++ 对象的操作,映射到对应的数据库语句上,并生成相应的代码。...在实际项目中,我们往往需要将 C++ 数据结构,和实际业务逻辑相关的 领域模型 (domain model) 相互转化。... 和 T * 的相互转换;最后这使得所有的指针的 std::vector 就可以共享同一份实现,从而避免了代码膨胀。...但是,过度的使用元编程,一方面会 增加编译时间,另一方面会 降低程序的可读性。不过,在 C++ 不断地演化中,新的语言特性被不断提出,为元编程提供更多的可能。
简介 C++数据类型包括基本内置类型、复合类型和自定义数据结构。...基本内置类型:编译器内置的基本类型,包括算数类型(字符、整型数、布尔值、浮点数)和空类型void 复合类型:基于其他类型定义的类型,包括数组、C风格字符串、指针、引用、C风格结构体(POD)和联合体(...Union) 自定义数据结构:用struct或者class定义的类 POD:Plain Old Data,用来表明C++中和C相兼容的数据类型,在C++中可以用is_pod::value判断是否是...实际开发中我们仅使用C++内置整型中的int,如果程序中需要大小不同的整型,那么: 在合适情况下,推荐用size_t和ptrdiff_t 我们可以认为int至少32位,如果需要使用64位整数,那么使用...void*是一种特殊的指针类型,可以存放任意对象的地址,一般只能做如下操作: 拿void*指针和别的指针比较 作为函数的输入输出 赋值给另一个void*指针 自定义数据结构 C++允许用户以类的形式自定义数据类型
执行效率 从语言特性角度上来看,C++是C的超集。 在(C++) - C的这部分语言特性中有很多会降低执行效率。...例如C++中std::sort函数肯定比C语言中的qsort快(因为template function的优点),但是C++中的iostream系列又比C的printf系列慢几乎3倍,但是由于C++标准库功能比...C语言大得多,许多时候我们可以用较少的开发时间就在C++中实现相同的算法。...返回结构体对象:C++支持对于非POD执行返回拷贝优化,C99结构体由于都是POD,有的版本依然不能支持返回拷贝优化。...C++函数模版(operator <) vs C函数指针定义concept(qsort的比较函数指针):本质是生成多份实例用空间换时间 VS 用函数调用解耦可复用代码和不可复用代码从而避免可复用代码产生多份实例
本篇介绍 本篇继续C++的模版介绍 std::enable_if enable_if 的作用是满足条件后可以使用模版推导,基于SFINAE(substitution failure is not...enable_if::type; 查看下面的例子: template std::enable_if_t 4)> foo() { } 就是在...(sizeof(T) > 4)>> void foo() { } 在C++20中,也可以不使用enable_if, 通过requires 和concept关键字即可: template<typename...,那是哪儿赋值的呢?...this是否有效,并且利用弱指针来创建shared_ptr 弱指针是在首次使用智能指针创建对应对象的时候初始化的,那么就需要要求调用shared_from_this前,该对象已经被智能指针持有了。
SFINAE 技术,即匹配失败不是错误,英文Substitution Failure Is Not An Error,其作用是当我们在进行模板特化的时候,会去选择那个正确的模板,避免失败 看个具体的例子...multiply,但是由于我们不知道multiplication_result,根据 Substitution Failure Is Not An Error ,于是我们就去选择函数 multiply 这种技术在代码中的一个大的用途就是在编译时期来确定某个...is_ptr函数,3个是接受不同的指针参数,另一个则包括了其他的所有参数, IntPtr 是一个变量指针 FooMemberPtr 是一个成员属性指针 FuncPtr 是一个函数指针 接着我们来看下...muduo 库中的一段代码: template struct has_no_destroy { template static char...,但是继承在不同的gcc版本上不一定成立,具体可以看:http://stackoverflow.com/questions/1966362/sfinae-to-check-for-inherited-member-functions
领取专属 10元无门槛券
手把手带您无忧上云