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

Question

假設我正在編寫一個函數模板GCD，它同時使用了operator/和operator%。例如，對於某些類型，可以有效地計算複數或多項式（即，在劃分多項式時可以得到餘數「免費」）。所以我的一些類模板實現了divmod，它返回一對商和餘數。

但是，某些類和特別內置的類型（如int）沒有divmod（或等效）實現。如果我正要寫一個使用divmod的GCD，我會歧視其他類型（反之亦然）。我一直沒有想出一個模板專門化，它不需要重複GCD的大部分代碼。

我在這裏有什麼選擇？

Answer 1

我會去的類型特徵和基於它的模板專業化。您可以使用元編程來確定類型是否具有divmod，並基於該類型提供一般算法的特定部分。也就是說，將算法的公共部分提取到一個通用的代碼片段中，該代碼片段根據typetraits調用不同部分的專用函數。

看看boost::type_traits library以瞭解類型特徵實現的方法，以及policy based design瞭解如何通過（策略）模板在通用代碼庫中注入不同行爲的想法。