从选项中类型的方法生成部分应用的函数

Question

假设我正在编写一个 GUI

class Kitteh (val age: Int) {
  require (age < 5)
  def saveMeow(file: File) = { /* implementation */ }
  def savePurr(file: File) = { /* implementation */ }
}

该框架有一个当前 Kitteh 的字段，它是一个 Option 因为它可能尚未定义，或者用户可能尝试创建一个无效的选项：

var currentKitteh: Option[Kitteh] = None

时安全地创建一个 Kitteh

val a = ... // parse age from text box
currentKitteh = try { Some(new Kitteh(a)) } catch { case _ => None }

现在我想在用户点击 Create My GUI 两个按钮可以做类似的事情。在伪代码中，它们都应该

if (currentKitteh.isDefined) {
  if (file on the disk already exists) {
    bring up a dialog box asking for confirmation
    if (user confirms)
       << execute method on currentKitteh >>
  }
}
else bring up warning dialog

不用担心细节：重点是因为存在代码重复，所以我想创建一个可以从两个按钮调用的通用方法。唯一的区别是 Kitteh 上需要执行的方法。

现在，如果 currentKitteh 不是 Option，那么通用方法可以有一个签名，例如

def save(filename: String, f:(File => Unit)) {

我可以使用它来调用，

save("meow.txt", currentKitteh.saveMeow _)

但由于它实际上是一个选项，我该如何实现这？

我可以检查 currentKitteh 是否已定义，并在为每个按钮调用 save 方法之前执行 .get 操作，但是还有另一种方法吗？ >保存方法？换句话说，给定一个 Option[A]，是否可以从（可能不存在的）A 对象上的方法指定部分函数？

（希望这个问题有意义，尽管例子很复杂）

编辑：额外问题：如果我使用 Either[Throwable, Kitteh，而不是 Option[Kitteh]，会怎么样？ ]？

更新：向伪代码添加附加行以弹出警告对话框：理想情况下，应始终调用 save 方法，以便在没有有效的 Kitteh 进行保存时向用户发出警告。

Answer 1

这对我来说看起来是最好的选择：

currentKitteh foreach { c => save("meow.txt", c.saveMeow _) }

如果你重复这样做，你可以抽象它，

def currentSaveMeow(file: String) = currentKitteh foreach { c =>
  save(file, c.saveMeow _)
}
currentSaveMeow("meow.txt")

我想回答你原来的问题，你也可以将逻辑推入函数参数中，

save("meow.txt", file => currentKitten.foreach(_.saveMeow(file)))

语义与这个版本有点不同。

更新。如果将 k: Option[Kitteh] 替换为 k: Either[Throwable, Kitteh]，那么 k.right foreach { c =>; ... }？如果您想保留错误信息，您还可以使用k.right map ...。

---

针对修改后的问题，这里有另一种抽象可能性，

def save(filename: String, f: (Kitteh, File) => Unit)

现在 save 有责任解压 currentKitteh。像这样调用 save ，

save("meow.txt", (k, f) => k.saveMeow(f))

或者像这样，

save("meow.txt", _ saveMeow _)

Answer 2

您可以将一个函数映射到它并 getOrElse 您的失败函数：

def save = 
  o map {s => () => "saved a kitteh! " + s} getOrElse {() => "oh noes, no kittehs!"}

然后您只需：

save()

Answer 3

您可以定义一个 BadKitteh 类并让它产生错误消息。如果您需要的话，只需使用 currentKitty.getOrElse(badKitty) 即可。