Як порівняти значення загальних типів?

Question 1

Я зменшив його до мінімальної вибірки:

public class Foo<T> where T : IComparable
{
    private T _minimumValue = default(T);

    public bool IsInRange(T value) 
    {
        return (value >= _minimumValue); // <-- Error here
    }
}

Помилка:

Оператор '> =' не можна застосувати до операндів типу 'T' і 'T'.

Що на землі !? Tвже змушений IComparable, і навіть тоді , коли обмежує його до типам значень ( where T: struct), ми можемо не застосовувати будь - якого з операторів <, >, <=, >=, ==або !=. (Я знаю, що обхідні шляхи, що стосуються, Equals()існують для ==і !=, але це не допомагає для реляційних операторів).

Отже, два запитання:

Чому ми спостерігаємо цю дивну поведінку? Що утримує нас від порівняння значень загальних типів , які відомі як IComparable? Хіба це якось не перемагає всієї мети загальних обмежень?
Як я можу це вирішити, або, принаймні, обійти це?

(Я усвідомлюю, що вже є кілька питань, пов’язаних із цією, здавалося б, простою проблемою - але жодна з тем не дає вичерпної або дієвої відповіді, тому тут.)

Question 2

IComparableне перевантажує >=оператора. Ви повинні використовувати

value.CompareTo(_minimumValue) >= 0

Question 3

Проблема з перевантаженням оператора

На жаль, інтерфейси не можуть містити перевантажені оператори. Спробуйте ввести це у своєму компіляторі:

public interface IInequalityComaparable<T>
{
    bool operator >(T lhs, T rhs);
    bool operator >=(T lhs, T rhs);
    bool operator <(T lhs, T rhs);
    bool operator <=(T lhs, T rhs);
}

Я не знаю, чому вони цього не дозволили, але я здогадуюсь, що це ускладнило визначення мови, і користувачам буде важко правильно застосувати.

Або це, або дизайнерам не сподобалась можливість зловживань. Наприклад, уявіть, як зробити >=порівняння на class MagicMrMeow. Або навіть на class Matrix<T>. Що означає результат щодо двох значень ?; Особливо, коли може бути двозначність?

Офіційна обхідна робота

Оскільки вищезазначений інтерфейс не є законним, ми маємо IComparable<T>інтерфейс, щоб вирішити проблему. Він не реалізує жодних операторів і надає лише один метод,int CompareTo(T other);

Див. Http://msdn.microsoft.com/en-us/library/4d7sx9hd.aspx

intРезультатом є фактично три-біт, або три-ні краплі ( по аналогії з Boolean, але з трьома станами). Ця таблиця пояснює значення результатів:

Value              Meaning

Less than zero     This object is less than
                   the object specified by the CompareTo method.

Zero               This object is equal to the method parameter.

Greater than zero  This object is greater than the method parameter.

Використання навколо роботи

Для того, щоб зробити еквівалент value >= _minimumValue, ви повинні натомість написати:

value.CompareTo(_minimumValue) >= 0

Question 4

Якщо valueможе бути нульовим, поточна відповідь може не вдатися. Замість цього використовуйте щось подібне:

Comparer<T>.Default.Compare(value, _minimumValue) >= 0

Question 5

public bool IsInRange(T value) 
{
    return (value.CompareTo(_minimumValue) >= 0);
}

Під час роботи з IComparable generics усі оператори, менші / більші за оператори, повинні бути перетворені на виклики до CompareTo. Яким би оператором ви не користувались, порівнюйте значення у тому самому порядку та порівнюйте проти нуля. ( x <op> yСтає x.CompareTo(y) <op> 0, де <op>знаходиться >, >=і т.д.)

Крім того, я б рекомендував використовувати загальне обмеження, яке ви використовуєте where T : IComparable<T>. Порівняння саме по собі означає, що об'єкт можна порівняти з чим завгодно, порівняння об'єкта з іншими однотипними, ймовірно, є більш доцільним.

Question 6

Замість класу value >= _minimValueвикористання Comparer:

public bool IsInRange(T value ) {
    var result = Comparer<T>.Default.Compare(value, _minimumValue);
    if ( result >= 0 ) { return true; }
    else { return false; }
}

Question 7

Як зазначали інші, потрібно явно використовувати метод CompareTo. Причина того, що не можна використовувати інтерфейси з операторами, полягає в тому, що клас може реалізувати довільну кількість інтерфейсів без чіткого ранжування серед них. Припустимо, хтось намагався обчислити вираз "a = foo + 5;" коли foo реалізував шість інтерфейсів, всі з яких визначають оператор "+" із цілим числом другого аргументу; який інтерфейс слід використовувати для оператора?

Той факт, що класи можуть отримувати кілька інтерфейсів, робить інтерфейси дуже потужними. На жаль, часто це змушує бути більш чіткими щодо того, що насправді хочеться робити.

Question 8

IComparableлише змушує функцію, що називається CompareTo(). Отже, ви не можете застосувати жодного із зазначених вами операторів

Question 9

Я зміг використати відповідь Пітера Гедбурга, щоб створити деякі перевантажені методи розширення для загальних препаратів. Зверніть увагу, що CompareToметод тут не працює, оскільки тип Tневідомий і не відображає цей інтерфейс. Тим не менш, я зацікавлений побачити будь-які альтернативи.

Я хотів би розмістити його на C #, але конвертер Telerik не працює на цьому коді. Я недостатньо знайомий з C #, щоб надійно перетворити його вручну. Якщо хтось хотів би відзначитись, я був би радий бачити це відповідно.

<Extension>
<DebuggerStepThrough>
Public Sub RemoveDuplicates(Of T)(Instance As List(Of T))
  Instance.RemoveDuplicates(Function(X, Y) Comparer(Of T).Default.Compare(X, Y))
End Sub



<Extension>
<DebuggerStepThrough>
Public Sub RemoveDuplicates(Of T)(Instance As List(Of T), Comparison As Comparison(Of T))
  Instance.RemoveDuplicates(New List(Of Comparison(Of T)) From {Comparison})
End Sub



<Extension>
<DebuggerStepThrough>
Public Sub RemoveDuplicates(Of T)(Instance As List(Of T), Comparisons As List(Of Comparison(Of T)))
  Dim oResults As New List(Of Boolean)

  For i As Integer = 0 To Instance.Count - 1
    For j As Integer = Instance.Count - 1 To i + 1 Step -1
      oResults.Clear()

      For Each oComparison As Comparison(Of T) In Comparisons
        oResults.Add(oComparison(Instance(i), Instance(j)) = 0)
      Next oComparison

      If oResults.Any(Function(R) R) Then
        Instance.RemoveAt(j)
      End If
    Next j
  Next i
End Sub

- EDIT--

Я був в змозі очистити це шляхом обмеження Tдля IComparable(Of T)всіх методів, як зазначено ОП. Зверніть увагу, що це обмеження вимагає і типу Tдля реалізації IComparable(Of <type>).

<Extension>
<DebuggerStepThrough>
Public Sub RemoveDuplicates(Of T As IComparable(Of T))(Instance As List(Of T))
  Instance.RemoveDuplicates(Function(X, Y) X.CompareTo(Y))
End Sub