盘点C++20模块那些事

最新推荐文章于 2024-05-16 10:23:10 发布
最新推荐文章于 2024-05-16 10:23:10 发布
阅读量88 收藏
点赞数
文章标签： c++20 java 前端 javascript servlet
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/guangcheng0312q/article/details/135212451
版权

C++20模块那些事

目录

  • C++20模块那些事

  • 1.模块单元

    • 1.1 Global Module Fragment

    • 1.2 purview

    • 1.3 Private module fragment

  • 2.模块使用

    • 2.1 创建模块

    • 2.2 导出

    • 2.3 导入

    • 2.4 模块中的include

    • 2.4.2 Global Module Fragment区`#inlcude`

  • 3.模块分解

    • 3.1 模块分区

    • 3.2 子模块

  • 4.接口与实现

最近看到大佬们写的C++20库使用了module特性，特意来学习一下，于是有了这篇文章，本篇文章的所有代码都在我的星球里面，需要代码的可以扫文末的二维码。

下面我们来一起体验一下C++20的module!

当我们使用自己编写的头文件或者第三方库时，通常会用到#include 指令来引入库，这是大家经常使用的一种方式。这种方法，实际上是将一个源文件(头文件)的所有代码拷到另一个文件中。

那么，这会面临如下问题：

  • 源文件可能在同一目标中被包含多次，因此我们通常会使用#pragma once或者#ifndef，从而防止源文件在同一翻译单元中被包含多次。

  • 代码的拷贝会导致编译时间更长，一旦修改一个头文件，便会导致间接包含这个头文件的一些文件被重新编译。

  • #include 顺序问题，有时候会遇到莫名其妙的编译问题。

C++20引入了一种替代 #include 指令的新方式，称为模块。

下面来深入学习一下模块。

1.模块单元

C++模块由一个或多个翻译单元(tu)组成，其中包含用于模块声明的特定关键字。这样的翻译单元称为模块单元。

非模块单元的翻译单元被认为是全局模块的一部分，全局模块是匿名的，没有接口，并且包含常规的非模块代码。

1.1 Global Module Fragment

模块单元可以以全局模块片段作为前缀，当无法导入头文件时（特别是当头文件使用预处理宏作为配置时），该全局模块片段可以直接使用原来的代码。

例如：下面代码中module;到export module Foo;中间为global module fragment。

module;
#include <iostream>
#ifdef Say
void hello();
#endif
export module Foo;
// purivew
void world();

必须要注意的一点是：**如果该模块有全局模块片段，那么第一个声明必须是module;**，也就是说当把这个声明放在其他位置会出错。

1.2 purview

purview可以理解为模块的整个范围。从模块声明开始，一直延伸到翻译单元的末尾。

例如：hello不在，world、GetData都在purview。

module;
void hello();
// <- 这里不在Foo模块的purview内
export module Foo;
// <- 在Foo模块的purview内
void world();
export void GetData();

1.3 Private module fragment

主模块接口单元可以用私有模块片段作为后缀，该部分只能出现在主模块接口单元中，如果存在，则它出现的模块单元必须是该模块的唯一单元。其目的是将模块的接口和实现封装在单个翻译单元中，而不暴露实现细节。

例如：我想要创建一个Shape，计算其面积。

对外只需要暴露一个创建具体Shape的接口，调用共同的计算面积接口，于是我们可以写出如下模块。

export module Shape;

export class Shape {
  public:
   virtual double CalculateArea() = 0;
};

export { std::shared_ptr<Shape> CreateRectangle(double length, double width); }


module :private; // here

class Rectangle : public Shape {
 private:
  double length;
  double width;

 public:
  Rectangle(double l, double w) : length(l), width(w) {}

  double CalculateArea() override { return length * width; }
};

std::shared_ptr<Shape> CreateRectangle(double length, double width) {
  return std::make_shared<Rectangle>(length, width);
}

将内部的细节全部放在private里面吗，我自己的g++版本是13，目前还不支持，会报如下错误：

gcc目前的支持情况，可以戳这里

https://gcc.gnu.org/projects/cxx-status.html

shape.cppm:14:1: sorry, unimplemented: private module fragment
   14 | module :private;

本地的clang是16版本，测试了一下是可以正常运行！

➜  clang++ -std=c++20 shape.cppm --precompile -o shape.pcm  
➜  clang++ -std=c++20 shape.cc -fprebuilt-module-path=. shape.pcm -o shape
➜  ./shape 
area is 2

上面三个部分，全局和私有模块片段对于模块的存在来说不是必需的，purview是模块必需的部分。

2.模块使用

2.1 创建模块

创建模块类似于我们定义一个头文件，它也有一个文件，一般命名后缀是.cppm。我们只需要在这个文件中使用export与module关键字，后面跟上模块名，这样便创建一个可导出模块。例如：

// foo.cppm
export module foo;

// main.cc
import foo;

export关键字可以用在类、变量等地方，通常有下面两种写法：

export void func();

export {
  void func();
  constexpr double PI{3.14};
};

一种写法是export关键字放在常见声明前面，另外一种写法是导出块，类似于namespace写法，可以导出多个内容。

2.2 导出

这里就会涉及到一个重要问题，可以导出什么？

  • variables, classes, structs, functions, namespaces, template functions/classes, concepts可以被导出

  • 内部链接不可导出，如static变量与函数，匿名namespace。

export static constexpr double PI = 3.14; // 不可导出

  • 导出声明必须发生在命名空间级别

namespace {
  export void print_no_export() { // 匿名命名空间，不可导出
    std::cout << "print no export" << std::endl;
  }
};
namespace light {
  export void print_export() { // ok
    std::cout << "print export" << std::endl;
  }
};

struct Foo {
  export int a; // 不能导出成员变量
};

  • 导出命名空间会隐式导出其中的所有内容

export class Rectangle {
 private:
  double length;
  double width;
 public:
  Rectangle(double l, double w) : length(l), width(w) {} 

  double CalculateArea() { return length * width; } // 隐式导出
};

export namespace {
  void print_export() { // 隐式导出
    std::cout << "print export" << std::endl;
  }
};

export {
  void func();  // 隐式导出
  constexpr double PI{3.14}; // 隐式导出
};

  • 导出实体的第一个声明必须是导出声明。后续声明和定义不需要有 export 关键字。

export class Foo; // ok
export class Foo; // ok，只是会冗余

class Foo { // ok，隐式export
 public:
  void print() { std::cout << "this is foo" << std::endl; }
};

class Bar;  // not export
export class Bar; // 无效，第一个声明已经是不可导出，后续的不可导出


Foo f; // ok
f.print(); // ok
Bar b; // not ok

  • 非导出模块不可导出

module foo;

export void print { }  // error: 'export' may only occur after a module interface declaration

2.3 导入

与之对应的便是导入，导入也有一些规则，例如：

  • 不可导入自身

  • 在模块单元中，所有导入必须出现在该模块单元中的任何声明之前。不能在模块单元中的任意点导入。

void func() {}
import shape; // error: post-module-declaration imports must be contiguous

---------------
import shape; // ok
void func() {}

  • 仅允许全局范围导入

namespace light {
  import shape; // not ok
};

  • 不允许循环导入

// shape.cppm
export module shape;
import circle; // 循环导入

// circle.cppm
import shape;

2.4 模块中的include

#include <iostream>在模块中如何使用呢？

2.4.1 purview区#include

使用import替换#include

export module foo;
import <iostream>;

例如：

g++-13编译如下，可以通过c++-system-header后面跟iostream来编译出gcm。

g++-13 -std=c++20 -fmodules-ts -x c++-system-header iostream 
g++-13 -fmodules-ts -std=c++20 -x c++ shape.cppm circle.cppm shape.cc

如果是自己的头文件，例如：consts.h，发现可以直接放在模块里面去#include，例如：

export module foo;
#include "consts.h"

2.4.2 Global Module Fragment区#inlcude

对于#include以及宏都可以直接放在这个区使用，例如：

module;
#ifdef
#include <iostream>
#endif
export module foo;

3.模块分解

当我们想将一个大模块分解成更小的模块时，我们可以使用以下两种方法：

  • 模块分区。

    • 即允许我们将模块分解为多个文件。但是，这对使用者来说实际上是不可见的，使用时正常导入模块即可。

  • 子模块。

    • 即允许我们将较大的模块分解为任意数量的子模块的层次结构。使用者可以选择导入整个模块，或者只导入特定的子模块。

3.1 模块分区

语法：

export module <module-name>:<part-name>;
import :<part-name>; // 可以在import前面添加export导出该分区接口

例如：我有一个shape，对外使用的时候只需要import shape，然后调用对应的接口即可，这里分别使用了circle分区与rectangle分区的接口。

import shape;

int main() {
    DrawCircle();
    DrawRectangle();
    return 0;
}

shape是有两个分区，一个是circle，一个是rectangle，于是模块shape.cppm内容为：

export module shape;

export import :circle;
export import :rectangle;

两个子分区内容为：

// circle.cppm
module;
#include <iostream>
export module shape:circle;
export void DrawCircle() { std::cout << "draw circle" << std::endl; }

--------------
// rectangle.cppm

module;
#include <iostream>
export module shape:rectangle;
export void DrawRectangle() { std::cout << "draw rectangle" << std::endl; }

当我使用clang与g++编译后发现，clang-16编译报错，不支持。

error: sorry, module partitions are not yet supported

g++-13支持，需要注意编译的时候按照子分区->主分区的顺序进行编译，不然就会出错。

➜ g++-13 -fmodules-ts -std=c++20 -x c++ shape.cppm circle.cppm rectangle.cppm shape.cc
shape:circle: error: failed to read compiled module: No such file or directory
shape:circle: note: compiled module file is 'gcm.cache/shape-circle.gcm'
shape:circle: note: imports must be built before being imported
shape:circle: fatal error: returning to the gate for a mechanical issue

应该改为：

g++ -fmodules-ts -std=c++20 -x c++ circle.cppm rectangle.cppm shape.cppm shape.cc

3.2 子模块

语法：

export module <module-name>.<sub_module-name>;
import <module-name>.<sub_module-name>; // 可以在import前面添加export导出该分区接口

上面的例子也可以用子模块来实现，我们将shape依旧作为主模块，两个子模块分别是circle与rectangle。

// shape.cppm
export module shape;

export import shape.circle;
export import shape.rectangle;

---------------------
// rectangle.cppm
module;
#include <iostream>
export module shape.rectangle;
export void DrawRectangle() { std::cout << "draw rectangle" << std::endl; }

---------------------
  
// circle.cppm
module;
#include <iostream>
export module shape.circle;
export void DrawCircle() { std::cout << "draw circle" << std::endl; }

可以看到在使用上模块分区用的是:，而子模块用的是.。

调用侧代码同模块分区。

不过它们在使用的时候有一些区别，例如：当子分区被引入时，使用其接口引发错误：internal compiler error: Segmentation fault: 11，而子模块是可以正常被引入使用。

// 引入子分区
import shape:circle;

int main() {
    DrawCircle(); // error
    return 0;
}


// 引入子模块
import shape.circle;

int main() {
    DrawCircle(); // ok
    return 0;
}

对于子模块来说，在import时，不可以省略主模块名，上面在主分区中引入分区模块，我们可以使用:circle，这里不可以使用.circle。报错如下：

shape.cppm:3:8: error: 'import' does not name a type
    3 | export import .circle;

4.接口与实现

通常在写代码时，我们会将代码拆分为"头文件"与"实现文件"，对于模块来说，这一操作不再需要。但是仍旧可以遵循以前的编写风格。

例如：绘制一个shape。

  • 定义模块shape.cppm

export module shape;

export class Shape {
 public:
  Shape();
  void Draw();
};

  • 实现模块shape.cc

import shape;
import <iostream>;

Shape::Shape() {}
void Shape::Draw() { std::cout << "draw a shape" << std::endl; }

跟平时使用.h与.cpp的分离模式基本类似。

https://clang.llvm.org/docs/StandardCPlusPlusModules.html

https://timsong-cpp.github.io/cppwp/n4861/module.import#7.sentence-2

https://gcc.gnu.org/projects/cxx-status.html

学习社群(含文中代码)：

2e772cb5171ede595783d6d78cef0490.jpeg

guangcheng0312q
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
c语言c++项目源代码_C语言超市管理系统.rar
03-27
它采用模块化设计，实现了商品管理、订单处理、库存控制、报表生成等功能，具有高效、稳定、易扩展的特点。 在商品管理方面，系统支持商品的增删改查操作，并可对商品进行分类和标签化管理，方便商家快速定位商品...
盘点那些用 C/C++ 开发的著名软件
热门推荐
青春不老，奋斗不止！
12-30 1万+
星标/置顶公众号????，硬核文章第一时间送达！1、操作系统Microsoft Windows ：汇编 -> C -> C++备注：曾经在智能手机的操作系统（Windows Mob...
C++20四大特性之Ranges
Francis的博客
03-08 891
C++20 Ranges1.基础概念2.使用在之前的文章已经写过另外三大特性，直通点：C++那些事之C++20协程开篇盘点C++20模块那些事C++20：从0到1学懂concept那么，本篇将开始学习另外一个特性ranges。ranges是C++20的主要特性之一，其中"view"是比较重要的一部分。C++20之前，标准库的算法实现是基于迭代器来实现的，例如：std::sort。std::sort...
盘点那些C++中在写大型程序中最好不要滥用的语法排行榜
jinboxin_的博客
04-26 196
盘点那些C++中在写大型程序中最好不要滥用的语法排行榜
C++开发者的机会在哪里？盘点C/C++就业方向
C/C++Linux、音视频、DPDK
05-05 1692
引用一个校招脉友的提问： 现在C++的机会是不是越来越少了？这个问题还是老生常谈，看看大家怎么说？ 不难发现，c++很多的岗位很多都存在两个共性。 第一个，岗位比较高端，任职要求高； 第二个，部分在传统行业，流动性不大但薪资较其他的语言薪资较低。 所以显得c++在2022这个铜三铁四的环境下，行情比较稳定。比如嵌入式，数据库内核，信息安全，音视频，QT客户端等等。 那有没有这样一个方向，相对自动驾驶，AI底层算法任职要求要对较低，但是对于嵌入式，QT客户端又薪资相对较高的c/c++开发技术方向
基于C++的超市管理系统源码+数据库(毕业设计).zip
07-10
系统的主要功能模块如下： 1.系统管理 系统登陆、系统退出、修改密码 2.员工信息管理 员工用户管理、增加员工用户、员工用户查询 3.商品信息管理 商品信息管理、增加商品信息、商品信息查询 4.货架信息管理 货架信息...
C++企业仓库管理系统(源码)
12-10
企业仓库管理系统由基本信息管理模块...该模块主要由库存商品打印、库存盘点、库存调拨、库存出货、库存上下限管理5部分组成。  查询管理管理模块 该模块主要由商品入库查询、入库退货查询、报损/报益查询3部分组成。
Visual C++ 数据库系统开发完全手册.part2
11-18
第20章 Visual C++ 6.0在图书管理系统中的应用 20.1 图书管理系统概述 20.1.1 开发背景及意义 20.1.2 系统目标 20.2 系统分析 20.2.1 系统规划 20.2.2 系统结构图 20.2.3 业务流程 20.3 数据库设计 20.3.1 数据库...
Visual C++ 数据库系统开发完全手册.part1
11-18
第20章 Visual C++ 6.0在图书管理系统中的应用 20.1 图书管理系统概述 20.1.1 开发背景及意义 20.1.2 系统目标 20.2 系统分析 20.2.1 系统规划 20.2.2 系统结构图 20.2.3 业务流程 20.3 数据库设计 20.3.1 数据库...
vs2019 里 C++ 20规范的 string 类的源码注释
zhangzhangkeji的博客
05-10 289
（1）读源码，可以让我们更好的使用这个类，掌握这个类，知道咱们使用了库代码以后，程序大致具体是怎么执行的。而不用担心程序出不知名的意外的问题。也便于随后的代码调试。string 类实际是 库中 basic_string 模板的实例化后的类。string 也相当于容器，存储字符串的容器，跟别的容器 vector ，list 等差不多。关于容器的增删改查，这些成员函数，该有的都有。只是具体实现不大一样。
c++20---std::erase----std::erase_if
m0_60274660的博客
05-15 176
问题：如何删除满足条件的所有元素。
c++20 shared_ptr、unique_ptr、weak_ptr、enable_shared_from_this
vczxh的专栏
05-11 375
可判断已关联的shared_ptr是否已释放；构造时使用shared_ptr或weak_ptr，使用.lock();代替实现：（如果没有public std::enable_shared_from_this有效的方法是将weak_ptr作为成员变量，返回以weak_ptr创建的shared_ptr）:安全的返回指向this的shared_ptr或weak_ptr。需求：在类成员函数实现封装返回指向this的智能指针函数。2.代码异常后面的代码delete没有执行到导致内存泄露。
c++20 constexpr consteval
vczxh的专栏
05-11 262
【代码】c++20 constexpr consteval。
关于 vs2019 c++20 规范里的 STL 库里模板 decay_t＜T＞
zhangzhangkeji的博客
05-15 128
（1） 这个模板，在库代码里非常常见。decay 英文是“衰弱，消减” 的意思，大概能感觉到就是要简化模板参数 T 的类型，去掉其上的修饰符。因为常用且复杂，故单独列出其源码和注释。
探索C++20的新特性与改进
2301_79507619的博客
05-15 287
**`constexpr`构造函数**：允许默认构造函数被标记为`constexpr`，提高了编译时常量表达式的灵活性。- **增强的`constexpr`**：更多的标准库函数和容器现在可以在编译时求值，提高了编译时计算的能力。- **`std::span`**：提供了一种轻量级的视图，用于访问连续内存中的元素，类似于指针但更安全。- **关键字**：包括`co_await`、`co_yield`和`co_return`。- **`std::jthread`**：改进的线程管理，自动加入线程。
jdk8新特性----Lambda表达式
w_t_y_y的博客
05-11 408
Java的Lambda表达式是Java 8引入的一个特性，它支持函数式编程，允许将函数作为方法的参数或返回值，从而简化了匿名内部类的使用，并提供了对并行编程的更好支持。
jar包增量更新分析
最新发布
junlaiyan的专栏
05-16 83
借助jdeps分析出jar包的增量文件
java实现拼图小游戏
monkey108的博客
05-16 331
本文主要提供用java实现的拼图小游戏源代码。
CMS垃圾回收器为什么被移除
m0_54187478的博客
05-10 499
由于上述缺点，加上需要将资源投入到更现代垃圾回收器的开发和优化上，Oracle决定从Java 9开始标记CMS为废弃，并在后续版本中完全移除CMS。这些新的收集器旨在提供更低的停顿时间和更高的性能，同时减少配置和维护的复杂性。当它在垃圾收集周期内无法足够快地回收内存时，会退回到一种需要完全暂停所有应用线程的老年代收集模式，这与它设计的初衷相违背。：CMS使用的标记-清除算法会导致较多的内存碎片。：CMS需要更多的CPU资源来执行垃圾回收的并发阶段，而且它在运行时对系统资源的利用也较为激进。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值