继承所有模板类型功能

Question

我正在考虑创建模板类包装器，它应该继承所有的模板参数功能，并在其上添加一些东西。对于结构和类，这将是非常简单的

class foo{ void bar(){} };

template<class T>
class baz : public T { void zab(){} };

int main(){
    baz<foo> a;
}

现在，我的问题是，是否有任何方法能够保持内置整数类型的运算符，而不是大量的手动专门化模板，以便这些类型能够这样做：

int main(){
    baz<int> a;
    int b = a + 2;
}

这是可以做到的吗？如果是这样的话，是怎么做的？(我知道这将有必要通过一些神奇的专业化来实现。我只是在问，是否可以通过一个部分专业化来实现这一点)

Answer 1

有了SFINAE friend类，你可以通过模板减少专业化：

template <class T, typename Enabler = void>
class baz : public T { void zab(){} };

// specialization for integral type
template <class T>
class baz<T, std::enable_if_t<std::is_integral<T>::value>>
{

    friend auto operator + (T lhs, T rhs) { /*..*/}
    operator T() const { return value; }
    // ...

    T value;
};