非容器中的被收容者和球拍中的黑客合同

如何解决非容器中的被收容者和球拍中的黑客合同

序言：我真的不知道我在做什么。我是球拍和编程的新手。我是一个学习缓慢的人。

我安装了DrRacket，并且搞砸了“ racket / gui / base”。

我想将容器容纳到不是容器的对象中。

合同阻止我这样做。

我的第一个想法是找到打破合同或修改合同的方法。

1. 这是一个富有成效的途径吗？
2. 会花太长时间吗？

我开始阅读：https://docs.racket-lang.org/guide/contract-boundaries.html

1. 考虑到以下问题，是否浪费时间？

例如，假设我要在菜单中而不是菜单项中放置按钮。

1. 在上述情况下如何避免合同违约？

2. 我可以将该解决方案归纳为（至4），还是特定于那些对象？

3. 我可以在球拍中投掷物品以避免这种合同问题吗？

解决方法

弄清楚合同是什么很重要。就像法律合同一样，Racket的合同有两件事：

• 他们告诉合同的所有当事方，他们必须做什么才能遵守合同；
• 他们告诉合同的所有当事方作为合同的结果他们可以承担的。

这两个方面都很重要，但是第二个方面更重要。例如，考虑阶乘函数：

(define (factorial n)
  (if (= n 0)
      1
      (* n (factorial (- n 1)))))

这一切似乎都很好：

> (factorial 10)
3628800
> (factorial 100)
93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000

除了一切都不好，

> (factorial 12.2)

有一个很长的停顿，然后在某个时刻Racket内存不足。

好吧，那是因为当我写factorial时，我对阶乘函数的域和范围的理解是这样的：对于此版本的阶乘函数，其域是自然数（整数大于（或等于0），并且其范围是大于或等于1的整数。实现严重依赖于自然数的属性：自然数n为零，或者如果您从中减去1多次，则该数为零。

当我打电话给factorial时，我用一个不在其域中的号码来呼叫它，但它不知道，因此它只是无法终止。好吧，我们可以通过为factorial提供合同来解决此问题。我将通过直接在函数而不是模块级别提供协定来做到这一点，因为这意味着我必须少输入：

(define/contract (factorial n)
    (-> natural-number/c (integer-in 1 #f))
    (if (= n 0)
        1
        (* n (factorial (- n 1)))))

现在

> (factorial 10)
3628800
> (factorial 12.2)
; factorial: contract violation
;   expected: natural-number/c
;   given: 12.2
;   [...]

现在有一份合同可以保护factorial免受我的侵害。不幸的是，它也保护它免受自身的侵害；每次调用自己时，都必须忠实地检查自己的合同。好吧，我们可以避免这种情况：

(define/contract (factorial n)
  (-> natural-number/c (integer-in 1 #f))
  (define (floop m r)
    (if (= m 0)
        r
        (floop (- m 1) (* r m))))
  (floop n 0))

在factorial之内，我可以承担有关合同的事情，而不必费力检查。

除了我犯了一个错误：

> (factorial 10)
; factorial: broke its own contract
;   promised: exact-positive-integer?
;   produced: 0

因此，factorial上的合同现在可以保护 me 免受错误的实现。我编写的使用factorial的代码可以安全地假定其返回值将是一个大于或等于1的整数。我当然可以解决这个问题：

(define/contract (factorial n)
  (-> natural-number/c (integer-in 1 #f))
  (define (floop m r)
    (if (= m 0)
        r
        (floop (- m 1) (* r m))))
  (floop n 1))

好的，所以这是一个很长的序言：

• 合同对当事各方施加义务；
• 合同允许其当事方做出假设。

尤其是，几乎可以肯定的情况是，容器做出假设，认为放入其中的对象是容器，并且具有容器的行为，因为它们知道已签订合同这就是事实。

如果您设法以某种方式规避了该合同，那么将发生的事情是该容器仍将假定它是真实的，并且仍将进行相同的假设。结果将是某种灾难：如果您幸运的话，您会得到错误；如果您不幸运的话，屏幕上只会出现垃圾，或者程序会崩溃（或者，最糟糕的是，不会崩溃，但用废话填满它的记忆。）

因此，答案很简单：该合同存在是有原因的，如果您想将某物放入容器，则需要确保它是一个被容器，并且它并不是在作为一个被容器–而是在说谎。需要正确地实际实施容器的行为，因为（几乎可以肯定）容器将依靠该行为来工作。那就是合同的目的。

,

例如，假设我要在菜单中而不是菜单项中放置按钮。

在这种情况下，答案是您的追求不是富有成果的途径。

菜单对象背后的想法是持有“东西”，它将被发送到底层GUI以便在屏幕上绘制。各种GUI（macOS，Linux，Windows）不允许在菜单中绘制任意元素，因此Racket中的GUI层必须检查菜单是否仅包含有意义的菜单项。假设您设法绕过了合同检查器，并通过了一个按钮作为菜单项。最终，该菜单项将从Racket GUI层传递到操作系统，这时您将遇到错误-很可能是崩溃（程序因核心转储而暂停）。

按顺序说：合同到位以确保菜单项是放置在菜单中的有意义的东西。这样可以防止您意外地将错误类型的对象存储在菜单中。