成员变量如何与专用类模板一起工作?

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

#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;
    }
};

由于只专门化单个模板参数,因此可以显式专门化成员函数而不是整个类:

template <>
void S<std::string>::print()
{
    std::cout << "string: " << t << std::endl;
}

另一种可能的解决方案是标签显示

template <typename T>
struct S
 {
   private:
      T t;

      void print_helper (std::true_type) // T is std::string
       { std::cout << "string: " << t << std::endl; }

      void print_helper (std::false_type) // T isn't std::string
       { std::cout << t << std::endl; }

   public:
      S (T const & t0) : t{t0}
       { } 

      void print ()
       { print_helper(std::is_same<T, std::string>{}); }
 };