F#列表模式匹配出现不完整匹配警告，是写法问题还是语言限制？

警告原因 #

F# 编译器不会对模式匹配中的when守卫子句做逻辑覆盖性校验。你原始代码中g.Length = 1、g.Length > 2这两个守卫条件哪怕逻辑上已经覆盖了所有分组场景（List.groupBy返回的每个分组的元素列表必然非空，长度只能是1、2或大于2），编译器也不会主动识别这一点，因此会判定模式匹配存在遗漏分支，抛出警告。

解决方案 #

你后续调整的写法已经是最优解：直接用列表长度模式代替when守卫：

• 用[_]匹配长度为1的列表，对应无重复的场景
• 用[_; _]匹配长度为2的列表，对应两条重复的场景
• 最后用不带when的兜底分支匹配所有长度大于2的列表，对应重复超过两条的场景

这种写法下编译器可以直接通过模式判定所有分支已经全覆盖，完全消除警告。同时你把List.forall换成List.iter的修改也更合理：原代码中validateDuplicates永远返回true，List.forall没有实际意义，用遍历执行打印操作的List.iter更符合代码的实际逻辑。

如果不想调整原有when守卫的写法，也可以在匹配规则末尾加一个无守卫的通配分支兜底（比如| _ -> failwith "非法分组"），但这种写法存在冗余代码，不如列表模式匹配的方案简洁。

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