仅专门化模板类的一部分，同时保持其余部分通用

Question

假设以下类：

template <typename T>
class Test {
public:
    void do_something1();
    ...
    void do_something100(); // basically many functions already defined
}

如何在不重写所有可能已经模板化的 100 个函数的情况下向类的特化添加另一个函数？

template<>
class Test<int> {
public:
    void do_something_else();
}

...

int main() {
    auto x = Test<int>();
    x.do_something5();     // should be still valid, would call 
                           // Test<T>::do_something5() with T being int
    x.do_something_else(); // valid because declared in specialisation
    ...
}

现在，如果像上面的示例一样保留Test<int> 特化，它将只包含do_something_else()，不包含do_something1...100()。

---

解决方案

根据接受的答案，使用给定的示例，我执行了以下操作：

namespace parent {
    template <typename T>
    class Test {
    public:
        void do_something1();
        ...
        void do_something100(); 
    }
}

template <typename T>
class Test : public parent::Test<T> {
    using parent::Test<T>::Test; // inherit constructors
}

template <>
class Test<int> : public parent::Test<int> {
    using parent::Test<int>::Test;
public:
    void do_something_else();
}

Answer 1

您可以创建一个通用基类，并从它派生主模板和特化。

或者您可以制作do_something_else 函数模板并且仅适用于int（然后不需要使用专门化）。

template <typename T>
class Test {
public:
    void do_something1();
    ...
    void do_something100(); // basically many functions already defined

    template <typename X = T>
    std::enable_if_t<std::is_same_v<X, int> && std::is_same_v<X, T>> do_something_else();
};

或者从 C++20 开始，我们可以按照@aschepler 的建议使用约束。

template <typename T>
class Test {
public:
    void do_something1();
    ...
    void do_something100(); // basically many functions already defined

    void do_something_else() requires std::is_same_v<T, int>;
};