问题[macros](coding)

我有这个宏：

(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。

有点挣扎，所以决定寻求帮助。首先，介绍一下背景。我从事金属增材制造的工艺监控工作。我从每一层获取灰度光学断层扫描图像，强度变化可能表示存在缺陷（或跨多层的缺陷簇表示存在缺陷）。我正在尝试编写一个宏来帮助我执行以下操作：

• 创建与我的样本所在位置相对应的 ROI
• 根据默认算法之一对图像进行阈值设置
• 循环遍历单个图像的 ROI 并运行分析粒子
• 收集我拥有的每幅图像中每个 ROI 的计数（明亮粒子）
• 汇总文件夹中所有图像的每个 ROI 的计数数量

我设法列出了大多数要点，但未能将 ROI 名称合并到摘要中（列出计数的地方），也未能总结所有图像中每个 ROI 的计数数量。摘要窗口的图像，我努力将 ROI 合并到其中，显示计数数量，我现在非常笨拙的方法是保存每个图像的每个摘要，手动重命名 ROI，并编写更笨拙的 Excel 宏来汇总图像中的计数。

这里还有原始数据集的一小部分链接。2

希望能得到一些关于如何更好地简化这一过程的反馈。我搜索并尝试了 ChatGPT，但没有取得太大成功。

这是某一层的原始图像。来自某一层的光学断层扫描。 这是显示检测到的粒子的阈值图像，我想要计算每个 ROI 内的粒子数量。带有 ROI 的阈值图像。 最后，我想要获得一个文本（csv、excel 或类似文件）文件，该文件总结了正在分析的图像中每个 ROI 的计数量。 这是之前的 Excel 工作表的图像，其中我有几个 ROI、相应的测试件名称以及不同阈值操作的计数汇总量。以前总结的示例。

这是我当前的代码：

#@ File (label = "Input directory", style = "directory") input
#@ File (label = "Output directory", style = "directory") output
#@ String (label = "File suffix", value = ".tif") suffix


processFolder(input);
setBatchMode(true);

// function to scan folders/subfolders/files to find files with correct suffix
function processFolder(input) {
    list = getFileList(input);
    list = Array.sort(list);
    for (i = 0; i < list.length; i++) {
        if(File.isDirectory(input + File.separator + list[i]))
            processFolder(input + File.separator + list[i]);
        if(endsWith(list[i], suffix))
            processFile(input, output, list[i]);
    }
}

function processFile(input, output, file) {
    // Do the processing here by adding your own code.
    // Leave the print statements until things work, then remove them.
    print("Processing: " + input + File.separator + file);
    print("Saving to: " + output);

    //opening the image
    open(input + File.separator + file);
    filename_pure = File.nameWithoutExtension;
    
    //preparations
    roiManager("reset");
    run("Clear Results");
    saving_prefix = output + File.separator + filename_pure;
    
    //get the image name
    title = getTitle();
    
    //load ROI
    roiManager("Open", "C:\\Users\\riabov\\OneDrive - Chalmers\\höganäs and phd\\printing\\dynamiq\\al-case\\ot\\analysis\\dynamiq-al-roi.zip");
    
    //set an auto threshold and binarize
    setAutoThreshold("Yen dark no-reset");
    run("Convert to Mask");
    
    //run the ROI-macro
    c= roiManager("count");
        for (i = 0; i < c; i++) {
            roiManager("Select", i);
            run("Analyze Particles...", "  show=Nothing display summarize composite");
            }
            roiManager("show all without labels");

    //saving
    //save the results window as a comma-separated-value file
    saveAs("Results", saving_prefix + "_results.csv"); //use saveAs command to save results
    //save the image
    saveAs("tiff", saving_prefix + "_ROI.tif"); //use saveAs command to save an image
    
    
    //Clean-up
    run("Close All");
}

在 Common Lisp 中我定义了这个宏：

(defmacro gen-update-func (func-name table id keyparam)
  `(defun ,func-name (db ,id)
     (let ((data))
       (keyparams ,keyparam)

       (clsql:update-records ',table
                 :database db
                 :where [= ',id id]
                 :av-pairs data))))

我这样称呼它：

(gen-update-func add-sp spender spenderid (vorname name))

macroexpand-1 返回以下内容：

(defun add-sp (db spenderid)
  (let ((data))
    ;(keyparams (vorname name))
    (clsql-sys:update-records 'spender :database db :where [= 'spenderid id]
                              :av-pairs data)))

这是预料之中的。

当我调用它时，它将行“:where [=',id id]”解析为：

:WHERE SPENDENDB::[= 'SPENDENDB::SPENDERID SPENDENDB::ID]

这是错误的。我想插入 [= 字面意思，而不使用 SPENDENDB::。这是有意为之：

:WHERE [= 'SPENDENDB::SPENDERID SPENDENDB::ID]

我怎样才能实现这个目标？

语法 [= ... ] 是来自 clsql 的特殊 SQL 语法。

这是一个非常简单的可运行的Scheme宏，运行在MIT/GNUScheme 12.1上：

1 ]=> (define-syntax example
        (syntax-rules () 
          ((_) 'ok)))

;Value: example

1 ]=> (example)

;Value: ok

但是，使用名称定义相同的宏if会产生错误：

1 ]=> (define-syntax if
        (syntax-rules () 
          ((_) 'ok)))

;Premature reference to reserved name: if
;To continue, call RESTART with an option number:
; (RESTART 1) => Return to read-eval-print level 1.

我以前从未使用过Scheme 宏，但我的印象是Scheme 没有“保留”名称，并且Scheme 中的任何名称都可以重新定义。事实上，重新定义if为正常过程可以按预期工作：

1 ]=> (define (if) 'ok)

;Value: if

1 ]=> (if)

;Value: ok

我浏览了参考手册中有关宏的部分（https://www.gnu.org/software/mit-scheme/documentation/stable/mit-scheme-ref/Macros.html），但我找不到问题的原因。

是否有内部操作syntax-rules导致此失败？

更新1

本地重新定义if使用let-syntax作品：

1 ]=> (let-syntax ((if (syntax-rules () ((_) 'ok))))
        (if))

;Value: ok

我仍然不确定为什么define-syntax不起作用。

更新2

可以使用宏隐藏其他内置关键字：

1 ]=> (define-syntax define (syntax-rules () ((_) 'ok)))

;Value: define

1 ]=> (define)

;Value: ok

1 ]=> (define-syntax set! (syntax-rules () ((_) 'ok)))

;Value: set!

1 ]=> (set!)

;Value: ok

1 ]=> (define-syntax lambda (syntax-rules () ((_) 'ok)))

;Value: lambda

1 ]=> (lambda)

;Value: ok

1 ]=> (define-syntax cond (syntax-rules () ((_) 'ok)))

;Value: cond

1 ]=> (cond)

;Value: ok

有趣的是，你甚至可以重新定义define-syntax：

1 ]=> (define-syntax define-syntax (syntax-rules () ((_) 'ok)))

;Value: define-syntax

1 ]=> (define-syntax)

;Value: ok

但是，尝试重新定义关键字syntax-rules会遇到与重新定义类似的错误if（注意：我启动了一个新的 REPL，因为最后一个宏被遮蔽了define-syntax）：

1 ]=> (define-syntax syntax-rules (syntax-rules () ((_) 'ok)))

;Premature reference to reserved name: syntax-rules
;To continue, call RESTART with an option number:
; (RESTART 1) => Return to read-eval-print level 1.

我试图在宏中使用 nnkDotExpr 并收到错误。具体来说，我正在尝试编写一个宏，它将编写一个返回特定字段的过程。我尝试了三种方法，但似乎都失败了，我不知道为什么。

这是我的代码。

import macros 

type
    Test_Type = object of RootObj
        Name_HIDDEN: string

macro Name_MacroA*(vType: untyped): untyped =
    var tName = nnkDotExpr(ident("self"), ident("Name_HIDDEN"))
    
    quote do:
        proc Name*(self: var `vType`): string =
            return `tName`

macro Name_MacroB*(vType: untyped): untyped =
    var tName = newNimNode(nnkDotExpr)
    tName.add(ident("self"))
    tName.add(ident("Name_HIDDEN"))

    quote do:
        proc Name*(self: var `vType`): string =
            return `tName`

macro Name_MacroC*(vType: untyped): untyped =
    var tName = nnkDotExpr.newTree(ident("self"), ident("Name_HIDDEN"))

    quote do:
        proc Name*(self: var `vType`): string =
            return `tName`

Name_MacroB(Test_Type)

var tTest: Test_Type
tTest.Name_HIDDEN = "Hello"
echo tTest.Name

当我使用 Name_MacroA 时，出现错误：

Error: attempting to call routine: 'nnkDotExpr'
  found 'nnkDotExpr' [enumField declared in /usr/local/Cellar/nim/2.0.0_1/nim/lib/core/macros.nim(45, 5)]

Name_MacroA 尝试匹配 Nim Macros中 nnkDotExpr 引用中的代码。

当我使用 Name_MacroB 或 Name_MacroC 时，出现错误：

template/generic instantiation of `Name_MacroB` from here test4.nim(17, 20) Error: undeclared identifier: 'self'
candidates (edit distance, scope distance); see '--spellSuggest': 
 (2, 4): 'del'
 (2, 4): 'ref'
 (2, 4): 'send'

Name_MacroB 是尝试匹配Nim Macros中的代码

Name_MacroC 是尝试匹配来自Nim Macros 的代码

在这里，我尝试编辑 1920x1080 到 1366x768 的宏设置（im 使用 rn） 如果在 1920x1080 中，x=1621 且 y=71 如何将 xy 值转换为我的分辨率 1366x768？