f# - F# 强制重载 System.String.Format

Question

我想格式化一个字符串，使用System.String.Format它有5个重载：

String String.Format(String format , Object arg0 )
String String.Format(String format , Object arg0 , Object arg1 )
String String.Format(String format , Object arg0 , Object arg1 , Object arg2 )
String String.Format(String format , params Object[] args )
String String.Format(IFormatProvider provider , String format , params Object[] args )

我想像这样使用第四个重载（采用对象数组的那个）：

let frm = "{0} - {1}"
let args = [| 1; 2 |]
System.String.Format(frm, args)

问题是 args 参数被解释为对象，因此调用了第一个重载。所以正确地我得到以下错误：

System.FormatException: Index (zero based) must be greater than or equal to zero and less than the size of the argument list.

有没有办法强制“正确”过载？

Answer 1

@John 答案的一个更优雅的变体是添加类型注释，以便编译器对数组的所有元素进行自动向上转换：

let frm = "{0} - {1}"
let args : obj [] = [| 1; 2 |]
System.String.Format(frm, args)

Answer 2

您可以通过将数组的每个元素切换为如下对象来强制正确的重载：

let frm = "{0} - {1}"
let args = [| 1:> obj; 2 :>obj|]
System.String.Format(frm, args);;

或者如果您有更长的清单

let frm = "{0} - {1}"
let args = [| 1; 2 |] |> Array.map (fun t ->t:> obj)
System.String.Format(frm, args);;