C++20 的 Modules
最近看了两篇关于 C++ 20 Modules 很有意思的文章,戳:
《Understanding C++ Modules: Part 1: Hello Modules, and Module Units》
《Understanding C++ Modules: Part 2: export, import, visible, and reachable》
众所周知,C++靠预处理器处理头文件的方法被诟病已久。在 C++17 Module TS 后,标准委员会的 dalao 们终于在 C++20 把 Modules 并入标准= =。(此处应该有掌声?
那么我们要怎么创建一个 Module 呢?标准引入了新的关键字 import、module,并使用保留关键字 export 来导入、定义和导出 Module。
// hello_world.cpp
export module demos.hello.world;
export auto get_text()
{
return "Hello C++ Modules!";
}
// main.cpp
import demos.hello.world;
import <iostream>;
int main()
{
std::cout << get_text() << std::endl;
}
这是一个 C++20 Modules 版的 Hello World。注意 export module xxx.yyy.zzz 是一个 Module 的导出定义,函数 get_text 加上 export 就成为 Module 的导出符号。
Module 的名字可以是 aaa.bbb.ccc.ddd 这样的,此处借鉴了其他语言的命名规范,提升了可读性。
根据标准,每个 Module 都是一个 TU(Translation Unit) ,这样就可以在构建时得到更好的 Cache 编译的效果,缩短编译时间。
最后说下 import <iostream> 这样的用法。这是为了兼容以前老的头文件的写法,意思是把一个头文件当作一个独立的 TU 来编译,并且避免了命名空间污染和主文件中符号的影响。
-------------华丽分割线1--------------
一些语言,如 C# 有 partial class 的语法,可以把一个完整的 class 拆分为多个文件,最后合并编译。C++ Modules 提供了一个特性叫 Module Partition,可以把 Module 拆分在多个 .cpp 文件中定义。
在标准中,使用 Module 名称 + 冒号 + Partition 名称 的方式来定义一个 Module Partition。
// home.cpp
export module home;
export import :father;
export import :mother;
// home_father.cpp
export module home:father;
export auto get_father_name()
{
return "Xiaoming";
}
// home_mother.cpp
export module home:mother;
export auto get_mother_name()
{
return "Xiaohong";
}
// main.cpp
import home;
int main()
{
auto father = get_father_name();
auto mother = get_mother_name();
}
这样 father 和 mother 就成为 Module home 的两个 Partition。吐槽一下 export import :xxx 这种语法,它的意思是把 Partition 先 import 进来再 re-export 出去,让用户可见。
这里多了一个概念:Module Interface Unit。很 Simple,对于一个 .cpp 文件,如果是 export module xxx 这样的,就是一个 Module Interface Unit,意思是导出接口单元。
比如上面的 home.cpp, home_father.cpp 和 home_mother.cpp 都是 Module Interface Unit。
-------------华丽分割线2--------------
除了 Module Interface Unit,还有一个对应的东西叫 Module Implementation Unit ,模块实现单元。
同样很 Easy,如果一个 .cpp 文件中定义的是 module xxx,注意前面没有 export ,那么它就是一个 Module Implementation Unit。
// animal.cpp
export module animal;
import :dogs;
import :cats;
export auto get_cat_name();
export auto get_dog_name();
// animal_cats.cpp
module animal:cats;
// "export" is not allowed here.
auto get_cat_name()
{
return "狗·德川家康·薛定鄂·保留";
}
// animal_dogs.cpp
module animal:dogs;
// "export" is not allowed here.
auto get_cat_name()
{
return "DOGE";
}
// main.cpp
import animal;
int main()
{
auto cat_name = get_cat_name();
auto dog_name = get_dog_name();
}
Partition cats 和 dogs 就是两个 Module Implementation Unit ,而 animal.cpp 是一个 Module Interface Unit。
注意 Implementation Unit 里面不允许有 export 出现,且需要在 Interface Unit 中 import 对应的 Partition。
想偷懒?同志好想法,还有种不需要 Partition 的简化写法。
// animal.cpp
export module animal;
export auto get_cat_name();
export auto get_dog_name();
// animal_impl.cpp
module animal;
auto get_cat_name()
{
return "狗·德川家康·薛定鄂·保留";
}
auto get_cat_name()
{
return "DOGE";
}
是不是感觉似曾相识?这个和目前的老式头文件声明和定义分离的用法如出一辙。
animal_impl.cpp 定义的还是叫 Module Implementation Unit ,animal.cpp 叫 Module Interface Unit 。
WHY? 既然可以写在一起,为什么要分离呢。一个是满足代码习惯,还有一个就是如果频繁修改实现,可以不动接口,提高增量编译速度~
-------------华丽分割线3--------------
考虑到程序员编码的方便性,标准规定了五花八门的 export 语法。如下所示,我们来欣赏一下。
// Export everything within the block.
export
{
int some_number = 123;
class foo
{
public:
void invoke() { }
private:
int count_ = 0;
};
}
// Export namespace.
export namespace demo::test
{
struct tips
{
int abc;
}
void free_func() { }
}
// Export a free function.
export void here_is_a_function() { }
// Export a global variable.
export int global_var = 123;
// Export a class.
export class test
{
};
下面几种是非法的 export 写法,是无法编译的。
// Anonymous namespace cannot be exported.
export namespace
{
}
// Cannot export static variables.
export static int static_variable = 123;
// Cannot export static functions.
export static void foo()
{
}
// OK, export a namespace.
export namespace test
{
// Error, cannot define static members in an exported namespace.
static int mine = 123;
// Error, as mentioned above.
static void geek() { }
}
-------------华丽分割线4--------------
文中还介绍了其他的一些坑,比如 Implementation Unit Beast 、Reachability & Visibility 巴拉巴拉,大家可以参考上面两篇文章……
个人觉得 Modules 作为重量级特性,还是给 C++ 带来了革新。引用一句某老外的说法:“Make CPP great again!”。
期待编译器这边的实现和新的 Build System 及可能的包管理工具,貌似一直在推进。
------- Over -------
C++20 的 Modules的更多相关文章
- 【RDA】使用RDA(Remote Diagnostic Agent)工具对数据库进行健康检查
[RDA]使用RDA(Remote Diagnostic Agent)工具对数据库进行健康检查 分类: Linux RDA英文全称叫做"Oracle Remote Diagnostic Ag ...
- Asp.net Mvc4 基于Authorize实现的模块访问权限
在MVC中,我们可以通过在action或者controller上设置Authorize[Role="xxx"] 的方式来设置用户对action的访问权限.显然,这样并不能满足我们的 ...
- zhihu spark集群,书籍,论文
spark集群中的节点可以只处理自身独立数据库里的数据,然后汇总吗? 修改 我将spark搭建在两台机器上,其中一台既是master又是slave,另一台是slave,两台机器上均装有独立的mongo ...
- httpd配置文件规则说明和一些基本指令
html { font-family: sans-serif } body { margin: 0 } article,aside,details,figcaption,figure,footer,h ...
- Linux 下的一个全新的性能测量和调式诊断工具 Systemtap, 第 3 部分: Systemtap
Systemtap的原理,Systemtap与DTrace比较,以及安装要求和安装步骤本系列文章详细地介绍了一个Linux下的全新的调式.诊断和性能测量工具Systemtap和它所依赖的基础kprob ...
- centos7安装elasticsearch
[root@aaron tools]# wget https://artifacts.elastic.co/downloads/elasticsearch/elasticsearch-5.5.1.zi ...
- ElasticSearch实战:Linux日志对接Kibana
本文由云+社区发表 ElasticSearch是一个基于Lucene的搜索服务器.它提供了一个分布式多用户能力的全文搜索引擎,基于RESTFul web接口.ElasticSearch是用Java开发 ...
- httpd配置文件httpd.conf规则说明和一些基本指令
apache httpd系列文章:http://www.cnblogs.com/f-ck-need-u/p/7576137.html 本文主要介绍的是httpd的配置文件,包括一些最基本的指令.配置规 ...
- django练习题
1.Web框架的本质是什么?为什么要有Web框架? 所有的Web应用,本质上其实就是一个socket服务端,用户端程序其实就是一个socket客户端.对于真实开发中的python web程序来说,一般 ...
随机推荐
- corefx 源码学习:NetworkStream.ReadAsync 是如何从 Socket 异步读取数据的
最近遇到 NetworkStream.ReadAsync 在 Linux 上高并发读取数据的问题,由此激发了阅读 corefx 中 System.Net.Sockets 实现源码(基于 corefx ...
- 一台虚拟机配置nginx反向代理+3个apache虚拟主机
三个虚拟主机通过一张网卡添加三个IP来实现 一.安装nginx 1.解决依赖 [root@xuegod1 ~]# yum groupinstall "Development Tools&qu ...
- WPF 数据库增删改查
<Window x:Class="DataBindingExam.MainWindow" xmlns="http://schemas.microsof ...
- Selenium-等待
分为3种 (1)就是通过线程强制等待 Thread.sleep(1000); (2)隐示等待.就是所有的命令都等待.分为3种 // 这个方法表示全局的等待.意思是针对所有的findElement方法都 ...
- Linux下获取arm的交叉编译工具链
转载请注明文章:Linux下获取arm的交叉编译工具链 出处:多客博图 这里介绍,Linux下获取arm的交叉编译工具链,比如arm-linux-gnueabihf-gcc.arm-linux-gne ...
- asp.net下ueditor上传大容量视频报http请求错误的解决方法
故障现象: 当使用百度编辑器ueditor上传大容量视频或大容量图片的时候,编辑器报“http请求错误”的解决方法详解: 原因分析: 目前很多CMS整合了百度的ueditor编辑器,但是上传稍微大一点 ...
- 15 款 jQuery 社交分享插件
过去几年中社交媒体越来越流行了,能够分享音乐.视频.图像甚至是其他的 docs 文档到互联网上去,这样子还能够提高页面的点击量.通常,一些社交媒体插件都能允许你的用户分享你网站上的内容到其他的社交平台 ...
- 管道Demo
使用管道实现读取DOS命令结果,界面如下: 主要代码如下: UpdateData(TRUE); //创建一个管道,用于接收命令执行结果 SECURITY_ATTRIBUTES sa; ZeroMemo ...
- 基于ASP.NET的新闻管理系统(三)代码展示
5.1.1栏目部分 增加栏目(addLanMu.aspx): <html xmlns="http://www.w3.org/1999/xhtml"> <head ...
- 网站压力测试工具 Webbench简单介绍
Webbech能测试处在相同硬件上,不同服务的性能以及不同硬件上同一个服务的运行状况.Webbench的标准测试可以向我们展示服务器的两项内容:每秒钟相应请求数和每秒钟传输数据量.Webbench不但 ...