如何用dartz库从键值对构造IMap？及FoldableOps传参方法

从普通键值对快速构造IMap #

如果已经有普通的Dart Map，用下面两种方法最简便：

• 使用IMap.of()直接转换普通Map：

  import 'package:dartz/dartz.dart';
  
  void main() {
    final regularMap = {'name': 'Alice', 'age': 25};
    final iMap = IMap.of(regularMap);
    print(iMap); // 输出: IMap({"name": "Alice", "age": 25})
  }
  

• 使用IMap.from()，和of逻辑相近，同样支持普通Map输入：

  final iMap = IMap.from({'x': 10, 'y': 20, 'z': 30});
  

用IMap.fromPairs处理Iterable<Tuple2<K,V>> #

针对你提到的fromPairs构造函数，核心是用FoldableOps.iterable()来包装你的键值对集合，再配合键的排序规则Order<K>。

示例代码如下：

import 'package:dartz/dartz.dart';

void main() {
  // 准备由Tuple2组成的键值对集合
  final keyValuePairs = [
    Tuple2('a', 1),
    Tuple2('b', 2),
    Tuple2('c', 3),
  ];

  // 指定键的排序规则：这里用String类型的默认比较逻辑
  final keyOrder = Order<String>();

  // 用FoldableOps.iterable()包装Iterable，传入构造函数
  final iMap = IMap.fromPairs(FoldableOps.iterable(), keyOrder, keyValuePairs);
  
  print(iMap); // 输出: IMap({"a": 1, "b": 2, "c": 3})
}

关键说明 #

• FoldableOps.iterable()是Dartz为Iterable类型提供的默认Foldable实现，让fromPairs能够遍历处理你的键值对集合。
• Order<K>用于定义键的比较规则，保证IMap内部的有序性（IMap是有序不可变映射）。对于int、String这类基本类型，直接用Order<K>()即可；如果是自定义类型，需要自己实现比较逻辑：

  class Product {
    final String sku;
    Product(this.sku);
  }
  
  // 基于sku字段比较Product类型的Order
  final productOrder = Order<Product>((a, b) => a.sku.compareTo(b.sku));
  
  final productPairs = [
    Tuple2(Product('sku001'), 'Laptop'),
    Tuple2(Product('sku002'), 'Phone'),
  ];
  
  final productIMap = IMap.fromPairs(FoldableOps.iterable(), productOrder, productPairs);
  

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