为什么 bigint 在一种情况下编译而不在另一种情况下编译？

Question

我刚开始使用 F#，我发现下面显示的行为令人费解。有什么解释吗？

let bg = bigint 1;;
(* val bg : System.Numerics.BigInteger = 1 *)

let bg = (bigint) 1;;
(* error FS0041: A unique overload for method 'BigInteger' could not be determined based on type information prior to this program point. A type annotation may be needed. Candidates: System.Numerics.BigInteger(value: byte []) : unit, System.Numerics.BigInteger(value: decimal) : unit, System.Numerics.BigInteger(value: float) : unit, System.Numerics.BigInteger(value: float32) : unit, System.Numerics.BigInteger(value: int) : unit, System.Numerics.BigInteger(value: int64) : unit, System.Numerics.BigInteger(value: uint32) : unit, System.Numerics.BigInteger(value: uint64) : unit *)

Answer 1

那是因为过载。看，bigint 实际上是 BigInteger 类的同义词，并且像函数一样应用它会转换为调用构造函数，但是几个构造函数中的哪一个取决于参数的类型。

当您像函数一样应用它时，这很好用：参数的类型是已知的，编译器可以选择适当的重载。但是如果你试图把它当作一个函数值，那么参数就不存在了，编译器也不知道要接受哪个重载。

这是一个更简单的复制：

type T() =
  member static f (s: string) = s
  member static f (i: int) = I

let a = T.f 1 // works
let b = T.f "abc" // works
let c = T.f // doesn't work: which `f` do you mean?

// possible workaround: create non-overloaded wrappers
let fStr (s: string) = T.f s
let fInt (i: int) = T.f i
let a = fStr // works fine
let b = fInt // works fine, too

结论：重载不好，不要用。但是，如果您坚持使用它，那就坚持下去。或者使用解决方法。

---

论括号的作用

（回应评论）

括号告诉编译器：“首先，计算括号内的这个表达式，然后得到结果并用它完成其余的工作”。所以把一个东西放在括号里在语义上等同于给它一个名字，例如：

// Original repro:
let a = (bigint) 5

// Same thing:
let f = bigint
let a = f 5

或者用另一种方式表达相同的想法：因为函数参数不在括号内，它不能用于计算括号内的表达式；并且因为没有参数，所以没有办法解决重载。