C++20 开始支持 Module 了。在以前C++为了解决循环依赖问题，经常会把类或者函数声明写前面，实现写后面。然后中间的代码就可以实现内部模块的内聚而互相引用。比如:
class foo;
void bar(foo*);
class foo {
public:
foo(){
bar(this);
}
};
那么在 Module 里怎么处理这种需求呢？其实我之前一直只是知道有这么个东西，并没有深入研究过。前段时间看到公司论坛里有同学问，就现学了并且试了一下，以下是一些记录。
举个例子，比如有两个文件:
// file: base.ixx
module;
#include <iostream>
#include <typeinfo>
export module base;
class derived;
export class base {
public:
virtual ~base() = default;
virtual void visit(derived*) {
std::cout << "base::visit -> "<< typeid(*this).name() << std::endl;
}
};
// file: derived.ixx
module;
#include <iostream>
#include <typeinfo>
export module derived;
export import base;
export class derived : public base {
public:
virtual void visit(derived*) override {
std::cout << "derived::visit -> "<< typeid(*this).name() << std::endl;
}
};
程序的本意是 derived 继承 base 类。但是 derived::visit(derived*) 在多态上override了 base::visit(derived*) 。但是实际上这里在 base.ixx 里的 class derived 和 derived.ixx 里的 class derived 不是同一个类。因为他们是处于不同模块内的，作用域和可见性也都不同。
按目前 Modules 文档的说法，是 禁止跨模块交叉引用 的。 为了实现模块可以跨多个文件和让接口与实现隔离，可以使用 Module partitions 功能。
最新 Module partitions 的规范见 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1103r3.pdf 的 2.2 Module partitions 章节。 最早关于 Module partitions 的提案和要解决的问题可参见 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0775r0.pdf 。
简单来说 Module partitions 有几个特性:
: 符号来分隔base模块名和partition名。export module INDETIFY 中 INDETIFY 是否包含 : 来区分当前文件是一个 Module partitions 还是 Unpartitioned module 。imported 。// file: foo-types.ixx
module;
export module foo:types;
export class derived;
// file: foo-base.ixx
module;
#include <iostream>
#include <typeinfo>
export module foo:base;
import :types;
export class base {
public:
virtual ~base() = default;
virtual void visit(derived*) {
std::cout << "base::visit -> "<< typeid(*this).name() << std::endl;
}
};
// file: foo-derived.ixx
module;
#include <iostream>
#include <typeinfo>
export module foo:derived;
import :types;
import :base;
export class derived : public base {
public:
virtual void visit(derived*) {
std::cout << "derived::visit -> "<< typeid(*this).name() << std::endl;
}
};
// file: foo.ixx
module;
export module foo;
export import :types;
export import :base;
export import :derived;
// file: main.cpp
import foo;
int main() {
derived d;
derived* pd = &d;
base* pb = pd;
pb->visit(nullptr);
pd->visit(nullptr);
return 0;
}
执行输出结果如下:
derived::visit -> class derived
derived::visit -> class derived
cl /std:c++latest /c /experimental:module foo-types.ixx /nologo /EHsc /MDd
cl /std:c++latest /c /experimental:module foo-base.ixx /nologo /EHsc /MDd
cl /std:c++latest /c /experimental:module foo-derived.ixx /nologo /EHsc /MDd
cl /std:c++latest /c /experimental:module foo.ixx /nologo /EHsc /MDd
cl /std:c++latest /c /experimental:module main.cpp /nologo /EHsc /MDd
cl /nologo /EHsc /MDd main.obj foo.obj foo-derived.obj foo-base.obj foo-types.obj
Clang 目前还不支持 Module partitions 功能。（我这里的版本是 Clang 11.0.0） 猜测以后支持了的话，命令应该是下面这样:
clang++ -std=c++20 -stdlib=libc++ -fmodules --precompile -fprebuilt-module-path=. -x c++-module foo-types.ixx -o foo-types.pcm
clang++ -std=c++20 -stdlib=libc++ -fmodules --precompile -fprebuilt-module-path=. -x c++-module foo-base.ixx -o foo-base.pcm
clang++ -std=c++20 -stdlib=libc++ -fmodules --precompile -fprebuilt-module-path=. -x c++-module foo-derived.ixx -o foo-derived.pcm
clang++ -std=c++20 -stdlib=libc++ -fmodules --precompile -fprebuilt-module-path=. -x c++-module foo.ixx -o foo.pcm
clang++ -std=c++20 -stdlib=libc++ -fmodules -fprebuilt-module-path=. main.cpp
也可能需要用 module-map-file 来辅助文件查找。
GCC 11以上才初步支持 Module 。我本地下了个snapshot的GCC（ gcc version 11.0.1 20210321 (experimental) (GCC) ）。
但是GCC有BUG编不出来。可以有兴趣可以跟进一下 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99769 ，等解决了大致上就是下面这样的命令:
g++ -fmodules-ts -std=c++20 -x c++ -c foo-types.ixx -o foo-types.o
g++ -fmodules-ts -std=c++20 -x c++ -c foo-base.ixx -o foo-base.o
g++ -fmodules-ts -std=c++20 -x c++ -c foo-derived.ixx -o foo-derived.o
g++ -fmodules-ts -std=c++20 -x c++ -c foo.ixx -o foo.o
g++ -fmodules-ts -std=c++20 -c main.cpp foo.o foo-derived.o foo-base.o foo-types.o
第一次上手 C++ Module ，可能文中有不正确的地方。欢迎指正交流。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。