最近发现了 CRTP 的一个神秘应用。

考虑如下一种很常见的场景，你有一个很复杂很复杂的类 D，你尝试将其划分出以下模块：

为了防止你把一大坨屎山拉在一个文件内，你决定~~每个文件各拉一坨~~把他们拆分到不同的文件里去实现。既然你使用了 C++，你希望这个划分满足零开销抽象原则，也就是在时间上和空间上不引入额外的开销。

我们考虑以下几种方法：

C++ 可以把声明放在 .h 中，实现放在不同的 .cpp 里，只要合理拆分 .cpp 那么理论上是可行的，但是这个还是很丑陋，比如你要编译就得把所有 .cpp 丢进编译器（只 include.h 会链接失败）。以及函数声明仍然一坨摆在一个文件里。

另外分离接口和实现会阻止某些优化，你需要开启 -flto 启用跨文件优化。

写一个公共类 A，B 和 C 继承 A 并且 D 多继承 B 和 C。

这种方法的问题在于出现了菱形继承，于是你会发现 A 的成员变量在 D 中出现了两次，这很不好，不仅导致了歧义还浪费了空间。

加上虚继承解决了空间上的浪费，但很不幸，引入了虚表。这导致时间上的浪费。

说到底，实际上你只需要拿到一个指向共有信息 x 的指针，如果你把共有信息写在 A 中并使用多继承，那么无论是时间还是空间总得有地方妥协，因为 C++ 需要保证 B 和 C 的可用性（但你实际上并不会单独使用 B 和 C）。

所以不妨把共有信息写在 D 中，然后通过 CRTP 的方式拿到 D 的指针进行操作。

Ziqian Chen

📝 User Blog Posts (3 posts)