球拍数据处理问题:矢量指针无效

时间:2016-04-26 03:16:31

标签: vector functional-programming racket tail-recursion

问题

我有一个编写球拍功能的作业:

  

获取起点,目的地(均为3个字符的机场代码),   和航班数据列表,并返回迟到统计列表   对于从起点到目的地的所有航班,有利弊   cell(origin。destination)作为第一个元素。

数据必须格式化为六个比例,即至少延迟1,15,30,60,120和180分钟的航班比例。

在下面的代码中,我编写了一个尾部递归函数,每次找到匹配的飞行数据时,该函数会增加长度为6的向量中的值。然后,一旦递归检查了数据列表,就会返回一个比例列表。

我收到以下错误,表示达到增量代码时part无效。不应该part指向整个函数中生成的向量吗?

错误

vector-ref: contract violation
  expected: vector?
  given: #<void>
  argument position: 1st
  other arguments...:    3

代码

(require "ontime.rkt")

(define (ontime-stats-by-route orig dest data)
  (define (aux orig dest data part)
    (if (null? data)
        (let ([sum (foldl + 0 (vector->list part))])
          (list (cons orig dest)
                (/ (vector-ref part 0) sum)
                (/ (vector-ref part 1) sum)
                (/ (vector-ref part 2) sum)
                (/ (vector-ref part 3) sum)
                (/ (vector-ref part 4) sum)
                (/ (vector-ref part 5) sum)))
        (if (and
             (eq? orig (car (car (cdr (car data)))))
             (eq? dest (car (cdr (car (cdr (car data)))))))
            (let ([late (car (cdr (cdr (cdr (car data)))))])
              (cond
                [(>= late 180) (aux orig dest (cdr data)
                                    (vector-set! part 5 (vector-ref part 5)))]
                [(>= late 120) (aux orig dest (cdr data)
                                    (vector-set! part 4 (vector-ref part 4)))]
                [(>= late 60) (aux orig dest (cdr data)
                                   (vector-set! part 3 (vector-ref part 3)))]
                [(>= late 30) (aux orig dest (cdr data)
                                   (vector-set! part 2 (vector-ref part 2)))]
                [(>= late 15) (aux orig dest (cdr data)
                                   (vector-set! part 1 (vector-ref part 1)))]
                [(>= late 1) (aux orig dest (cdr data)
                                  (vector-set! part 0 (vector-ref part 0)))]
                [else (aux orig dest (cdr data) part)]))
            (aux orig dest (cdr data) part))))
  (let ([count (make-vector 6 0)])
    (aux orig dest data count)))

(ontime-stats-by-route "BWI" "BDL" ontime)

1 个答案:

答案 0 :(得分:3)

问题是像vector-set!set-box!等变异函数返回#<void>因为它们被用于突变,而不是它们的返回值。这很好,因为它鼓励在功能清晰的代码(您可以根据需要操作和重新排序)和明确命令性代码(您必须更加谨慎)之间进行一些分离。这也是这些函数通常以!结尾的原因。

因此,不应将(vector-set! part ....)作为新part参数传递,而应单独执行此变更,然后将part本身作为参数传递,因为它现在已经突变:

          (cond
            [(>= late 180)
             (vector-set! part 5 (vector-ref part 5))
             (aux orig dest (cdr data) part)]
            [(>= late 120)
             (vector-set! part 4 (vector-ref part 4))
             (aux orig dest (cdr data) part)]
            [(>= late 60)
             (vector-set! part 3 (vector-ref part 3))
             (aux orig dest (cdr data) part)]
            [(>= late 30)
             (vector-set! part 2 (vector-ref part 2))
             (aux orig dest (cdr data) part)]
            [(>= late 15)
             (vector-set! part 1 (vector-ref part 1))
             (aux orig dest (cdr data) part)]
            [(>= late 1)
             (vector-set! part 0 (vector-ref part 0))
             (aux orig dest (cdr data) part)]
            [else
             (aux orig dest (cdr data) part)])

虽然像(vector-set! part 5 (vector-ref part 5))之类的东西根本不会改变索引5的值。您的意思是(vector-set! part 5 (add1 (vector-ref part 5))),假设您说要增加值吗?

          (cond
            [(>= late 180)
             (vector-set! part 5 (add1 (vector-ref part 5)))
             (aux orig dest (cdr data) part)]
            [(>= late 120)
             (vector-set! part 4 (add1 (vector-ref part 4)))
             (aux orig dest (cdr data) part)]
            [(>= late 60)
             (vector-set! part 3 (add1 (vector-ref part 3)))
             (aux orig dest (cdr data) part)]
            [(>= late 30)
             (vector-set! part 2 (add1 (vector-ref part 2)))
             (aux orig dest (cdr data) part)]
            [(>= late 15)
             (vector-set! part 1 (add1 (vector-ref part 1)))
             (aux orig dest (cdr data) part)]
            [(>= late 1)
             (vector-set! part 0 (add1 (vector-ref part 0)))
             (aux orig dest (cdr data) part)]
            [else
             (aux orig dest (cdr data) part)])