为何无序的Dart Set数据类型拥有.first和.last属性？

首先明确两个关键点：Dart里Set的“无序”是接口层面的契约，而非所有实现的特性；.first和.last属性来自Set继承的Iterable接口。

1. 为什么Set标注“无序”但有顺序相关属性？ #

Dart的Set是一个抽象接口，它的契约是不保证元素的迭代顺序——也就是说，符合Set接口的类可以选择是否保留顺序。但实际上Dart提供了几种Set实现：

• LinkedHashSet：默认通过Set字面量{}创建，会保留元素插入顺序
• HashSet：基于哈希表实现，迭代顺序完全由哈希值决定，无固定顺序
• SplayTreeSet：会按元素的自然排序（或自定义比较器）来维护顺序

而Iterable是所有集合类的共同父接口，它定义了.first、.last、.forEach等遍历相关的方法和属性——只要一个类能被迭代，就可以使用这些成员。Set作为Iterable的子类，自然继承了这些属性，不管它的底层是否保证顺序。

2. .first/.last的实际行为 #

这两个属性的返回值完全取决于当前Set实现的迭代顺序：

• 对于LinkedHashSet：.first返回第一个插入的元素，.last返回最后一个插入的元素
• 对于HashSet：每次运行返回的.first/.last可能都不一样，完全没有规律
• 对于SplayTreeSet：.first返回排序后的最小元素，.last返回排序后的最大元素

举个代码例子看差异：

import 'dart:collection';

void main() {
  // 默认LinkedHashSet，保留插入顺序
  var linkedSet = {2, 1, 3};
  print(linkedSet.first); // 输出2
  print(linkedSet.last); // 输出3

  // HashSet，无固定顺序
  var hashSet = HashSet<int>()..addAll([2,1,3]);
  print(hashSet.first); // 可能输出1、2或3，不确定
  print(hashSet.last); // 同样不确定

  // SplayTreeSet，按自然排序
  var sortedSet = SplayTreeSet<int>()..addAll([2,1,3]);
  print(sortedSet.first); // 输出1
  print(sortedSet.last); // 输出3
}

3. 有效使用方法 #

• 依赖顺序时明确指定实现：如果你需要保留插入顺序，不要仅依赖默认Set字面量（虽然当前是LinkedHashSet，但未来不排除变化），直接声明LinkedHashSet，避免依赖实现细节。
• 仅用于获取任意元素：当你只需要从非空Set中取出一个元素（比如判断非空后取元素做操作），用.first比手动遍历更简洁，但不要假设它的具体值，除非你确定Set的实现类型。
• 避免在有序场景使用普通Set的.first/.last：如果你的逻辑依赖元素的顺序，一定要用LinkedHashSet或SplayTreeSet，不要用HashSet或默认Set（除非你确认默认实现符合需求）。

内容的提问来源于stack exchange，提问作者Siavash TS