c++ - 如何避免在库中为许多类型/函数重复键入模板特化

Question

我在库 cpp 文件中有各种模板函数，它们通常如下所示:

template <class TT> TT im::BlockMultiplyAdd(const MtxView<TT> &src1, const MtxView<TT> &src2)
{
...
}

并且在 cpp 文件中也有实例化，如下所示:

template float im::BlockMultiplyAdd(const MtxView<float> &src1, const MtxView<float> &src2);
template double im::BlockMultiplyAdd(const MtxView<double> &src1, const MtxView<double> &src2);
template std::complex<float> im::BlockMultiplyAdd(const MtxView<std::complex<float>> &src1, const MtxView<std::complex<float>> &src2);
template std::complex<double> im::BlockMultiplyAdd(const MtxView<std::complex<double>> &src1, const MtxView<std::complex<double>> &src2);

我在头文件中也有声明。

现在我有很多这样的函数，我厌倦了为同一组四种类型一遍又一遍地输入相同的特化/声明。并非所有函数都具有相同的参数，但它们都具有相同的一组四种类型，它们是为这些类型构建的。

有什么方法可以让我制作预处理器宏或使用模板语法或更有效地安排我的代码，以便我可以减少输入(并使其更不容易出错)？

我是否应该将所有代码都放在模板的头文件中？静态库的优点/缺点是什么？

Answer 1

将它放入 header 中可能比依赖显式实例化更容易。但是如果你想这样做，你可以做类似的事情

// helper.h

// no include guard - important!
template TYPE im::BlockMultiplyAdd(const MtxView<TYPE> &src1, const MtxView<TYPE> &src2);
// similar stuff follows

然后在你的 cpp 文件中，多次包含 TYPE 每次都定义不同:

// instantiations.cpp

// template definition....

#define TYPE float
#include "helper.h"

#undef TYPE
#define TYPE double
#include "helper.h"

#undef TYPE
#define TYPE std::complex<float>
#include "helper.h"

#undef TYPE
#define TYPE std::complex<double>
#include "helper.h"
//etc...