AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / user-17814577

Demihm Seinname's questions

Martin Hope
Demihm Seinname
Asked: 2025-03-24 04:57:27 +0800 CST

是否可以通过 macroexpand(-1) 以外的方式清楚地表明 Common Lisp 宏的内部工作原理?

  • 5

我有这个宏:

(defmacro if (test-form &body body)
  (let ((test (gensym)))
    `(let ((,test (cl:if (booleanp ,test-form)
                         (cl-truth ,test-form)
                         ,test-form)))
       (cl:if ,test
              ,@body))))

使用它的结果是:

LO> (if (wordp (wordify ""))
        (print 1)
        (print 0))
NIL

(您可以看到,我在一个由lo组成的包中工作,但在 中。——该函数用于创建对应的 的实例。谓词检查谓词的输出是否为。然后返回第二个值。):usecommon-lispcl:if:shadowwordifymake-worddefstructbooleanp=> TRUE, t=> FALSE, nilcl-truth

macroexpand-1在这里没有用。它返回=> NIL, NIL

如果我尝试考虑可能的输出,我会发现destructuring-bind一个有用的工具:

(destructuring-bind (test-form &body body)
    '((wordp (wordify "")) (print 1) (print 0))
  (let ((test (gensym)))
    `(let ((,test (cl:if (booleanp ,test-form)
                         (cl-truth ,test-form)
                         ,test-form)))
       (cl:if ,test
              ,@body))))

输出为:

(LET ((#:G698
       (COMMON-LISP:IF (BOOLEANP (WORDP (WORDIFY "")))
                       (CL-TRUTH
                         (WORDP (WORDIFY "")))
                       (WORDP (WORDIFY "")))))
  (COMMON-LISP:IF #:G698
                  (PRINT
                    1)
                  (PRINT
                    0)))

结果就是期望的:

1
; No value

print(这是使用princ没有返回值的习惯。)

你能告诉我为什么宏的行为不同吗?

非常感谢。

编辑:

只是添加一个可能更合适的宏版本,但没有解决奇怪的行为。

(defmacro if-c (test-form instructionlist1 &optional instructionlist2)
  (let ((test (gensym)))
    `(let (;; The general Logo testform will return => TRUE, T / FALSE, NIL
           (,test (destructuring-bind (logo &optional cl)
                      (multiple-value-list ,test-form)
                    (cl:if (booleanp logo)
                           cl
                           (error "if doesn't like ~a as input"
                                  logo)))))
       (cl:if ,test
              ,instructionlist1
              ,instructionlist2))))    

编辑2:

我忘了说了:是的,奇怪的行为已经解决了。简单地说,包上方的宏LC并没有在包中展开,LO而是展开了下面的宏:

(defmacro if (test-form &body body)
  ())

LO在我决定将它移至 之前,它是我准备定义它的地方的残留部分LC。

macros
  • 1 个回答
  • 68 Views
Martin Hope
Demihm Seinname
Asked: 2025-03-22 16:33:50 +0800 CST

有没有办法在 Common Lisp 中获得 SLIME-REPL-CLEAR-BUFFER 的效果

  • 7

我曾经在某处读到,我们可以将全局 Emacs 变量设置为T(或者NIL,我不知道)以便(大致)使 Emacs 可以从 Common Lisp 访问。

此信息附带警告,即这可能会产生不良副作用。我想避免这种情况,这就是为什么我把所有信息都记在心里/dev/null。

但是:有没有一种方法,可以让它slime-repl在函数的狭窄上下文中就能被它所承载的 Common Lisp 识别?

我想写一个函数,最好重新绘制整个 Emacs 窗口,就像中slime-clear-screen的效果一样。或者,根据当前窗口大小的行数重复。C-c M-oslime(format t "~%")

所以我想我需要找到一种方法来访问 Emacs 窗口控件或其大小信息。

但是在 Slime/Emacs 键和弦配置请求和 ANSI 转义序列的噪音中,我很难听到有希望的信息。

你知道我需要什么吗?或者更好的是:你知道一个已经提供同等功能的公共库吗?虽然我真的喜欢修修补补,但我也会明确地从大量库中寻找常用或值得推荐的库,以建立一个一致的开源“准标准”库框架。

我非常感谢您的建议。

common-lisp
  • 2 个回答
  • 44 Views

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    重新格式化数字,在固定位置插入分隔符

    • 6 个回答
  • Marko Smith

    为什么 C++20 概念会导致循环约束错误,而老式的 SFINAE 不会?

    • 2 个回答
  • Marko Smith

    VScode 自动卸载扩展的问题(Material 主题)

    • 2 个回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Martin Hope
    Fantastic Mr Fox msvc std::vector 实现中仅不接受可复制类型 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant 使用 chrono 查找下一个工作日 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor 构造函数的成员初始化程序可以包含另一个成员的初始化吗? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský 为什么 C++20 概念会导致循环约束错误,而老式的 SFINAE 不会? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul C++20 是否进行了更改,允许从已知绑定数组“type(&)[N]”转换为未知绑定数组“type(&)[]”? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann 为什么 {2,3,10} 和 {x,3,10} (x=2) 的顺序不同? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve