Java dict String ，List<String> 转换 dict <String , int> stream int 是List<String> size

在Java中，如果你有一个字典（Map）类型`Map<String, List<String>>`，并且你想将其转换成另一个键值对形式的`Map<String, Integer>`，其中键不变，值是对应列表的大小，你可以通过流(Stream)操作来完成。下面是一个示例：

import java.util.*;
import java.util.stream.Collectors;

// 假设你有如下的map
Map<String, List<String>> stringListDict = new HashMap<>();
stringListDict.put("key1", Arrays.asList("val1a", "val1b"));
stringListDict.put("key2", Arrays.asList("val2a"));

// 使用stream转换
Map<String, Integer> intDict = stringListDict.entrySet().stream()
        .collect(Collectors.toMap(
                Map.Entry::getKey,
                entry -> entry.getValue().size()));

System.out.println(intDict); // 输出：{key1=2, key2=1}