F# 抽象类构造函数参数验证代码无法编译问题咨询

• F# 中 if 属于表达式而非语句，必须返回确定类型的值，do 代码块要求所有分支最终返回 unit 类型
• 你现有代码只有 recordType < 0s 成立时的分支：invalidArg 是抛出异常的特殊函数，返回通用底层类型 'a，可适配任意返回类型
• 缺少条件不成立的分支时，编译器无法确定整个 if 表达式的返回类型，因此抛出缺少 else 分支的报错，加 null 不匹配是因为 null 不属于 unit 类型，不符合 do 块的返回要求。

你只需要补充返回 ()（F# 的 unit 类型空值）的 else 分支即可，同时注意 invalidArg 函数还需要传入第二个错误描述参数，完整可运行代码如下：

[<AbstractClass>]
type Record(recordType: int16) =
    let recordType: int16 = recordType

    do
        if recordType < 0s then
            invalidArg (nameof recordType) "记录类型不能为负数"
        else
            ()

你代码中重复的 let recordType: int16 = recordType 绑定是多余的，F# 主构造函数的参数如果在类型作用域内使用，会自动生成对应的私有存储字段，可以直接简化为：

[<AbstractClass>]
type Record(recordType: int16) =
    do
        if recordType < 0s then
            invalidArg (nameof recordType) "记录类型不能为负数"
        else
            ()
    // 后续类成员可以直接使用 recordType 参数

如果有多个参数验证规则，也可以把验证逻辑拆分为独立的私有函数统一调用，代码可读性更高。

内容的提问来源于stack exchange，提问作者Maurdekye