检查比较逻辑的核心是确保比较器满足自反性、对称性和传递性，任何违反都会导致 list.sort 抛出 invalidoperationexception。最直接的做法是将比较逻辑提取为独立函数，使用固定输入进行全排列测试，验证所有两两组合的结果是否一致。如果涉及浮点数或复杂对象，需特别注意 nan 处理和属性依赖关系。
如何验证比较器的对称性和传递性
通过构造包含三个元素的数组并遍历所有排列，可以检测传递性冲突；同时检查每对元素的反向比较结果是否符号相反，可验证对称性。这种测试能暴露出如 a 但 <code>b > a 的逻辑错误。
using System;
using System.Collections.Generic;
public class Item
{
public int Id { get; set; }
public double Score { get; set; }
}
public class Program
{
public static void Main()
{
var list = new List<Item>
{
new Item { Id = 1, Score = 10.0 },
new Item { Id = 2, Score = 5.0 },
new Item { Id = 3, Score = 10.0 }
};
// 错误的比较器：忽略 Id，仅比较 Score
// 当 Score 相同时返回 0，但若实现不当可能破坏对称性
var comparer = Comparer<Item>.Create((x, y) =>
{
if (x.Score != y.Score)
return x.Score.CompareTo(y.Score);
return x.Id.CompareTo(y.Id); // 正确做法应包含次级键
});
try
{
list.Sort(comparer);
Console.WriteLine("Sort succeeded");
}
catch (InvalidOperationException ex)
{
Console.WriteLine($"Error: {ex.Message}");
}
// 测试对称性
var items = new[]
{
new Item { Id = 1, Score = 10.0 },
new Item { Id = 2, Score = 20.0 },
new Item { Id = 3, Score = 15.0 }
};
for (int i = 0; i < items.Length; i++)
{
for (int j = 0; j < items.Length; j++)
{
int cmp1 = comparer.Compare(items[i], items[j]);
int cmp2 = comparer.Compare(items[j], items[i]);
if (cmp1 != -cmp2)
{
Console.WriteLine($"Symmetry violation: Compare({i},{j})={cmp1}, Compare({j},{i})={cmp2}");
}
}
}
}
}
如何处理浮点数和空值导致的异常
浮点数的 NaN 值与任何数（包括自身）比较都返回非零，破坏自反性；空值在引用类型中若未处理 null 检查，直接访问属性会抛 NullReferenceException。应在比较器开头显式处理 null 和 NaN，确保它们有确定的排序位置。
using System;
using System.Collections.Generic;
public class DataPoint
{
public string Name { get; set; }
public double? Value { get; set; }
}
public class Program
{
public static void Main()
{
var list = new List<DataPoint>
{
new DataPoint { Name = "A", Value = double.NaN },
new DataPoint { Name = "B", Value = 10.0 },
new DataPoint { Name = "C", Value = null }
};
var comparer = Comparer<DataPoint>.Create((x, y) =>
{
// 处理 null
if (x == null && y == null) return 0;
if (x == null) return -1;
if (y == null) return 1;
// 处理 NaN
bool xNan = !x.Value.HasValue || double.IsNaN(x.Value.Value);
bool yNan = !y.Value.HasValue || double.IsNaN(y.Value.Value);
if (xNan && yNan) return 0;
if (xNan) return -1;
if (yNan) return 1;
return x.Value.Value.CompareTo(y.Value.Value);
});
try
{
list.Sort(comparer);
foreach (var item in list)
{
Console.WriteLine($"{item.Name}: {item.Value}");
}
}
catch (Exception ex)
{
Console.WriteLine($"Error: {ex.Message}");
}
}
}
当比较器返回不一致结果时程序的具体行为
当比较器在不同调用中对相同元素返回不同结果时，List.Sort 会在内部检测到矛盾并立即抛出 InvalidOperationException，提示“Comparison method violates its general contract”。此时列表状态未定义，不应继续使用。该异常是即时触发的，不会等到排序完成。
