成员变量如何与专门的类模板一起使用？

Question

我正在尝试编写一个非常简单的专用类模板，它具有一个成员变量，并且可以在特殊情况下以不同的方式打印该成员变量。我知道这个例子没什么用，但它很好地说明了这个问题。

当专门化类模板时，类的专门化似乎不共享相同的成员变量，因此以下代码将无法编译...

#include <iostream>
#include <string>

// Class template
template <typename T>
struct S
{
    S(const T& t)
        : t(t)
    {}

    void print()
    {
        std::cout << t << std::endl;
    }
private:
    T t;
};

// Specialization
template <>
struct S<std::string>
{
    void print()
    {
        // ERROR: "t" is not defined in this context
        std::cout << "string: " << t << std::endl;
    }
};

这表明我需要为每个专业化编写一个单独的构造函数，并为每个专业化有一个单独的成员变量t，如果我有很多专业化，它会很快成为大量重复的代码和工作。

如果我说的是真的，那么在专门的类模板中完全使用成员变量是不好的做法吗？是否有任何替代方法可以减少代码重复？

Answer 1

另请查看@0x499602D2 的答案，它更简单，适用于许多实际情况。

你是对的，专业基本上是完全独立于彼此和原始模板的，所以你必须写新的东西。解决这个问题的一种方法是使用继承。

#include <iostream>
#include <string>

// Class template
template <typename T>
struct Base
{
    Base(const T& t)
        : t(t)
    {}

    virtual void print()
    {
        std::cout << t << std::endl;
    }

protected:
    T t;
};

template<class T>
struct S: Base<T> {
};

// Specialization
template <>
struct S<std::string>: Base<std::string>
{
    void print() override
    {
        std::cout << "string: " << t << std::endl;
    }
};