我从事的是STAPL项目，这是一个包含大量模板的C ++库。有时，我们必须重新审视所有技术以减少编译时间。在这里，我总结了我们使用的技术。其中一些技术已在上面列出：
查找最耗时的部分
尽管没有证明符号长度和编译时间之间的相关性，但是我们已经观察到，较小的平均符号大小可以改善所有编译器的编译时间。因此，您的第一个目标就是在代码中找到最大的符号。
方法1-根据大小对符号排序
您可以使用nm命令根据符号的大小列出符号：
nm --print-size --size-sort --radix=d YOUR_BINARY
在此命令中 --radix=d，您可以以十进制数字查看大小（默认为十六进制）。现在，通过查看最大的符号，确定是否可以打破相应的类，并尝试通过将基类中未模板化的部分分解为因子，或将类拆分为多个类来重新设计它。
方法2-根据长度对符号进行排序
您可以运行常规nm命令并将其通过管道发送到您喜欢的脚本（AWK，Python等），以根据符号的长度对符号进行排序。根据我们的经验，此方法确定了使候选人比方法1更好的最大麻烦。
方法3-使用临时灯
“ Templight是锵基于的工具，用于分析模板实例化的时间和内存消耗，并执行交互式调试会话以对模板实例化过程进行自省。”
您可以通过签出LLVM和Clang（说明）并在其上应用Templight补丁来安装Templight 。LLVM和Clang的默认设置是在调试和断言上，它们会极大地影响您的编译时间。看起来Templight两者都需要，因此您必须使用默认设置。安装LLVM和Clang的过程大约需要一个小时。
应用补丁程序后，您可以使用templight++安装时指定的build文件夹中的代码来编译代码。
确保这templight++在您的PATH中。现在进行编译，将以下开关添加到CXXFLAGSMakefile中或命令行选项中：
CXXFLAGS+=-Xtemplight -profiler -Xtemplight -memory -Xtemplight -ignore-system
要么
templight++ -Xtemplight -profiler -Xtemplight -memory -Xtemplight -ignore-system
编译完成后，您将在同一文件夹中生成一个.trace.memory.pbf和.trace.pbf。要可视化这些跟踪，可以使用Templight工具将其转换为其他格式。请按照以下说明安装templight-convert。我们通常使用callgrind输出。如果您的项目很小，也可以使用GraphViz输出：
$ templight-convert --format callgrind YOUR_BINARY --output YOUR_BINARY.trace
$ templight-convert --format graphviz YOUR_BINARY --output YOUR_BINARY.dot
可以使用kcachegrind打开生成的callgrind文件，您可以在其中跟踪耗时/内存最多的实例。
减少模板实例化的数量
尽管没有减少模板实例化数量的确切解决方案，但是有一些准则可以帮助您：
使用多个模板参数重构类
例如，如果您有一堂课，
template <typename T, typename U>
struct foo { };
并且，T和U都可以有10个不同的选项，您已经将该类的可能的模板实例化增加到100。解决此问题的一种方法是将代码的公共部分抽象到另一个类。另一种方法是使用继承反转（反转类层次结构），但是在使用此技术之前，请确保不损害您的设计目标。
将非模板代码重构为单个翻译单元
使用此技术，您可以一次编译公共部分，然后将其与其他TU（转换单元）链接。
使用外部模板实例化（自C ++ 11起）
如果您知道一个类的所有可能实例化，则可以使用此技术在不同的翻译单元中编译所有个案。
例如，在：
enum class PossibleChoices = {Option1, Option2, Option3}
template <PossibleChoices pc>
struct foo { };
我们知道此类可以具有三个可能的实例化：
template class foo<PossibleChoices::Option1>;
template class foo<PossibleChoices::Option2>;
template class foo<PossibleChoices::Option3>;
将以上内容放入翻译单元，并在类定义下方的头文件中使用extern关键字：
extern template class foo<PossibleChoices::Option1>;
extern template class foo<PossibleChoices::Option2>;
extern template class foo<PossibleChoices::Option3>;
如果您要使用一组通用实例来编译不同的测试，则此技术可以节省您的时间。
注意：MPICH2此时将忽略显式实例化，并始终在所有编译单元中编译实例化的类。
使用统一版本
统一构建的整个思想是将您使用的所有.cc文件包含在一个文件中，并且仅对该文件进行一次编译。使用这种方法，可以避免重新实例化不同文件的公共部分，并且如果您的项目包含许多公共文件，则可能还可以节省磁盘访问。
举个例子，假设你有三个文件foo1.cc，foo2.cc，foo3.cc和它们都包括tuple从STL。您可以创建foo-all.cc如下所示的：
#include "foo1.cc"
#include "foo2.cc"
#include "foo3.cc"
您只编译一次该文件，并可能减少三个文件之间的通用实例。通常很难预测这种改善是否显着。但是一个明显的事实是，您将在构建中失去并行性（您不能再同时编译三个文件）。
此外，如果这些文件中的任何一个恰好占用大量内存，则在编译结束之前您实际上可能会用完内存。在某些编译器（例如GCC）上，由于内存不足，这可能会导致ICE（内部编译器错误）编译器。因此，除非您了解所有优点和缺点，否则不要使用此技术。
预编译头
通过将头文件编译为编译器可识别的中间表示形式，预编译头（PCH）可以节省大量时间。要生成预编译的头文件，只需要使用常规编译命令来编译头文件。例如，在GCC上：
$ g++ YOUR_HEADER.hpp
这将在同一文件夹中生成一个YOUR_HEADER.hpp.gch file（.gch是GCC中PCH文件的扩展名）。这意味着，如果您将其包含YOUR_HEADER.hpp在其他文件中，则编译器将使用您的YOUR_HEADER.hpp.gch而不是YOUR_HEADER.hpp以前在同一文件夹中。
此技术有两个问题：
- 您必须确保要预编译的头文件稳定且不会更改（您始终可以更改makefile）
- 每个编译单元只能包含一个PCH（在大多数编译器上）。这意味着，如果要预编译多个头文件，则必须将它们包括在一个文件中（例如
all-my-headers.hpp）。但这意味着您必须在所有位置包括新文件。幸运的是，GCC可以解决此问题。使用-include并给它新的头文件。您可以使用此技术逗号分隔不同的文件。
例如：
g++ foo.cc -include all-my-headers.hpp
使用未命名或匿名名称空间
未命名的名称空间（又名匿名名称空间）可以显着减少生成的二进制大小。未命名的名称空间使用内部链接，这意味着在这些名称空间中生成的符号对其他TU（转换或编译单元）将不可见。编译器通常会为未命名的命名空间生成唯一的名称。这意味着，如果您有文件foo.hpp：
namespace {
template <typename T>
struct foo { };
} // Anonymous namespace
using A = foo<int>;
而且您碰巧将此文件包含在两个TU中（两个.cc文件并分别编译）。这两个foo模板实例将不同。这违反了一个定义规则（ODR）。由于相同的原因，不建议在头文件中使用未命名的名称空间。随时在.cc文件中使用它们，以避免符号出现在二进制文件中。在某些情况下，更改文件的所有内部详细信息会.cc显示生成的二进制大小减少了10％。
更改可见性选项
在较新的编译器中，您可以选择在动态共享对象（DSO）中可见或不可见的符号。理想情况下，更改可见性可以提高编译器性能，链接时间优化（LTO）和生成的二进制大小。如果在GCC中查看STL头文件，您会发现它已被广泛使用。要启用可见性选择，您需要针对每个函数，每个类，每个变量（更重要的是针对每个编译器）更改代码。
借助可见性，您可以从生成的共享对象中隐藏您认为私有的符号。在GCC上，您可以通过将默认值或隐藏值传递给-visibility编译器的选项来控制符号的可见性。从某种意义上说，这与未命名的命名空间类似，但是更加复杂和侵入性。
如果要指定每种情况的可视性，则必须在函数，变量和类中添加以下属性：
__attribute__((visibility("default"))) void foo1() { }
__attribute__((visibility("hidden"))) void foo2() { }
__attribute__((visibility("hidden"))) class foo3 { };
void foo4() { }
GCC中的默认可见性为默认（公共），这意味着如果将上述内容编译为共享库（-shared）方法，则foo2该类foo3在其他TU中将不可见（foo1并且foo4将可见）。如果您使用进行编译，-visibility=hidden则只会foo1显示。甚至foo4会被隐藏。
您可以在GCC Wiki上阅读有关可见性的更多信息。