Question

是否有一种方法可以预编译（类模板的）某些模板实例化，但不是全部，以便在实例化时编译其余的模板实例化（链接时无错误）？

为演示该问题，请考虑以下示例：

// file.h
template<typename T> class object { /* lots of code */ };

// file.inc
template<typename T>
object::object(const T*data) { /* ... */ }
    // and more: definitions of all non-inline functionality of class object<>

// file.cc to be compiled and linked
#include "file.h"
#include "file.inc" 

template struct<int>;
template struct<double>;

// user.cc
#include "user.h"
#include "file.h"

object<double> x{0.4}                              // okay: uses pre-compiled code
object<user_defined> z(user_defined{"file.dat"});  // error: fails at linking

相反，如果用户#include的{{1}}

"file.inc"

由于// user.cc #include "user.h" #include "file.h" #include "file.inc" object<double> x{0.4} // error: duplicate code object<user_defined> z(user_defined{"file.dat"}); // okay中的预编译代码，编译器将找到另一个编译版本。

那么我该如何避免这两个问题？我认为一个相关的问题是“如何指定预编译的标头完全编译某些模板参数的模板（仅）？”

Answer 1

您可以使用extern template来防止给定TU中模板的特定实例化。

// src0.cpp

template class foo<int>;
    // Oblige instantiation of `foo<int>` in this TU

// src1.cpp

extern template class foo<int>;
    // Prevent instantiation of `foo<int>` in this TU

只要src0和src1链接在一起，您的程序就可以工作。

模板的选择性编译

1 个答案: