无法为泛型类型创建运算符==？

Question

我有一个通用范围类，我正在尝试添加一个比较运算符，以便我可以测试一个范围是否等于另一个范围。它无法编译，我不知道如何解决它所抱怨的问题。我错过了一些明显的事情吗？这是代码片段：

generic<typename T>
public ref class Range
{
protected:
    T m_min;
    T m_max;
public:

    ...
    ...

    bool operator==(Range<T>% rhs) 
    {
        return ( m_min == rhs.m_min ) && ( m_max == rhs.m_max );
    }
};

...无法编译并出现以下错误：

1>c:\projects\Utils.h(47) : error C2676: binary '==' : 'T' does not define this operator or a conversion to a type acceptable to the predefined operator

我是否需要为要重载的每种类型定义转换（我正在使用 Int32 实例化）？我希望避免这种事情，因为它会损害使用泛型。

[编辑] 我有一个实例化如下：

Range<Int32> a = Range<Int32>(0,5);
Range<Int32> b = Range<Int32>(1,3);

if( Int32(2) != Int32(4) )
{
    printf("Int32 supports != operator");
}

if( a != b )
{
    printf("A != B : SUCCESS");
}
else
{
    printf("A == B : FAIL");
}

...除了上述错误之外，它可以正常编译。如果我将每个值转换为 Int32 它会编译，但实际上我想让类尽可能通用（即不必为每种类型重载）。我想我可以对每种类型进行子类化并在那里执行重载运算符，但解决方案并不像我第一次发现泛型时所预期的那样整洁;-)

Answer 1

您不能将泛型类型的值与 == 运算符进行比较，因为并非所有值类型都保证实现它。

例如，此代码示例失败并显示错误“运算符 '==' 无法应用于类型为 'Test.MyStruct' 和 'Test.MyStruct' 的操作数。

struct MyStruct { }

class Tester {
    void Go()
    {
        bool b = new MyStruct() == new MyStruct();
    }
 }

Answer 2

在标准 C++ 中，

template< class T >
class Range {

    bool operator==(Range const & rhs) const {
        return ( m_min == rhs.m_min ) && ( m_max == rhs.m_max );
    }
};

只要类型 T 有运算符 ==，它就可以工作，

但这显然不是标准 C++，即 generic，即 public ref class >，Range%

寻找一些关于generic事物的特殊规则，我猜他们对类型T施加了比标准模板更多的限制。

Answer 3

至少在 VS2005 中，需要的是：

generic<typename T> where T: IComparable, IEquatable<T>
public ref class Range {
    ...
};

这会导致编译器接受 == 运算符。我没有测试 Range 类，但它对于类的以下静态方法应该可以正常工作：

generic <class K, class V> where V: IComparable, IEquatable<V>
static
K
KeyForValue(Collections::Generic::IDictionary<K,V>^ src, V value) {
    for each (Collections::Generic::KeyValuePair<K,V>^ kvp in src) {
        if (kvp->Value==value) return kvp->Key ;
    }
    throw gcnew Collections::Generic::KeyNotFoundException() ;
    return K() ;
}

Answer 4

据我所知，您可以使用“Range”而不是“Range”当 T 与实例化类模板的类型相同时。尝试一下。

离题了，但我会返回一个 const bool，并让该函数也成为 const。除非您知道需要保护，否则还将受保护更改为私有。

我认为“%”是“&”的拼写错误？编辑：除了我刚刚注意到 c++-cli 标签，所以这可能是 C++/CLI 中存在的一些疯狂的运算符，遗憾的是我对此一无所知:)

Answer 5

您是否尝试过添加 where IComparable 约束？

generic<typename T> where T: IComparable
public ref class Range  {
....