inheritance - 传播可选参数

Question

以下代码无法编译。

type A(?arg) =
  member __.Arg : string option = arg

type B(?arg) =
  inherit A(arg) //ERROR expected type string but has type 'a option

我认为这是因为必须提供选项的底层类型的实例，并且编译器处理传递 Some/None基于语法。

假设我的假设已被正确假设，是否有解决方法？是否可以传播可选参数？

Answer 1

F# 规范 8.13.5 方法成员的可选参数

Callers may specify values for optional arguments by using the following techniques:

按名称，例如 arg2 = 1。

通过按名称传播现有的可选值，例如 ?arg2=None 或 ?arg2=Some(3) 或 ?arg2=arg2。这在构建一个将可选参数传递给另一个的方法时很有用。

通过使用按位置匹配的普通未命名参数。

type A(?arg) =
    member __.Arg : string option = arg

type B(?arg) =
    inherit A(?arg = arg) 

printfn "1. %A" (B()).Arg // None
printfn "2. %A" (B("1")).Arg // Some "1"

printfn "3. %A" (A()).Arg // None
printfn "4. %A" (A("1")).Arg // Some "1"