计划程序冻结，没有例外

Question

好吧，我在这所大学参加这个计划课程，我们刚刚完成了第一个任务。虽然我遇到了这个奇怪的事情。有时程序会冻结，什么都不做，没有给我任何形式的警告，为什么这是...

采取以下步骤：

(define (calc-week-day y1 m d w y2) ; anta y2 > y1 
    (define (days-between-months m1 m2 y) 
    (if (= m1 m2) 
     0 
     (+ (month-length y m1) (days-between-months (+ m1 1) m2 y)))) 
    (define (days-between-years y1 y2) 
    (if (= y1 y2) 
     0 
     (+ (year-length y1) (days-between-years (+ y1 1) y2)))) 
    (define (days-til-months-end d m y) 
    (- (month-length y m) d)) 
    (define (calculate-day day offset) 
    (cond ((> day 6) (calculate-day 0 (- offset 1))) 
      ((= offset 0) day) 
      (else (calculate-day (+ day 1) (- offset 1))))) 

    (define dager-til-nyttår (+ (days-between-months m 12 y1) 
           (days-til-months-end d 12 y1) 1)) 
    (define dager-fra-nyttår (+ (days-between-months 1 m y2) d 2)) 
    (define dager-mellom-datoer (+ dager-til-nyttår (days-between-years y1 y2) 
           dager-fra-nyttår)) 

    (num->day (calculate-day (day->num w) dager-mellom-datoer))) 

calc-week-day基本上需要两年的时间，其中y2 > y1始终。 m =月，d =日和w =星期几（星期一，星期二...）该函数计算出y1和y2中的同一日期之间的天数差异，并计算出星期几y2中的日期。 ..

此过程不起作用，因为它应该。这实际上不会产生任何输出。但是，如果我从(define dager-fra-nyttår ...)中删除最后一位数字（2），它将工作得很好，并在输出屏幕上生成一周中的某一天（但不是正确的日期）。

任何人都知道这是为什么？ （在Mac OSX Lion上使用Racket 5.2）

Answer 1

这听起来像是你陷入了无限循环。

我的猜测是days-between-months或days-between-years自称无止境。

例如，days-between-months似乎假定m1 < = m2。但是，如果你有m1>m2调用它，它看起来像它会保持一个自称“永远” - 不断地尝试增加m1直到它等于m2，但它永远不会，因为它已经较大。 （好吧，从来没有，或者至少很长一段时间，直到整数值回绕。）

实际上，有两种方法可以解决这个问题。

• 的“防御式编程”方法是将if测试改变从(= m1 m2)到(<= m1 m2)。很多程序员会这样做。

• 的编写可靠的代码方式是说，等一下，这个问题是与呼叫者传递废话值的功能：主叫应该是固定的，而不是默默地隐藏错误的功能。如果你喜欢这种方法，你可以用C这样的语言添加一个assert，或者在这里你可以做一些像(when (> m1 m2) (error))那样的故意引起错误。或者在Racket中，你可以使用contract，如果你试图违反你所要求的条件，它会投诉。

经过多年的编写代码，我更喜欢第二种方法。但是你会从两个方面找到好的论点。这也取决于你所编写的系统的性质，你是否喜欢它对于故障是“脆弱的”，以便你可以找到并修复它们，或者尽可能地混淆它。另外一些人在“调试”版本中采用了脆弱的方法，而对于已发布的产品则采用了宽容的方法。

最后，您的代码会调用一些未在您提供的内容中定义的函数（如month-length和year-length），并且问题可能在那里，而不是我提到的。