打印 `NSRect` 参数传递给 lldb 中的 Cocoa 方法

Question

为了调试 macOS 程序，我需要打印传递给-[NSView:setNeedsDisplayInRect:]的NSRect 。 我可以在该方法中设置断点，但我无法打印它的参数。

NSRect “本质上”是一个由四个double组成的结构。 为了演示这个问题，我编写了一个独立的小程序。 它使用 Xcode 12.5 编译，并在配备 M1 处理器的 Mac mini 上运行。

#include <stdio.h>

typedef struct {
    double a;
    double b;
    double c;
    double d;
} MyRect1;

typedef struct {
    double a;
    double b;
    double c;
    long d;
} MyRect2;

void foo(MyRect1 rect) {
    printf("%f\n", rect.a);
}

void bar(MyRect2 rect) {
    printf("%f\n", rect.a);
}

int main(int argc, const char * argv[]) {
    MyRect1 rect1 = { 1, 2, 3, 4 };
    MyRect2 rect2 = { 1, 2, 3, 4 };
    foo(rect1);
    bar(rect2);
    return 0;
}

ARM 64 位架构 (AArch64) 的过程调用标准指出

如果参数类型是大于 16 字节的复合类型，则将参数复制到调用者分配的 memory，并将参数替换为指向副本的指针。

因此，我希望foo()和bar()都以指向结构的指针作为单个参数来调用。 在bar()中设置断点并将第一个参数转换为MyRect2 *确实会产生预期的结果：

(lldb) bt
* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 1.1
  * frame #0: 0x0000000100003e94 argtest2`bar(rect=(a = 1, b = 2, c = 3, d = 4)) at main.c:22:29
    frame #1: 0x0000000100003f34 argtest2`main(argc=1, argv=0x000000016fdff428) at main.c:29:9
    frame #2: 0x000000019871d430 libdyld.dylib`start + 4
(lldb) expr -- *(MyRect2 *)$arg1
(MyRect2) $0 = (a = 1, b = 2, c = 3, d = 4)

但是，这不适用于foo()中的MyRect1 ：

lldb) bt
* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 1.1
  * frame #0: 0x0000000100003e64 argtest2`foo(rect=(a = 1, b = 2, c = 3, d = 4)) at main.c:18:29
    frame #1: 0x0000000100003f1c argtest2`main(argc=1, argv=0x000000016fdff428) at main.c:28:9
    frame #2: 0x000000019871d430 libdyld.dylib`start + 4
(lldb) expr -- *(MyRect1 *)$arg1
error: Couldn't apply expression side effects : Couldn't dematerialize a result variable: couldn't read its memory

请注意，两个结构具有相同的大小（32 字节），并且仅在最后一个成员中有所不同。

问题：如果该参数是NSRect类型（或任何其他四个双精度结构），我如何打印传递给 lldb 中 function 的参数？

Answer 1

在你的结构中长期切换双倍实际上很重要。 四个双精度的结构是同构浮点聚合，而三个双精度和一个长的结构是复合类型，它们有不同的传递规则。 如果合适（如您所见），前者将在浮点寄存器中传递，而后者则在堆栈中传递。

顺便说一句，如果您想读取传递给没有调试信息的 function 的值，最好在执行“函数序言”之前停止。 function 序言（尤其是在优化代码中）通常会从其原始位置复制寄存器并重用它们，因此序言之后的寄存器 state 将不再反映调用约定。

但是，在序言中，函数的调试信息通常不准确。 没有技术上的原因不能，但是我知道没有编译器跟踪序言，除非您实际上正在调试编译器 output ，否则该代码区域并不是非常有趣。 所以对于带有调试信息的代码，在序言执行后停止会更方便，这是 lldb 的默认设置。

要切换该默认值，请将--skip-prologue 0添加到您的break set命令中。