Question

我正在尝试为模板let f = fun x -> match x with | 0 -> "Zero" | _ -> "Not zero" let f x = // Using the extra convenient form of "let", as discussed above match x with | 0 -> "Zero" | _ -> "Not zero" let f = function // Using "function" instead of "fun" + "match" | 0 -> "Zero" | _ -> "Not zero"的成员运算符定义一个特殊化，如下所示：

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; }运算符
的任何匹配声明
%
编译器不能使用默认模板参数来声明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’的完全专业化吗？所以我应该能够专门化成员函数吗？

如何解决？

Answer 1

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：

typedef vec2<> vec2d;
vec2d v1(5.0, 12.0);

指定模板类的成员函数不起作用

1 个答案: