F#中::运算符与@运算符在列表操作中的区别是什么？

你遇到的类型报错是因为两个运算符的操作数类型要求完全不同：

:: 运算符（cons） #

• 作用：将单个元素追加到列表的最头部，返回新的列表
• 语法要求：单个元素 :: 同元素类型的列表
• 时间复杂度：O(1)，性能极高
• 正确使用示例：

// 单个字符串"hello"作为左操作数，string类型列表["world"]作为右操作数
let newtest = "hello" :: ["world"]
// 运行结果：["hello"; "world"]

你之前的代码test :: ["world"]报错的原因是，左操作数test是string list类型，不符合「单个元素」的要求，此时编译器会默认要求右操作数为string list list类型才能匹配，但你传入的右操作数是string list类型的["world"]，因此触发类型不匹配错误。如果强制匹配的话，比如你写test :: [["world"]]，最终得到的就是嵌套的列表[["hello"]; ["world"]]，也就是你遇到的列表的列表的情况。

@ 运算符（列表拼接） #

• 作用：拼接两个相同元素类型的列表，返回合并后的新列表
• 语法要求：列表A @ 列表B，A和B的元素类型必须一致
• 时间复杂度：O(n)，n为左侧列表的长度
• 正确使用示例：

let test = ["hello"]
let newtest = test @ ["world"]
// 运行结果：["hello"; "world"]

这也是你修改代码后能正常运行的原因：两个操作数都是string list类型，符合@运算符的类型要求。

选型建议 #

• 如果只是给列表头部添加单个元素，优先使用性能更高的::运算符
• 如果需要合并两个完整的列表，再使用@运算符

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