使用 F# 的可选参数和选项类型

Question

考虑以下代码：

type Test () =
  member o.fn1 (?bo) = 1
  member o.fn2 (?bo) = o.fn1 bo

  member o.fn3 (?bo) = 1 + bo.Value
  member o.fn4 (?bo) = o.fn3 bo

虽然 fn1 和 fn2 工作正常，但 fn4 会产生以下错误：

init.fsx(6,30): 错误 FS0001: 该表达式的类型应为 int，但此处的类型为“a option”

MSDN 指出：

可选参数被解释为 F# 选项类型，因此您可以通过使用具有 Some 和 None 的匹配表达式，以查询选项类型的常规方式查询它们。

对我来说，可选参数不会被解释为 F# 选项类型，否则代码会编译。此外，我不明白为什么，当我将鼠标悬停在 fn3 中的 ?bo 上时，工具提示显示 val bo: int option 但从外部只期望 <代码>int。我期望一种不接受任何内容、int、Some int 和 None 的行为。最后一点，我不明白为什么 fn2 有效，但 fn4 无效。

感谢您的澄清

Answer 1

我必须重新考虑正确答案。基于这个问题（和答案）：

传播可选参数

似乎正确的答案如下：

type Test () =
  member o.fn1 (?bo) = 1
  member o.fn2 (?bo) = o.fn1 bo

  member o.fn3 (?bo) = 1 + bo.Value
  member o.fn4 (?bo) = o.fn3 (?bo = bo)

这是一个简洁的功能，答案请访问 desco！

Answer 2

1. fn2 之所以有效，是因为 fn1 不使用其参数，因此它是通用的 'b 选项。

   类型测试 () =
      成员 o.fn1 (?bo1) = 1 --> bo1: 'b 选项，这里 'b = 'a 选项
      member o.fn2 (?bo) = o.fn1 bo -->bo: '一个选项
   

2. fn4 抱怨传递给 fn3 的参数应该是 int，而不是 int option 因为当您指定参数时，您的当然需要传入一个特定的。但您可以选择省略该参数。 fn3 的定义/类型签名不知道您是否指定了 bo，因此它是一个 int 选项。请注意，您可能有以下用法：

   类型测试 () =
      成员 o.fn1 (?bo) = 1
      成员 o.fn2 (?bo) = o.fn1 bo
   
      成员 o.fn3 (?bo) = 
      匹配博与
        |一些v-> 1 + bo.值
        |无 -> 1
   
      成员 o.fn4 (?bo) = o.fn3()
   

您没有为 fn3 指定参数，但指定它时，它是一个具体的 int，而不是 int 选项。

考虑一个具有三个参数的绘图函数：

let plot(?x,?y,?color)

因为参数是可选的，所以您可以有以下用法：

plot(data)
plot(y=data)
plot(x=data, color='r')

但不是：

plot(Some data)
plot(y=Some data)
plot(x=Some data, color=Some 'r')

Answer 3

F# 不需要匹配来传递可选参数。
使用绘图示例：

type Plotter() =
    static member Plot(?x,?y,?color) = 
        printfn $"{x}, {y}, {color}" // Do something "plottish" here

type PlotUser() =
    static member MyPlotUser(?x, ?y, ?color) =
        Plotter.Plot(?x = x, ?y = y, ?color = color)

/// Perform calls
PlotUser.MyPlotUser(10) // => Some(10), , 
PlotUser.MyPlotUser(10, color = "Green") // => Some(10), , Some(Green)

上面的示例允许您使用自己的可选参数调用绘图。
/JEE，夏普#Soft