数字剪影

跳转运算符

6 min read

深入理解 ImHex Pattern：$ 与 @ 的“时空跳转”奥秘

在 ImHex 的 Pattern 语言中，最让初学者困惑的莫过于 美元符号 ($) 和 放置操作符 (@)。它们不仅控制着数据的解析位置，还在不同的“作用域”下表现出完全不同的行为逻辑。

本文将为你揭开这两个操作符背后的设计逻辑。

一、 核心定义

  1. $ (Dollar Operator)：

    • 本质：当前的逻辑游标（Offset）。
    • 作用：代表解析器当前正在读哪个字节。你可以读取它获取地址，也可以修改它（如 $ += 1）来跳过字节。

  2. @ (Placement Operator)：

    • 本质：强制定位符。
    • 作用：告诉解析器：“别管现在游标在哪，去指定的这个地址读取数据。”

二、 全局 vs 结构体：双重行为标准

这是最容易踩坑的地方：同样的 @ 符号，在全局和结构体内部表现是不一样的。

1. 全局作用域：单向跳转（Jump & Stay）

在文件的最顶层（全局）定义变量时，使用 @ 会永久改变游标位置。

#pragma base_address 0x00
 
std::print($); // 结果：0
u32 x @ 0x10;  // 游标跳转到 0x10 读 4 字节，结束后停在 0x14
std::print($); // 结果：14
  • 逻辑：全局解析是顺序执行的。既然你让解析器去 0x10 读东西，读完后它就自然地停留在那里，等待下一条指令。

2. 结构体作用域：弹性跳转（Out-of-line Fields）

在 struct 内部使用 @，会触发 ImHex 的“弹性机制”。

struct Body {
    u32 name;       // 假设起始于 0x50，读完后游标在 0x54
    u32 type;       // 读完后游标在 0x58
    
    u32 data @ 0x08;// 【关键】出差读取：飞到 0x08 读数据，读完后游标“弹回” 0x58
    
    u32 tail;       // 这个变量依然从 0x58 开始读取
};
  • 逻辑：结构体是为了描述一个逻辑实体的。为了不破坏结构体成员在物理地址上的连续性，ImHex 规定：带有 @ 的成员变量（行外字段）不会占用当前结构体的线性空间。
  • 形象理解：这是一个“传送门”。解析器分身去远方取了个数据带回来，但本体依然站在原地排队。

三、 为什么需要这种设计？

这种“逻辑归属”与“物理位置”的分离，是解析复杂二进制文件的神技：

  • 逻辑正确性：某些数据（如顶点数据）物理上存放在文件头，但逻辑上属于文件尾的一个模型对象。通过在模型 struct 内部使用 @ 引用文件头，可以让 ImHex 的 Pattern Data 树状视图 保持整齐的父子关系。
  • 空间复用：它允许同一个字节被不同的结构体成员重复引用，而不影响游标的线性推进。

四、 进阶：手动控制与模式搜索

当你掌握了 $ 的手动修改和 @ 的定位，你就可以编写“搜索器”：

struct PatternSearcher {
    // 探测当前字节是否为特征码 0xCD
    u32 test = std::mem::read_unsigned($, 1);
    
    if (test != 0xCD) { 
        $ += 1;    // 没找到，手动推进 1 字节
        continue;  // 结束当前实例，进入下一个循环
    }
    
    // 找到了！在当前位置 ($) 解析 Command 结构体
    Command command @ $; 
    
    // 手动跳过这个结构体，准备找下一个
    $ += sizeof(Command);
};
 
// 用 while 循环覆盖整个 0xFFFF 空间
PatternSearcher search[while($ < 0xFFFF)] @ 0x00;

这里的关键点：

  • 如果不使用 @ $ 而是直接写 Command command;，游标会自动增加。
  • 使用 Command command @ $; 配合显式的 $ += sizeof(Command); 给了开发者绝对的控制权，这在处理包含对齐、填充或非线性分布的数据时至关重要。

五、 总结备忘录

特性全局作用域 (Global)结构体作用域 (Struct)
@ 的效果跳转并停留抓取并弹回 (Out-of-line)
游标影响修改全局 $ 进度不影响结构体后续成员的起始位置
典型用途定义文件头、指定绝对入口引用碎片化数据、逻辑归档
手动修改 $常用，用于跳过大段无关数据常用，用于实现自定义搜索或对齐

博文小结：在 ImHex 中，代码的层级决定了看起来像什么，而 $ 与 @ 决定了读的是哪里。

Graph View