f# - 在 F# 中从 char 隐式转换为 char[]？

Question

为什么 String.Split 接受一个 char，尽管它需要一个 char[]

let c = '.' // char
"aa.bb".Split(c) // works! although Split requires char[]

从 char 到 char[] 的隐式类型转换并不能解释它，如下所示:

let f (cs : char[]) = ()

f('a') // error: expected char[]

Answer 1

String.Split 并不完全将 char[] 作为参数。它实际上需要一个 params char[]。结果，编译器做了一些神奇的事情，只用一个 char 就可以进行调用。