Question

下面的代码“编译”，但无法正常运行：

(defstruct (image-info
             (:conc-name img-)
             (:constructor %make-img-info (&key file))
             (:print-function print-img-info))
  (file nil :type string)
  (gd-image nil :type (or cl-gd::image null))
  (size '(0 . 0) :type cons)
  (position '(0 . 0) :type cons))

(defun print-img-info (info stream level)
  (declare (ignore level))
  (let ((size (img-size info))
        (pos (img-position info)))
    (format stream "~s[width: ~d, height: ~d, x: ~d, y: ~d]"
            (img-file info)
            (car size) (cdr size) (car pos) (cdr pos))))

(defun make-img-info (path)
  (let ((image (cl-gd:create-image-from-file path))
        (info (%make-img-info :file path))) ; <--- problem here
    (setf (img-gd-image info) image
          (img-size info)
          (cons (cl-gd:image-width image)
                (cl-gd:image-height image))) info))

SBCL正确推断出%make-img-info的参数类型，如下所示：

(describe '%make-img-info)
SPRITESHEET::%MAKE-IMG-INFO
  [symbol]

%MAKE-IMG-INFO names a compiled function:
  Lambda-list: (&KEY (FILE NIL))
  Declared type: (FUNCTION (&KEY (:FILE STRING))
                  (VALUES IMAGE-INFO &OPTIONAL))

但是当我尝试编译make-img-info时，我得到了这个：

  note: deleting unreachable code
  warning: 
    Derived type of PATH is
      (VALUES CL-GD::IMAGE &OPTIONAL),
    conflicting with its asserted type
      STRING.

我正在将正确的参数（字符串）传递给此函数，但它仍然无法调用它，因为它“相信”它必须是cl-gd:image。我怀疑问题是布局是按字母顺序排列的，并且gd-image在列表中file之前出现......但是我该如何解决这个问题呢？我真的不想重命名这个领域吗？

Answer 1

现在我相信这是一个与SLIME有关的故障，SBCL在编译结构时不能很好地协作。我不能始终如一地重现这种行为，但它偶尔会发生在其他结构中，所以有时我需要杀死SLIME和SWANK，重新启动SBCL并重新编译，因为只重新编译结构的相关部分是行不通的。

我没有删除这个问题，因为如果有人会遇到类似的行为，也许这会有助于重启Lisp，所以这种体验很有用。

结构布局：无法使构造函数设置我需要的字段

1 个答案: