Рекурсия идёт бесконечно долго и не возвращает значений - PullRequest
Новая
       27

Рекурсия идёт бесконечно долго и не возвращает значений

1 голос
/ 29 мая 2019

Я новичок в clojure. Здесь вы можете увидеть функцию fp_fun. Я использую эту функцию, и она идет до бесконечности. Я думаю, что это не возвращает значения. Пожалуйста, дайте мне знать ответ. Заранее спасибо 

(defn fp_fun
([x y row col vec]

(if (or (< x 0) (< y 0) (>= x row) (>= y col))
  0)
(if (= vec[x y] "@") 
1)
(if (= vec[x y] "#")
0)

(def x1 (+ x 1))

(def y2 (- y 1))
(if (= ( (fp_fun x y2 row col vec)) 1  )
1)
(if (= ( (fp_fun x1 y row col vec)) 1  ) 
1)

1)
(println "!" x y)
0
) )

1 Ответ

3 голосов
/ 29 мая 2019

Для начала я применю автоформатер emacs, затем давайте разберемся, что означает каждое выражение здесь 

(defn fp_fun
  ([x y row col vec]
   (if (or (< x 0)
           (< y 0)
           (>= x row)
           (>= y col))
     0)
   (if (= vec[x y] "@")
     1)
   (if (= vec[x y] "#")
     0)
   (def x1 (+ x 1))
   (def y2 (- y 1))
   (if (= ( (fp_fun x y2 row col vec)) 1  )
     1)
   (if (= ( (fp_fun x1 y row col vec)) 1  )
     1)
   1)
  (println "!" x y)
  0) )

Изначально это не скомпилируется, потому что после основного тела функции есть два дополнительных выражения.

Существует две основные формы выражения в clojure, которые определяют функции, которые они выглядят в основном как 

((defn [args here]
   expression-that-returns-the-result-of-this-function-here)

вторая форма, если существует несколько способов вызова этой функции с разными номерами аргументов 

(defn
  ([one-arg]
   result-expression-here)
  ([fist-arg second-arg]
   other-result-expression-here))

то, что у вас есть, немного, поэтому давайте удалим два последних выражения: 

 (println "!" x y)

и 

0

что оставляет нас с 

(defn fp_fun
  ;; this function always takes 5 args, so prefer the basic form
  ([x y row col vec]

   ;; this first expression does absolutly nothing and it totally ignored
   (if (or (< x 0)
           (< y 0)
           (>= x row)
           (>= y col))
     0)

   ;; this next expression is also ignored, only the last value in a function determines it's result
   (if (= vec[x y] "@")
     1)

   ;; so this one does nothing as well
   (if (= vec[x y] "#")
     0)

   ;; these two define some global variables
   ;; using def inside a function is almost always better done with a let expression
   (def x1 (+ x 1))
   (def y2 (- y 1))

   ;; this will always run because none of the above statements cause the function to
   ;; stop and return it's value early.
   (if (= ( (fp_fun x y2 row col vec)) 1  )
     1)

   ;; and  then the stack will overflow before we get here
   (if (= ( (fp_fun x1 y row col vec)) 1  )
     1)
   1))

Далее мы можем вкладывать выражения так, чтобы более ранние из них могли контролировать результат функции: 

 (defn fp_fun [x y row col vec]
   (if (or (< x 0)
           (< y 0)
           (>= x row)
           (>= y col))
     0
     (if (= (vec x y) "@")
       1
       (if (= (vec x y) "#")
         0
         (let [x1 (+ x 1)
               y2 (- y 1)]
           (if (= (fp_fun x y2 row col vec) 1)
             1
             (if (= (fp_fun x1 y row col vec) 1)
               1)))))))

Я надеюсь, что это даст вам структуру для построения вашей функции, важная часть в том, что каждая функция возвращает ровно один результат, то есть результат, возвращаемый последним выражением в функции. Поэтому обычно в этом выражении есть другие вложенные выражения.

По мере того, как мы добавляем больше выражений if, оно начинает выглядеть немного глубоко вложенным, и существует общий шаблон if, за которым следует =, к счастью, clojure имеет cond, для условного макроса для чистого выражения шаблонов, таких как это 

 (cond
   (or (< x 0) (< y 0) (>= x row) (>= y col)) 0
   (= (str(get-in board [x y])) "@")          1
   (= (str (get-in board [x y])) "#")         0
   (= (find_path x (- y 1) row col board) 1)  1
   (= (find_path (+ x 1) y row col board) 1)  1
   (and (>= x 0) (< y col))  (if (= (find_path x (+ y 1) row col board) 1)
                               1
                               0)
   :defautl nil) ;; i'm not sure you intended to default to nil
...