使用 F# 的显式对象构造函数中的失败

Question

下面的代码

type A (b) =
  new () =
    if true then A 4.
    else failwith ""

给出了一个错误：

这不是有效的对象构造表达式。显式对象构造函数必须调用备用构造函数或初始化对象的所有字段并指定对超类构造函数的调用。

这有效：

type A (b) =
  new () =
    if true then A 4.
    else failwith ""; A 4.

简单的问题。构造函数中的 failwith 有什么不好的地方？

Answer 1

问题本身并不是 failwith 。正如错误所示，非主构造函数受到限制。这是为了鼓励将所有初始化逻辑放在主构造函数中。你的例子看起来很做作。如果您展示更多您正在尝试做的事情，也许有人可以提供解决方案。

下面是重新编写代码的一种方法：

type A (b) =
  new () = A(4.0) then 
    if true then failwith ""

then 的作用类似于非主构造函数中的 do 绑定。

有关更多选项，请参阅有关构造函数的 MSDN 页面。

编辑

kvb 对于具有副作用的主构造函数提出了很好的观点。如果是这种情况，您可能需要考虑将逻辑转移到静态方法。这表明在调用构造函数之前可以完成其他工作。

type A (b) =
  static member Create() =
    if true then failwith ""
    else A(4.0)

Answer 2

您看到的问题并非特定于 failwith；除了构造函数调用之外，任何其他 A 类型的表达式也会发生这种情况，例如 Unchecked.defaultof。正如错误消息所示，构造函数对可在其中使用的表达式类型有限制，以确保类型始终正确初始化。

正如我在对 Daniel 的回答的评论中提到的，如果您想在某些情况下快速失败，您可以执行以下操作：

new() =
    if true then failwith ""
    A 4.0

这将在有机会执行链式构造函数调用之前抛出异常。