模板化类的成员函数的规范化不起作用

Specilization of a member function of a templated class is not working

本文关键字：函数 规范化 不起作用 成员      更新时间：2023-10-16

>我正在尝试为模板化struct的成员运算符定义专用化，如下所示：

template<typename T = double>
struct vec2 {
    T x, y;
    vec2(const T x,
         const T y)
    : x{x}, y{y} {}
    vec2(const T w)
    : vec2(w, w) {}
    vec2()
    : vec2(static_cast<T>(0)) {}
    friend ostream& operator<<(ostream& os, const vec2& v) {
        os << "vec2<" << v.x << ", " << v.y << ">";
        return os;
    }
    vec2<T> operator%(const T f) const;
};
template<> template<>
vec2<int> vec2<int>::operator%(const int f) const {
    return vec2(x % f, y % f);
}
template<> template<>
vec2<double> vec2<double>::operator%(const double f) const{
    return vec2(std::fmod(x, f), std::fmod(y, f));
}
int main() {
    vec2 v1(5.0, 12.0);
    vec2<int> v2(5, 12);
    cout << v1 % 1.5 << v2 % 2 << endl;
    return 0;
}

我面临 2 个问题：

  • 编译器找不到两个专用%运算符的任何匹配声明

    error: template-id ‘operator%<>’ for ‘vec2<int> vec2<int>::operator%(int) const’ does not match any template declaration

  • 编译器不能使用默认模板参数来声明vec2 v1，并需要为其提供模板参数

    error: missing template arguments before ‘v1’

现在这些不是struct vec2的完全专业化吗？所以我也应该能够专门化成员功能吗？

如何解决？

template<> template<>是尝试将成员专用化到另一个专业化中。由于operator%不是函数模板，因此您只需要一个template<>来指示vec2的完全专业化，例如：

template <>
vec2<int> vec2<int>::operator%(const int f) const
{
    return vec2(x % f, y % f);
}

vec2是类模板，而不是类型。为了从默认其模板参数的类模板创建类型，您需要一对空括号：

vec2<> v1(5.0, 12.0);
// ~^^~

或者为其创建一个类型定义：

typedef vec2<> vec2d;
vec2d v1(5.0, 12.0);
相关文章：