数学软件传统上以相互依赖的"包"形式构建，其中大量采用C++编写，其接口通过头文件（#include）方式暴露给下游用户。这种从C语言继承的接口导出方式存在笨拙、不可靠且效率低下的问题。为此，C++20引入了"模块"系统...

Scoped Propagators是一种新的C++20功能，可以提高应用程序代码的可读性和可维护性。它是一个使用RAII（Resource Acquisition Is Initialization，资源获取即初始化）技术的技巧，可以自动向函数调用链中的所有函数...