过载操作符声明2种不同类型的对象

Question

我有一个模板类并编写了一个操作符 - 它应该用2个不同类型的对象进行数学运算并将其作为新对象返回。现在我想知道如何在我的班级中声明这个操作符，因为像

这样的东西

template<typename S> 
friend auto operator-(const XY<T>,const XY<S>)->XY<decltype(T-S)>; 

是不允许的？ 这是我的示例代码：

template <typename T>
class XY{
private:
    T x

...

// template<typename S> 
// friend auto operator-(const XY<T>, const XY<S>)->XY<decltype(T-S)>;

};

template <typename T, typename S>
auto operator-(const XY<T> z1, const XY<S> z2)->XY<decltype(z1.x - z2.x)>{
    decltype(z1.x - z2.x) x;
    x = (z1.x - z2.x);
    XY<decltype(x)> n(x);

    return n;
}

Answer 1

这是你在找什么？

template <typename T>
class XY{
private:
    T x;

template <typename U, typename S>
friend auto operator-(const XY<U> z1, const XY<S> z2)->XY<decltype(z1.x - z2.x)>;

};

template <typename T, typename S>
auto operator-(const XY<T> z1, const XY<S> z2)->XY<decltype(z1.x - z2.x)>{...}

Demo