我们终于在年初的时候最后完成了整体服务器框架对C++20协程的支持和接入。虽然之前陆陆续续抽时间改造一些组件,让它支持C++20协程,期间也记录了一些早期的设计思路和踩的坑(包括 《libcopp接入C++20 Coroutine和一些过渡期的设计》和《libcopp对C++20协程的接入和接口设计》),其中不乏一些C++20协程使用上可能打破我们常规思路细节和编译器的BUG。而且这些都是各个组件的改造,并没有最后整合到一起。
在C++中,编译器在编译某个源文件时确实需要查看其中所有需要调用的函数的声明。这是因为C++是一种静态类型语言,编译器在编译阶段需要了解函数的签名(返回类型、函数名、参数类型和顺序等信息),以便进行类型检查和生成正确的机器代码。因此,如果我们在一个文件中定义一个函数,并想在另一个文件中调用它,则也必须在该文件中声明它。只有这样编译器才能生成适当的代码来调用该函数。
最近GCC 10.1.0 发布,三大编译器(MSVC、GCC、Clang)都已经支持了C++20协程,之前给 libcopp 接入 C++20协程 的计划也就提上了日程。C++20协程 在创建、切换开销和内存分配上和传统有栈协程相比有着无可比拟的优势。但是C++20全面普及还有相当长一段时间,所以我们设计的重要目标之一就是能够让以后的迁移更容易且更平滑地进行,本文则是记录了 libcopp 接入 C++20协程 时地一些性能上和平滑接入上的思考和成果。
协程不是系统级线程,很多时候协程被称为“轻量级线程”、“微线程”、“纤程(fiber)”等。简单来说可以认为协程是线程里不同的函数,这些函数之间可以相互快速切换
导语 | 本文推选自腾讯云开发者社区-【技思广益 · 腾讯技术人原创集】专栏。该专栏是腾讯云开发者社区为腾讯技术人与广泛开发者打造的分享交流窗口。栏目邀约腾讯技术人分享原创的技术积淀,与广泛开发者互启迪共成长。本文作者是腾讯后台开发工程师杨良聪。 协程(coroutine)是在执行过程中可以被挂起,在后续可以被恢复执行的函数。在C++20中,当一个函数内部出现了co_await、co_yield、co_return中的任何一个时,这个函数就是一个协程。 C++20协程的一个简单的示例代码:
最近GCC 10.1.0 发布,三大编译器(MSVC、GCC、Clang)都已经支持了C++20协程,之前给 libcopp 接入 C++20协程 的计划也就提上了日程。C++20协程 在创建、切换开销和内存分配上和传统有栈协程相比有着无可比拟地优势。但是C++20全面普及还有相当长一段时间,所以我们设计的重要目标之一就是能够让以后的迁移更容易且更平滑地进行,本文则是记录了 libcopp 接入 C++20协程 时地一些性能上和平滑接入上的思考和成果。
最近看到大佬们写的C++20库使用了module特性,特意来学习一下,于是有了这篇文章,本篇文章的所有代码都在我的星球里面,需要代码的可以扫文末的二维码。
本文代码测试环境为“GCC-9.1.0”,有关编译器的安装请参考《安装GCC-8.3.0及其依赖》,适用于“GCC-9.1.0”。
【编者按】C++ 四十年,历久弥新长盛不衰。几日前 CSDN 组织了一次 C++ 直播对话,在非常短的时间内就吸引了两万多开发者观看,足以说明 C++ 在开发者中的影响力。本文的四位作者联合撰文,写下了这篇两万字的长文,深度总结了 C++ 的新进展,以及未来的演进方向,值得所有开发者收藏。 作者 | 祁宇 许传奇 袁秩昊 卜恪 责编 | 唐小引 出品 | 《新程序员》编辑部 不平凡的 2022 年已经过去了,受到疫情影响,C++ 标准委员会(以下简称委员会)只能在线上 Review 提案,效率较低,但在
C++20 开始支持 Module 了。在以前C++为了解决循环依赖问题,经常会把类或者函数声明写前面,实现写后面。然后中间的代码就可以实现内部模块的内聚而互相引用。比如:
与其他编程语言相比,C++ 加入协程较晚,从C++20开始支持。在协程出现之前,C++ 程序员有两种选择:
每周日推送从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。
在讲协程之前,先回顾C11之前我们怎么处理多任务,怎么同步不同任务之间的处理顺序。想象一个你在用文本编辑器GUI,你对GUI的每个button进行操作,背后都有一段函数代码处理你的button事件。这就是事件驱动。事件驱动代码的一个典型示例是注册一个回调,每次套接字有数据要读取时都会调用该回调。
ranges是C++20的主要特性之一,其中"view"是比较重要的一部分。C++20之前,标准库的算法实现是基于迭代器来实现的,例如:std::sort。
C++20使用std::format替代printf,丰富了I/O流,chrono增加了对日历和时区的支持,增加std::atomicstd::shared_ptrstd::atomic等,使用std::source_lacation替代_LINE_、_func_宏,使用std::span表示一个片段。
C++20 有很多更新,上图展示了 C++20 更新的概况。下面作者首先介绍 了 C++20 的编译器支持情况,然后介绍 The Big Four(四大新特性)以及核心语言方面的新特性。
之前的一篇博客概览式地介绍了 C++20 的概念、范围、协程和模块,下面开始介绍它的核心语言。
上一章节介绍了协程的现状,并以libco为例介绍了主流有栈协程的实现原理。这一篇,我们开始进入C++20原生协程的研究。
GCC 中的 C++20 支持 GCC 对 2020 年发布的 C++ 标准的最新版本具有实验性支持。
从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。
C++20 正式发布已经有一段时间了。其中 Text Formatting 是一个我个人比较感兴趣的新组件。它主要是解决了之前字符串格式化库 ( printf 系 ) 的效率问题和运行时安全的问题。 并且新的格式设置的形式也比较友好。相关规范和用法可以参见:
导语 | 本篇文章循序渐进地介绍C++20协程的方方面面,先从语言机制说起,再来介绍如何基于C++20的设施实现一个对比C++17来说更简单易用,约束性更好的一个任务调度器,最后结合一个简单的实例来讲述如何在开发中使用这些基础设施。 Vue框架通过数据双向绑定和虚拟DOM技术,帮我们处理了前端开发中最脏最累的DOM操作部分,我们不再需要去考虑如何操作DOM以及如何最高效地操作DOM,但是我们仍然需要去关注Vue在跨平台项目性能方面的优化,使项目具有更高效的性能、更好的用户体验。 一、C++20 Cor
接下来本篇将会简单的列一些比较重要的特性供大家参考,陈述一下为什么大家需要学习C++20,它能够给大家带来什么样的好处。
在前文中我们介绍过了在C++17中怎么利用Duff Device特性Hack出一个无栈协程实现, 并基于这个无栈协程实现了一个任务调度器, 具体可参见 <<如何在C++17中实现stackless coroutine以及相关的任务调度器>>. 这篇文章算是本篇文章的前篇, 侧重于介绍C++17下无栈协程的实现, 以及任务调度器的实现, 对协程本身的应用展开的比较少. 本篇文章循序渐进的介绍C++20协程的方方面面, 先从语言机制说起, 再来介绍如何基于C++20的设施实现一个对比C++17来说更简单易用, 约束性更好的一个任务调度器, 最后结合一个简单的实例来讲述如何在开发中使用这些基础设施.
GCC支持在编译的时候使用-std选项来选择编译语言的标准。程序本身也是在发展的,不断变化的。以 C 语言为例,发展至今该编程语言已经迭代了诸多个版本,例如 C89(偶尔又称为 C90)、C94(C89 的修订版)、C99、C11。同样,C++语言也经历了很多的标准变化,例如C++11,C++14,以及现在最新的C++20。既然语言都发展了这么多的标准,GCC编译器当然也要提供一个标准开关,他就是-std选项。对于编译 C、C++ 程序来说,借助 -std 选项即可手动控制 GCC 编译程序时所使用的编译标准。
从reddit/hackernews/lobsters/purecpp知乎等等摘抄一些c++动态
[!info] 导语: 在先前的文章《从无栈协程到C++异步框架》中,我们探讨了如何将上层的协程调度器与底层的C++17协程实现以及C++20协程实现相结合,从而构建一个在单线程环境下易于使用的异步框架。通过相关示例,我们发现协程在表达线性类型业务方面具有显著优势。那么,在多线程环境下,当单个协程的执行不再受限于单一线程时,我们能否继续保持这种线性类型业务的友好表达,并在多线程环境中充分利用协程的优势呢?本篇文章将致力于解决这一核心问题。
从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态
1 原位构造与容器的emplace系列函数 在介绍emplace和emplace_back方法之前,我们先看一段代码: #include <iostream> #include <list> class Test { public: Test(int a, int b, int c) { ma = a; mb = b; mc = c; std::cout << "Test constructed." << std::endl;
前面的文章中我们尝试从 C++17 和 C++20 的角度分别探讨过其中无栈协程的包装机制和使用, 但其中的设计由来, 原理, 剥析的并不多. 这也导致对相关特性不太熟悉的读者要理解相关内容存在比较大的成本. 本篇我们将更多的回归原理, 背后的设计, 尝试对整个C++的协程做深入浅出的剥析, 方便大家的理解. 再结合上层的封装, 最终给出一个C++异步框架实际业务使用的一种形态, 方便大家更好的在实际项目中应用无栈协程. PS: 本文的主要内容与IEG课程 <> 基本一致, 文字版细节更多, 更适合阅读.
点个关注👆跟腾讯工程师学技术 导语 | 本文我们将尝试对整个 C++的协程做深入浅出的剖析,方便大家的理解。再结合上层的封装,最终给出一个 C++异步框架实际业务使用的一种形态,方便大家更好的在实际项目中应用无栈协程。 浅谈协程 在开始展开协程前,我们先来看一下一些非 C++语言中的协程实现。 (一)其他语言中的协程实现 很多语言里面,协程是作为 "一类公民" 直接加入到语言特性中的, 比如: Dart1.9示例代码 Future<int> getPage(t) async {
作者:fangshen,腾讯 IEG 游戏客户端开发工程师 导语 本文我们将尝试对整个 C++的协程做深入浅出的剥析, 方便大家的理解. 再结合上层的封装, 最终给出一个 C++异步框架实际业务使用的一种形态, 方便大家更好的在实际项目中应用无栈协程。 1. 浅谈协程 在开始展开协程前, 我们先来看一下一些非 C++语言中的协程实现. 1.1 其他语言中的协程实现 很多语言里面, 协程是作为 "一类公民" 直接加入到语言特性中的, 比如: 1.1.1 Dart1.9 示例代码 Future<int> get
std::array是C++容器库提供的一个固定大小数组的容器。其与内置的数组相比,是一种更安全、更容易使用的数组类型。std::array在头文件<array>中定义,其声明如下:
之前写了 《协程框架(libcopp)v2优化、自适应栈池和同类库的Benchmark对比》 和 《C++20 Coroutine》 ,但是一直没写 C++20 Coroutine 的测试报告。
编译器信息最新动态推荐关注hellogcc公众号 本周更新 2022-03-16 第141期
先从一个群友的一个实际的问题出发,我们来看看concept可以解决什么问题。是怎么样通过coding实现的。
ISO C++ 委员会正式发布了 C++20 标准,命名为 ISO/IEC 14882:2020。
基本上从C++语言出现开始,泛型编程就是C++的重要组成部分之一。使用编程,可以在实现一次编程多次使用的同时,又不会损失精度。简直就是完美。例如我们可以实现一个简单的、可以处理多种数据类型的模板加法函数:
C++变量是一种在程序中存储数据的机制。变量是用于存储和操作数据的标识符。以下是C++变量的详细介绍:
最近的连载中有很多内容涉及到C++20中的内容,例如concept等。但是由于C++20还属于新生事物,不仅可以参考的例子少,找到一个可以体验C++20功能的开发环境都困难。本文介绍使用微软VisualStudio2019预览版体验C++20新特性的方法。
本文示例可见:https://github.com/ikuokuo/start-cpp20
点个关注👆跟腾讯工程师学技术 导语 | 每个C++程序员仿佛都是人形编译器,不止要看懂代码表面的逻辑,甚至要知道每行代码对应的汇编指令。优化代码也成了C++工程师日常必备,正所谓“一杯茶,一包烟,一段代码,优化一天”。在经历过无数个性能优化的日夜后,笔者也总结了几个中过招的性能陷阱,与你分享~ 本文介绍的性能陷阱主要分为两大类:“有成本抽象”和“与编译器作对”。前者是指在使用C++的功能/库时需要注意的隐形成本,后者则是一些C++新手可能会写出不利于编译器优化的代码。另外本文的顺序是由基础到进阶,读者可
C++20标志着C++标准化进程中的一个重要里程碑,其中最引人注目的新特性之一就是模块化编程的引入。长期以来,C++开发者依赖于预处理器指令(如#include)来组织代码,但这带来了诸如编译时间过长、头文件地狱等问题。模块化编程旨在解决这些问题,提高大型项目开发的效率和可维护性。本文将深入浅出地介绍C++20模块化编程的基本概念、常见问题、易错点以及如何避免,同时提供代码示例,帮助开发者快速上手这一强大特性。
凡是涉及STL的错误都不堪入目,因为首先STL中有复杂的层次关系,在错误信息中都会暴露出来,其次这么多类和函数的名字大多都是双下划线开头的,一般人看得不习惯。
在C++的漫长进化历程中,Concepts(概念)作为C++20引入的一个重大特性,为模板编程带来了革命性的变化。它允许程序员以更加清晰、直观的方式表达类型要求,从而提高代码的可读性和错误信息的友好度。本文将深入浅出地探讨C++20中的Concepts,包括其基本概念、常见应用场景、易错点及避免策略,并通过代码示例加以说明。
concept乃重头戏之一,用于模板库的开发。功能类似于C#的泛型约束,但是比C#泛型约束更为强大。
C++20新增的4个大特性之一,Module解决的是以前C编译include预处理效率低下痛点。提案地址,具体内容单独介绍,需要了解的事 module,import也成为关键字了,C++20之前的代码最好不要使用,防止冲突。
不同于之前的6种比较运算符:<、>、==、!= <=、>=。C++20提出一种的新的比较运算符——飞船运算符。
领取专属 10元无门槛券
手把手带您无忧上云