如何确定C++模板是否指定了方法

Question

假设我正在编写一个函数模板GCD，它同时使用了operator/和operator%。例如，对于某些类型，可以有效地计算复数或多项式（即，在划分多项式时可以得到余数“免费”）。所以我的一些类模板实现了divmod，它返回一对商和余数。

但是，某些类和特别内置的类型（如int）没有divmod（或等效）实现。如果我正要写一个使用divmod的GCD，我会歧视其他类型（反之亦然）。我一直没有想出一个模板专门化，它不需要重复GCD的大部分代码。

我在这里有什么选择？

Answer 1

我会去的类型特征和基于它的模板专业化。您可以使用元编程来确定类型是否具有divmod，并基于该类型提供一般算法的特定部分。也就是说，将算法的公共部分提取到一个通用的代码片段中，该代码片段根据typetraits调用不同部分的专用函数。

看看boost::type_traits library以了解类型特征实现的方法，以及policy based design了解如何通过（策略）模板在通用代码库中注入不同行为的想法。