不可不知的 Boost 编译优化技巧 – wiki基地

作者： /

不可不知的 Boost 编译优化技巧

Boost 库是一个广受欢迎的、可移植、提供源代码的 C++ 库集合，作为标准库的后备，是 C++ 标准化进程的发动机之一。 Boost 库涵盖了广泛的领域，从数学和科学计算到字符串和文本处理，再到并发编程和模板元编程。然而，由于其庞大的规模和复杂的模板使用，Boost 库的编译时间可能会很长，有时甚至令人难以忍受。

本文将深入探讨一系列 Boost 编译优化技巧，帮助开发者显著减少 Boost 库的编译时间，提高开发效率。这些技巧涵盖了从预编译头文件到模板实例化的控制，再到编译器和链接器选项的调整等多个方面。

1. 预编译头文件 (Precompiled Headers, PCH)

预编译头文件是减少大型项目编译时间的最有效方法之一，对于 Boost 库尤其如此。预编译头文件的基本思想是，将那些不经常更改的头文件（例如 Boost 的大部分头文件）预先编译成一种中间形式，然后在后续编译中直接使用这个中间形式，而不需要重新解析和处理这些头文件。

1.1. 预编译头文件的原理

编译器在处理头文件时，需要进行词法分析、语法分析、语义分析等多个步骤，这些步骤对于大型、复杂的头文件来说非常耗时。预编译头文件将这些步骤的结果保存下来，后续编译时直接加载，从而节省了大量时间。

1.2. 如何使用预编译头文件

大多数现代编译器都支持预编译头文件，使用方法略有不同。

GCC/Clang:

  1. 创建预编译头文件:
    创建一个名为 pch.h (或其他你喜欢的名字) 的头文件，将常用的 Boost 头文件包含进去：

    “`c++

    ifndef PCH_H

    define PCH_H

    include

    include

    include

    // … 其他常用的 Boost 头文件 …

    endif

    “`

  2. 编译预编译头文件:
    使用 -x c++-header 选项告诉编译器这是一个头文件，并使用 -o 选项指定输出的预编译头文件：

    bash
    g++ -x c++-header pch.h -o pch.h.gch # GCC
    clang++ -x c++-header pch.h -o pch.h.pch # Clang

  3. 在源文件中使用预编译头文件:
    在你的源文件 ( .cpp 文件) 的最顶部包含 pch.h：

    “`c++

    include “pch.h” // 必须是第一个包含的头文件

    // … 其他代码 …
    “`

  4. 编译源文件:
    编译器会自动检测并使用预编译头文件 ( .gch 或 .pch )。

Visual Studio:

  1. 创建预编译头文件:
    创建一个名为 stdafx.h (这是 Visual Studio 的默认名称) 的头文件，包含常用的 Boost 头文件。

  2. 设置项目属性:

    • 在“解决方案资源管理器”中，右键单击项目，选择“属性”。
    • 在“配置属性” -> “C/C++” -> “预编译头”下：
      • “预编译头”设置为“创建/使用预编译头 (/Yc, /Yu)”。
      • “预编译头文件”设置为 stdafx.h。
    • 在 stdafx.cpp (或其他包含stdafx.h的cpp文件) 的属性中，将 “预编译头” 设置为 “创建预编译头 (/Yc)”
    • 在其他 .cpp 文件中，将 “预编译头” 设置为 “使用预编译头 (/Yu)”

  3. 在源文件中使用预编译头文件:
    在你的源文件 ( .cpp 文件) 的最顶部包含 stdafx.h。

1.3. 注意事项

  • 预编译头文件必须是源文件中包含的第一个头文件。
  • 预编译头文件中包含的头文件应该是稳定的、不经常修改的。
  • 不同的编译器生成的预编译头文件不兼容。
  • 如果预编译头文件中的内容发生变化，需要重新编译预编译头文件。

2. 减少包含的头文件

Boost 库采用了“头文件分离”的设计，每个组件都有自己的头文件。这提供了灵活性，但也容易导致过度包含。只包含你实际需要的头文件是减少编译时间的一个简单而有效的方法。

2.1. 使用 Boost 的 bcp 工具

Boost 提供了一个名为 bcp 的工具，可以帮助你分析代码依赖关系，找出哪些头文件是不必要的。bcp 可以复制一个或多个 Boost 头文件，以及它们所依赖的所有其他文件，到一个新的目录。这对于创建自定义的、最小化的 Boost 子集非常有用。

使用示例：

bash
bcp shared_ptr /path/to/my/boost_subset

这将复制 boost/shared_ptr.hpp 以及它所依赖的所有文件到 /path/to/my/boost_subset 目录。

2.2. 前向声明

如果只需要使用某个类的指针或引用，而不需要知道类的完整定义，可以使用前向声明来代替包含头文件。

例如，如果你只需要使用 boost::shared_ptr<MyClass>，你可以这样写：

“`c++
namespace boost {
template class shared_ptr;
}

class MyClass; // 前向声明

boost::shared_ptr myPtr;
“`

而不是：

“`c++

include

class MyClass; // 可能也需要包含 MyClass 的头文件

boost::shared_ptr myPtr;
“`

2.3 模块化 Boost (Boost Modularization)

从Boost 1.70开始，Boost 开始进行模块化工作。 通过模块化，Boost 各个子库可以作为独立的 CMake 项目构建和使用。 这可以显著降低编译依赖，加速编译过程。 但这个功能仍在发展中, 并非所有子库都已完全模块化。

你可以尝试使用 add_subdirectory 将所需的 Boost 模块添加到你的 CMake 项目中，而不是将整个 Boost 库包含进来。

3. 控制模板实例化

Boost 库大量使用了模板，模板实例化是编译时间的一个重要组成部分。控制模板实例化可以减少编译时间和生成的目标文件大小。

3.1. 显式实例化 (Explicit Instantiation)

当你使用一个模板时，编译器会在编译时为每个不同的模板参数组合生成一份代码。这被称为隐式实例化。如果同一个模板参数组合在多个编译单元中被使用，会导致代码重复和编译时间增加。

显式实例化允许你手动控制模板的实例化。你可以告诉编译器为一个特定的模板参数组合生成代码，然后在其他编译单元中引用这个实例化。

示例:

假设你有一个模板类 MyTemplate<T>，并且你经常使用 MyTemplate<int> 和 MyTemplate<double>。

  1. 创建实例化文件:
    创建一个名为 my_template_instantiations.cpp 的文件：

    “`c++

    include “my_template.hpp” // 包含模板类的定义

    template class MyTemplate;
    template class MyTemplate;
    “`

  2. 在其他源文件中使用 extern 声明:

    “`c++
    // my_other_file.cpp
    extern template class MyTemplate;
    extern template class MyTemplate;

    // … 使用 MyTemplate 和 MyTemplate …
    “`

这样，编译器只会在 my_template_instantiations.cpp 中生成 MyTemplate<int> 和 MyTemplate<double> 的代码，其他文件会引用这个实例化，避免了重复生成代码。

3.2. 使用 Boost.TypeTraits 库

Boost.TypeTraits 库提供了一组用于查询和操作类型信息的工具。这些工具可以在编译时进行类型检查和优化，减少运行时开销。

例如，boost::is_integral 可以用来判断一个类型是否是整数类型，boost::enable_if 可以用来根据类型信息启用或禁用某个函数模板。

“`c++

include

include

template
typename boost::enable_if, T>::type
add_one(T value) {
return value + 1;
}

int main() {
std::cout << add_one(5) << std::endl; // 输出 6
// std::cout << add_one(3.14) << std::endl; // 编译错误，因为 3.14 不是整数类型
}
“`

3.3 慎用模板元编程

模板元编程虽然强大，但是过度的模板元编程会让编译时间显著增加。 尽量简化复杂的模板元程序逻辑。 考虑是否可以用其他非模板元编程的方式实现同样的功能。

4. 编译器和链接器选项

调整编译器和链接器的选项也可以对编译时间产生影响。

4.1. 优化级别

  • -O0: 不进行优化（默认）。编译时间最短，但生成的代码运行速度最慢。
  • -O1: 进行基本的优化。编译时间和运行速度都比较适中。
  • -O2: 进行更多的优化。编译时间较长，但生成的代码运行速度较快。
  • -O3: 进行更激进的优化。编译时间最长，但生成的代码运行速度可能最快（但不一定）。
  • -Os: 优化代码大小。

对于 Boost 库，通常建议使用 -O2 或 -Os。

4.2. 并行编译

使用 -j 选项（GCC/Clang）或 /MP 选项（Visual Studio）可以启用并行编译，利用多核 CPU 加速编译过程。

bash
make -j4 # 使用 4 个线程进行编译

4.3. 链接器选项

  • 增量链接 (Incremental Linking): 只重新链接修改过的部分，加快链接速度。
  • 使用更快的链接器: 例如，lld (LLVM linker) 通常比传统的 ld 链接器快。

4.4. 禁用调试信息

调试信息会增加目标文件的大小和编译时间。如果你不需要调试，可以使用 -g0 (GCC/Clang) 或 /Zi (Visual Studio) 禁用调试信息。

4.5 使用 Unity/Jumbo Builds

Unity/Jumbo Build 是将多个源文件合并成一个大的源文件进行编译的技术。 这可以减少编译器的启动开销和头文件解析次数，从而加快编译速度。 但是，这种方法也有缺点：

  • 如果其中一个源文件发生更改，整个 Unity/Jumbo 文件都需要重新编译。
  • 调试信息可能会变得混乱。
  • 可能会出现命名冲突。

CMake 提供了对 unity builds 的支持:

cmake
set_property(TARGET my_target PROPERTY UNITY_BUILD ON)

5. 其他技巧

5.1. 使用更快的硬件

更快的 CPU、更多的内存和更快的硬盘 (SSD) 可以显著减少编译时间。

5.2. 使用分布式编译

如果你的项目非常大，可以考虑使用分布式编译工具，例如 distcc 或 ccache，将编译任务分配到多台机器上进行。

5.3. 定期清理构建目录

过时的目标文件和中间文件可能会导致编译时间增加。定期清理构建目录可以避免这个问题。

5.4. 使用 ccache

ccache 是一个编译器缓存工具，它可以缓存编译结果，并在后续编译中重用这些结果，从而加快编译速度。

5.5. 使用预编译的 Boost 库

一些 Linux 发行版提供了预编译的 Boost 库。如果你的项目不需要自定义 Boost 库，可以使用预编译的版本，避免自己编译。

总结

编译优化是一个多方面的问题，需要根据具体情况选择合适的技巧。对于 Boost 库，预编译头文件、减少包含的头文件、控制模板实例化和调整编译器选项是比较有效的优化方法。 在实际开发中，可以结合使用多种技巧，以达到最佳的编译性能。

希望本文能帮助你更好地理解和应用 Boost 编译优化技巧，提高你的 C++ 开发效率！

发表评论

您的邮箱地址不会被公开。 必填项已用 * 标注

滚动至顶部