C++为所有模板专用类定义成员函数

我有一个模板化的类 foo<T> 其在许多不同方面是专门化的。
其中一些具有许多依赖于专用函数的通用代码。

例如,考虑以下内容:

#include <iostream>

template <class T>
struct foo;

template <class T>
struct foo<T*> {
    void different_function() const { std::cout << "calling from T*\n"; }
    void same_function() const;
};

template <class T>
struct foo<T&> {
    void different_function() const { std::cout << "calling from T&\n"; }
    void same_function() const;
};

template <class T>
void foo<T>::same_function() const { // this yields an error
    std::cout << "the exact same function but now ";
    different_function();
}

int main() {
    foo<int*> a;
    a.different_function();
    a.same_function();
    foo<int&> b;
    b.different_function();
    b.same_function();
}

的每个专业 foo<T>::different_function() 是唯一指定的,并且我想要 foo<T>::same_function() 通常具有相同的代码结构,但依赖于的专业化 different_function() .

我尝试过:

• 将方法添加到默认值 foo 类型,但仅定义代码 对于 默认值 foo .
• 为所有常见方法使用基类,但由于 different_function 来自 foo 类是必需的。

我该如何解决这个问题?