无法理解sbcl中“row-major-ref”的定义

Question

该定义来自sbcl的src / code / array.lisp。它看起来像一个无限循环？我没有找到任何线索得到它。任何提示？谢谢！

(defun row-major-aref (array index)                                                  |
  #!+sb-doc                                                                          |
  "Return the element of array corressponding to the row-major index. This is        |
   SETF'able."                                                                       |
  (declare (optimize (safety 1)))                                                    |
  (row-major-aref array index))       

Answer 1

在src/compiler/array-tran.lisp中，您还可以找到以下代码：

(deftransform row-major-aref ((array index))
  `(hairy-data-vector-ref array
                          (%check-bound array (array-total-size array) index)))

我不是SBCL内部的专家，但我认为row-major-aref被编译器视为“基本”操作，不会简化为其他Lisp函数调用，而是转换为机器代码。