Pandoc中Header构造函数的正确使用方式

在Pandoc文档处理系统中，理解Inline元素和Block元素的区别对于编写有效的Lua过滤器至关重要。最近有用户报告了一个关于pandoc.Header构造函数的使用问题，这实际上反映了对Pandoc文档模型的基本理解。

元素类型的基本区分

Pandoc将文档元素分为两大类：

1. Inline元素：构成段落内部内容的元素，如Strong、Emph等
2. Block元素：构成文档整体结构的元素，如Header、Para等

这种区分决定了元素之间的替换规则：Block元素不能直接替换Inline元素，反之亦然。

实际案例分析

用户试图将<strong>标签（Inline元素）直接转换为<h1>标题（Block元素），这是不被允许的。正确的做法应该是：

1. 首先匹配包含特定Inline元素的Block元素（如Para）
2. 然后检查该Block元素的子元素是否符合转换条件
3. 最后进行适当的元素替换

解决方案实现

要实现将"仅包含Strong元素的段落"转换为标题的功能，可以使用以下Lua过滤器逻辑：

function Para(element)
    -- 检查段落是否只包含一个Strong元素
    if #element.content == 1 and element.content[1].t == "Strong" then
        -- 提取Strong元素的内容创建Header
        return pandoc.Header(1, element.content[1].content)
    end
    -- 其他情况保持原样
    return element
end

深入理解文档转换

这种转换方式体现了Pandoc处理文档的核心思想：保持文档结构的完整性。直接替换不同类型的元素会破坏文档的层次结构，因此Pandoc强制要求开发者遵循类型系统的规则。

对于更复杂的转换场景，开发者需要：

1. 仔细分析源文档结构
2. 明确区分Inline和Block元素
3. 设计符合类型规则的转换路径

通过这种方式，可以确保文档转换既实现预期效果，又保持文档结构的有效性。理解这些基本原则是编写高质量Pandoc过滤器的关键。