c++ - 具有成员变量和方法默认值的模板类特化

Question

我有一个类模板:

template<typename T>
struct DefaultPattern {
  using type = int;
  static int CalculateValue(const T& input) {
    return 0;
  }
};

对于每种类型 T，我都会有一个特化。问题是，在特化类中，我需要定义在 DefaultPattern 中定义的所有成员变量和方法，即使它们可能与 中的值相同>默认模式。这是一个例子:

// A specialization for int.
template<>
struct DefaultPattern<int> {
  // Same as DefaultPattern but I need to define it again.
  using type = int;
  static int CalculateValue(const int& input) {
    return input + 2;
  }
};

有没有办法让我在做特化时，只需要定义那些不同于 DefaultPattern 的成员？

Answer 1

Is there a way so that when I do the specialization, I only need to define those members that are different from DefaultPattern?

一种可能的解决方案是一种 self 继承:您的特化可以从通用模板继承。请注意，为了从通用模板继承，规范化使用了特定的实例化(例如，下面使用了 T = long)。

例如:

template <>
struct DefaultPattern<int> : public DefaultPattern<long>
 {
   static int CalculateValue (int const & input)
    { return input + 2; }
 };

所以 DefaultPattern<int>继承type = int来自 DefaulPattern<long> (或 DefaultPattern<std::string> 或其他)并重新定义 CalculateValue()

下面是一个完整的工作示例:

#include <iostream>
#include <type_traits>

template <typename T>
struct DefaultPattern
 {
   using type = int;

   static int CalculateValue (T const &)
    { return 0; }
 };

template <>
struct DefaultPattern<int> : public DefaultPattern<long>
 {
   static int CalculateValue (int const & input)
    { return input + 2; }
 };

int main ()
 {
   static_assert( std::is_same<DefaultPattern<int>::type, int>{}, "!" );

   std::cout << DefaultPattern<long>::CalculateValue(1L) << std::endl;
   std::cout << DefaultPattern<int>::CalculateValue(1) << std::endl;
 }