也就是说，在fun()函数内部，将参数x赋值给一个string类型的v，但是在main()函数中 ，调用fun()函数时候传入了1，这个编译器会推导为int类型，那么把一个int类型赋值给string，编译器会报错。
导语 | 一句话实现系统API的Hook，参数记录以及数据过滤与修改，关注敏感数据本身而不是哪个API的哪个参数可能有敏感的需要处理的信息，写工具的时候想到上述能力可以借助模板实现，赶紧尝试了一下，也做个笔记分享供大家学习。 一、AnyCall （一）背景 一般来说所有ApiHook库都会需要提供一个与被HookApi相似/相同的Myxxx函数以实现参数访问，这里以BlackBone的LocalHook举例，其需要的是被HookApi的引用参数形式，如下所示： bool TestFu
先从一个群友的一个实际的问题出发，我们来看看concept可以解决什么问题。是怎么样通过coding实现的。
编程时通过在if语句中使用constexpr关键字就可以在编译期计算if语句中的表达式，然后决定if语句走到哪个分支，没有走到的分支虽然编译器也会对这部分的代码进行代码走查，但其实这些代码最终可能不会被生成或者说被编译器丢弃。如下面这段代码所示：
static_assert(is_same_v<decltype(f), int(int, short, float)>);
从C++17开始，可以使用二元操作符对形参包中的参数进行计算，这一特性主要针对可变参数模板进行提升。支持的二元操作符多达32个。例如，下面的函数将会返回传入的所有的参数的和。
模板特例化和模板重载函数可以共存，编译期针对不同的数据类型，生成多个版本的函数，c++11之后可以使用constexpr常量表达式，写编译期代码
从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。
C++17是目前比较常用的版本之一，今天花时间来梳理一下17个重要特性，所有的特性也不止这么点。
编译器信息最新动态推荐关注hellogcc公众号 本周更新OSDT Weekly 2022-01-26 第134期
nlohmann/json是一个C++的读写JSON的组件，号称使用现代C++范式写的。简单看了一下，这个组件确实包含了很多cpp11以上的特性，在vs2015及一下的版本甚至没办法正常编译。要正常使用需要vs2017及以上版本才行。
作者：readywang(王玉龙) template 是 c++ 相当重要的组成部分，堪称 c++语言的一大利器。在大大小小的 c++ 程序中，模板无处不在。c++ templates 作为模板学习的经典书籍，历来被无数 c++学习者所推崇。第二版书籍覆盖了 c++ 11 14 和 17 标准，值得程序猿们精读学习，特此整理学习笔记，将每一部分自认为较为重要的部分逐条陈列，并对少数错误代码进行修改 一、函数模板 1.1 函数模板初探 1.模板实例化时，模板实参必须支持模板中类型对应的所有运算符操作。 te
decltype（declare type）用于查询表达式的类型，即编译时期进行自动类型推导。如上所示，该语句返回expression表达式的类型。
我们从main函数的开始，大致讲一下都做了哪些事情。之后再从每个流程中的具体实现开始阅读（如果我记得的话会回头在这里补上对应的链接），或者会以解决某些问题为线索写一篇，比如说某一些常见的参数具体在mold中怎么生效的，比如说whole_archive这种。为保证两部分文章内容的连贯性，内容不可避免会有一定重叠。
作者：jinshang，腾讯 WXG 后台开发工程师 自从步入现代 C++时代开始，C++语言标准形成了三年一个版本的惯例：C++11 标志着现代 C++的开端，C++14 在 11 的基础上查缺补漏，并未加入许多新特性，而 C++17 作为 C++11 后的第一个大版本，标志着现代 C++逐渐走向成熟。WXG 编译器升级到 gcc7.5 已有一段时间，笔者所在项目组也已经将全部代码升级到 C++17。在使用了 C++17 一年多之后，笔者总结了 C++17 在业务代码中最好用的十个特性。 注 1：本文只
模板的特例化是C++新标准的一个特点，可以自定义某些模板的实现，比如在比较函数compare可以使用less<T>标准库模板比较string、int、char、指针等类型，但如果有const char*类型且比较字符串的字典大小时，就与之前的比较方式不同了：
编译器用推断出的模板参数来为我们实例化（instantiate）一个特定版本的函数，生成的版本称为模板的实例（instantiation）。
模板定义以关键字template关键字开始，后面跟着一个模板参数列表(不能为空)：
从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态
第 16 章 模板与泛型编程 标签： C++Primer 学习记录 模板 泛型编程 ---- 第 16 章 模板与泛型编程 16.1 定义模板 16.2 模板实参推断 16.3 重载与模板 16.4 可变参数模板 16.5 模板特例化 在做这一章的笔记时，因为有很多内容也是在看 C++ Primer这本书时第一次接触到，所以需要记录大段文字。挨个字敲，又太累，所以就想有没有什么高效的输入手段。后面想到了语音输入，对比了搜狗输入法和讯飞输入法，发现讯飞输入法对于专业术语也能翻译的很好。这样一来，遇到整段文字
这个就是c++14-c++17那会社区一直念叨的function_ref function_view，一个轻量的function
第 16 章 模板与泛型编程 标签： C++Primer 学习记录 模板 泛型编程---- 在做这一章的笔记时，因为有很多内容也是在看 C++ Primer这本书时第一次接触到，所以需要记录大段文字。挨个字敲，又太累，所以就想有没有什么高效的输入手段。后面想到了语音输入，对比了搜狗输入法和讯飞输入法，发现讯飞输入法对于专业术语也能翻译的很好。这样一来，遇到整段文字就再也不用烦心了。果然，想偷懒，才能提高效率嘛！ ---- 16.1 定义模板 面向对象编程能处理类型在程序运行之前都未知的情况，动态联编。而
编译器信息最新动态推荐关注hellogcc公众号 本周更新 2023-03-22 第194期
最近很火的鸿蒙系统框架代码，很多就是基于c++做的底层、运行时和应用框架封装。c++11后续又有11，14，17，20等众多新版本。哪个是主流？截至目前来说，c++17应该是新项目的首选。C++14在11的基础上查缺补漏，并未加入许多新特性，而C++17作为C++11后的第一个大版本，标志着现代C++逐渐走向成熟。
auto类别推导其实就是模板类别推导，只不过模板类别推导涉及模板、函数和形参，而auto和它们无关
concept乃重头戏之一，用于模板库的开发。功能类似于C#的泛型约束，但是比C#泛型约束更为强大。
但凡阅读过源码，就知道STL里面充斥着大量的T&&以及std::forward，如果对这俩特性或者原理不甚了解，那么对源码的了解将不会很彻底，或者说是一知半解。之所以这么说，是因为当初吃过这个亏，在研究某个特性的时候，仅仅关注大体逻辑，而这种阅读方式往往忽略了某些非常重要的细节，以为自己了解了整个原理，结果往往就是这种被忽略的细节导致了线上故障（详见之前文章P1级故障，年终奖不保）。所以，今天借助本文，聊聊STL中两个常见的特性万能引用 和 完美转发，相信读完本文后，对这俩特性会有一个彻底的了解，然后嘴里不自觉吐出俩字：就这？😁
上一篇翻译了C++14的新特性简介，这篇就是Anthony Calandra在https://github.com/AnthonyCalandra/modern-cpp-features/blob/master/CPP17.md 中对C++17重要的新特性的简介。原文中有些地方写得不是很好理解所以对其做了少量修改
对于许多C ++开发人员来说，API设计可能会在其优先级列表中排名第3或第4。大多数开发人员都倾向于使用C ++来获得原始功能和控制权。因此，性能和优化的想法占据这些开发者的时间的百分之八十。
老规矩，咱们还是先从一个简单的查询出发，通过一步步的通过执行计划按图索骥ClickHouse的执行逻辑。
开始正文之前，做一些背景铺垫，方便读者了解我的工程需求。我的项目是一个客户端消息分发中心，在连接上消息后台后，后台会不定时的给我推送一些消息，我再将它们转发给本机的其它桌面产品去做显示。后台为了保证消息一定可以推到客户端，它采取了一种重复推送的策略，也就是说，每次当我重新连接上后台时，后台会把一段时间内的消息都推给我、而不论这些消息之前是否已经推送过，如果我不加处理的直接推给产品，可能造成同一个消息重复展示多次的问题。为此，我在接收到消息后，会将它们保存在进程中的一个容器中，当有新消息到达时，会先在这个容器里检查有没有收到这条消息，如果有，就不再转发。
如果说 C++11 和 C++20 是两个改动大、影响比较深远的"大版本"，那么我感觉 C++17 算是一个小版本。(推荐 vs2019，gcc8，clang10，支持 C++17)
早在C++98标准中就存在了auto关键字，那时的auto用于声明变量为自动变量，自动变量意为拥有自动的生命期，这是多余的，因为就算不使用auto声明，变量依旧拥有自动的生命期：
条款2 明白auto类型推导 如果你已经读完了条款1中有关模板类型推导的内容，那么你几乎已经知道了所有关于auto类型推导的事情，因为除了一个古怪的例外，auto的类型推导规则和模板的类型推导规则是一样的，但是为什么会这样呢？模板的类型推导涉及了模板，函数和参数，但是auto的类型推导却没有涉及其中的任何一个。 这确实是对的，但这无关紧要，在auto类型推导和template之间存在一个直接的映射，可以逐字逐句的将一个转化为另外一个。 在条款1中，模板类型推导是以下面的模板形式进行举例讲解的： templa
那么如何阻止它呢？ C++ 标准有一条规定: “Implicit conversions will be performed […] if the parameter type contains no template-parameters that participate in template argument deduction” (ISO/IEC 14882:1998, section 14.8.1.4). 也就是说，既在模板参数列表中，又在函数参数列表中的类型不会隐式转换。也就是：
本文的内容已经不新鲜了。关于auto，翻来覆去被人知道的都是这些东西，本文并没有提出新颖的auto用法。 本人原是痛恨博客一篇篇都是copy而来缺乏新意的探索，当然，本文不是copy而来，但发布这样一篇大家皆知的文章心里甚是惶恐。 本文对auto的内容加以整理，权当是自己的复习笔记了。
使用引用替代指针且所有不变的引用参数必须加上const。在C 语言中，如果函数需要修改变量的值，参数必须为指针，如int foo(int *pval)，在 C++ 中，函数还可以声明引用参数int foo(int &val)，定义引用参数防止出现 (*pval)++ 这样丑陋的代码。像拷贝构造函数这样的应用也是必需的，而且更明确，不接受 NULL 指针。
链接：https://www.cnblogs.com/liangliangh/p/4219879.html
1. 理解std::move和std::forward 从std::move和std::forward不能做的地方开始入手是有帮助的，std::move不会移动任何值，std::forward也不会转发任何东西，在运行时，他们不会产生可执行代码，一个字节也不会:)。他们实际上是执行转换的函数模板。std::move无条件的把它的参数转换成一个右值，而std::forward在特定条件下将参数转换成右值。 //c++11中std::move的简化版本 template<typename T> typename
非模板友元 声明一个常规友元 template <class T> class HasFriend { public: friend void counts(); } 上边的声明使counts()函数成为模板所有实例化的友元 counts()函数不是通过对象调用的(它是友元，不是成员函数)，也没有对象参数，那么它如何访问HasFriend对象的呢 有很多种可能性。它可以访问全局对象;可以使用全局指针访问非全局对象;可以创建自己的对象;可以访问独立对象的模板类 的静态数据成员。 如果要为友元函数提供械板类
统一初始化又称为列表初始化，自C++11引入，使用花括号(Brace-initialization)方式，主要目的是为了简化和统一不同的初始化方式，提高代码的可读性和可维护性，同时减少了某些特殊情况下可能出现的二义性。是Modern C++开发人员最应该了解和掌握的新特性之一。它的出现，消除了以前在初始化基本类型、聚合类型和非聚合类型、以及数组和标准容器之间的区别，以提供更一致的初始化语法。
STL提供了一组表示容器 迭代器 函数对象 和算法的模板。容器是一个与数组类似的单元，可以存储若干个值。STL容器是同质的，即存储的值的类型相同；算法是完成特定任务(如对数组进行排序 又或 在链表中查找特定值)的处方；迭代器能够用来遍历容器的对象，与能够遍历数组的指针类似，是广义指针；函数对象是类似函数的对象，可以是类对象或函数指针。STL使得能够构造各种容器(数组 队列 链表等)和执行各种操作(包括搜索 排序和随机排列) STL并不是面向对象的编程，而是一种不同的编程模式-泛型编程，当然我们用一言两句可能说不清，我们可以通过一些实际应用真是了解到容器 迭代器 算法等
除了显而易见的减少实例化类型的数量（实际业务场景下其实大部分减不了），「本文主要是提供适用于一些具体场景、可实际操作的优化策略以减少C++模板代码的大小。」
一、重载与模板 函数模板可以被另一个模板或一个普通非模板函数重载 如果涉及函数模板，则函数匹配规则会有以下的约束： 如果同样好的函数中只有一个是非模板函数，则选择此函数 如果同样好的函数中没有非模板函数，而有多个函数模板，则其中一个模板比其他模板更特例化，则选择此模板 否则，调用有歧义 ①对于一个调用，其候选函数包括所有模板实参推断成功的函数模板实例 ②候选的函数模板总是可行的，因为模板实参推断会排除任何不可行的模板 ③可行函数（模板与非模板）按类型转换（如果对此调用需要的话）来排序。当然，可以用于函数模板
1，移动语义：使用移动操作替换复制操作，比如移动构造函数和移动赋值运算符替换复制构造函数和复制赋值运算符
一、类模板与模板类 类模板：一个模板（是模板） 模板类：调用类模板生成的类对象（是类实体），也称为类模板的实例化 类模板的定义： 与函数模板的定义是一样的 template <typename T>class Blob{public:Blob();Blob(std::initializer_list<T> i);}; 模板类的使用： 在定义类时，使用到类名的地方都需要显示的给出模板类的类型，格式为<> int main(){Blob<int> ia;Blob<int> ia2 = { 1,2,3 };Bl
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
