1

有时我必须实现自定义拖放等功能。代码可能是这样的：

bool mouse_down = false;
Vec2 mouse_pos;
void on_mouse_down() {
  mouse_down = true;
  mouse_pos = cursor_pos();
}
void on_mouse_move() {
  if(mouse_down) {
    Vec2f c = cursor_pos();
    Vec2f d = c - mouse_pos;
    // dragging. make objects tracing the cursor.
    // ...
  }
}
void on_mouse_up() {
  mouse_down = false;
  // dropped
  // ...
}

我知道这很好用，但我根本不喜欢这样的冗余变量和分离程序。在 IP（命令式编程）中可能是不可避免的；我的问题是，有没有更好的方法来处理 FP（函数式编程）中的这种事情？无论是哪种编程语言、Lisp、Scheme、F#、Ruby 等，还是在 IP 中执行此操作的更好方法，任何想法和建议都会受到赞赏？

4

1 回答 1

1

由于一天没有人尝试回答，我会试一试。我理解您正在讨论的问题，但答案可能取决于操作系统、语言及其运行时库。

一般的想法是，当鼠标按下时，你会产生一个异步计算。这种计算“阻塞”事件，并在获取时在自己的循环中处理它们，做你需要做的事情；它在鼠标按钮向上时存在。虽然这看起来像一个命令式线程，但实际上，当计算被“阻塞”时，它只会控制它从哪里开始（大概是调用鼠标按下事件的主 GUI 线程）。通过这种方式，状态被封装到看起来像是计算的词法本地范围内。这种魔法必须由语言的运行时处理，所以这是我们能以一种语言和操作系统无关的方式得到的答案。

至于这种实现的示例，请查看此答案和Tomas Petricek 的文章，两者都在讨论您的问题，但在 Windows、.NET 和 F# 的狭窄设置中。同一位 Perticek 有一本书，Real World Functional Programming: With Examples in F# and C#，令人惊讶的是，在 C# 中表达了相同的想法，通常不被视为函数式语言。如果我没记错的话，第 16 章是你的。

至于在 IP/OO 语言程序中封装状态，您可以在 mouse_down 处理程序中创建一个类的实例。该实例将向运行时注册自身以接收其他鼠标和 UI 事件、处理它们、完成所有工作，并在需要时（鼠标上升或窗口系统取消捕获模式）取消注册并自行销毁。不像函数式语言所允许的那样优雅，但仍然比在通用 UI 类中保持可变状态要好得多。

于 2012-01-17T07:05:51.727 回答