c – 避免在专用模板中复制代码

我想要两个相似的模板,一个带有1个参数,另一个带有2个参数：

template<typename T1,typename T2=void>
struct foo {
  T1 m_t1;
  T2 m_t2;
  foo(T1 t1,T2 t2) : m_t1(t1),m_t2(t2) {}
  T1 t1() { return m_t1; }
  T2 t2() { return m_t2; }
};

template<typename T1>
struct foo<T1,void> {
  T1 m_t1;
  foo(T1 t1) : m_t1(t1) {}
  T1 t1() { return m_t1; }
};

注意所有T1相关内容的代码重复.我怎么能避免这个？

解决方法

解决此问题的唯一方法是在基类中拥有尽可能多的代码.例如：

template<typename T1>
struct foo_base {
    T1 m_t1;
    explicit foo_base(T1 t1) : m_t1(t1) {}
    T1 t1() const { return m_t1; }
};

template<typename T1,typename T2=void>
struct foo : foo_base<T1> {
    T2 m_t2;
    foo(T1 t1,T2 t2) : foo_base<T1>(t1),m_t2(t2) {}
    T2 t2() const { return m_t2; }
};

template<typename T1>
struct foo<T1,void> : foo_base<T1> {
    explicit foo(T1 t1) : foo_base<T1>(t1) {}
};