在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即可进行调用。