marked 中 GFM 表格后的行内代码解析nptable 行延续规则与块级中断机制【免费下载链接】markedA markdown parser and compiler. Built for speed.项目地址: https://gitcode.com/gh_mirrors/ma/marked在 markedA markdown parser and compiler. Built for speed的 GFMGitHub Flavored Markdown模式下表格是一种特殊的块级结构它不仅以分隔行结束还会贪婪吞并后续既不属于中断块、也不是新块开头的行将其作为新的表格数据行渲染。本文以仓库测试规格 test/specs/new/inlinecode_following_nptables.md 为骨架结合 src/rules.ts、src/Tokenizer.ts 与 src/Renderer.ts 的源码实现讲清表格后紧跟一行行内代码这一边界场景的解析行为、底层正则机理以及与缩进代码块、引用块等真正能中断表格的块级元素之间的区别帮助你精准预判 marked 的输出结果。一、测试规格原文一个 5 行的边界用例关联文档 test/specs/new/inlinecode_following_nptables.md 全文只有 5 行abc | def --- | --- bar | foo baz | boo hello这是 marked 仓库test/specs/new/目录下的一个 GFM 规格用例前 4 行构成一个**不带两端管道符non-piped**的 GFM 表格abc | def为表头、--- | ---为对齐分隔行、bar | foo与baz | boo为两行数据第 5 行hello是一行行内代码。根据同目录下的期望输出文件 test/specs/new/inlinecode_following_nptables.htmlmarked 的实际输出并非表格 一个独立pcodehello/code/p段落而是把hello并入表格成为第三行数据table thead tr thabc/th thdef/th /tr /thead tbody tr tdbar/td tdfoo/td /tr tr tdbaz/td tdboo/td /tr tr tdcodehello/code/td td/td /tr /tbody /table注意两个关键细节第 5 行的行内代码被完整保留了行内语义输出为codehello/code而不是原样文本表格只有 2 列所以hello进入第一列第二列输出为空单元格td/td。这个用例文件以.md.html成对存放的形式出现在test/specs/new/目录中属于 marked 自建的新增规格测试区别于commonmark/、original/、redos/等其它测试集由 test/run-spec-tests.js 统一加载校验。二、背景GFM 表格是非 CommonMark扩展表格并非 CommonMark 规范的一部分。在 marked 的块级语法规则中普通模式CommonMark下表格规则被显式关闭见 src/rules.ts 第 121 行的注释与第 206 行的定义.replace(/\|table/g, ) // table not in commonmarkconst blockNormal { ... table: noopTest, // 普通模式下表格不参与匹配 };只有 GFM 模式gfm: true才会启用gfmTable正则src/rules.ts 第 216-228 行const gfmTable edit( ^ *([^\\n ].*)\\n // Header {0,3}((?:\\| *)?:?-:? *(?:\\| *:?-:? *)*(?:\\| *)?) // Align (?:\\n((?:(?! *\\n|hr|heading|blockquote|code|fences|list|html).*(?:\\n|$))*)\\n*|$) // Cells ) .replace(hr, hr) ... .replace(html, /?(?:tag)(?: |\\n|/?)|(?:script|pre|style|textarea|!--))GFM 表格的正则分三段Header^ *([^\n ].*)\n匹配表头行Align分隔行{0,3}((?:\| *)?:?-:? *(?:\| *:?-:? *)*(?:\| *)?)匹配由连字符和可选冒号组成的对齐行表头与分隔行都可以不带两端管道Cells(?:\n((?:(?! *\n|hr|heading|blockquote|code|fences|list|html).*(?:\n|$))*)\n*|$)贪婪匹配随后的所有数据行。其中Cells 段的正则负向前瞻(?! *\n|hr|heading|blockquote|code|fences|list|html)正是理解本文主题的钥匙它声明了一组会中断表格的块级元素——空行、水平线、ATX 标题、引用块、缩进代码、围栏代码、列表、HTML 块。除此之外的任何行包括行内代码、普通文本、链接、强调等都会被当作表格的数据行继续吞入。三、源码级原理为什么hello不会中断表格3.1 中断名单里没有行内代码回到 src/rules.ts 中gfmTable的 Cells 段中断名单是hr|heading|blockquote|code|fences|list|html。行内代码反引号对应的行内语法并不在其中——它既不是{4}缩进的代码块code分支要求行首 4 空格或 Tab也不是 围栏fences分支所以负向前瞻通过hello这一行被 Cells 段的正则.*(?:\n|$)匹配为新的表格行。这正是测试用例 inlinecode_following_nptables.md 想要锁定的行为行内代码不构成表格的中断条件紧贴表格的hello行会被并入表格。3.2 分割单元格与行内解析表格 token 化在 src/Tokenizer.ts 的table(src)方法第 543-599 行中完成table(src: string): Tokens.Table | undefined { const cap this.rules.block.table.exec(src); ... const headers splitCells(cap[1]); const aligns cap[2].replace(this.rules.other.tableAlignChars, ).split(|); const rows cap[3]?.trim() ? cap[3].replace(this.rules.other.tableRowBlankLine, ).split(\n) : []; ... for (const row of rows) { item.rows.push(splitCells(row, item.header.length).map((cell, i) { return { text: cell, tokens: this.lexer.inline(cell), // 单元格内容继续走行内解析 header: false, align: item.align[i], }; })); } }要点数据行按行拆分后由splitCells(row, item.header.length)依据表头列数切分单元格因此hello与bar | foo的切分结果一致超过列数的内容不溢出而不足列数时后面的单元格留空对应输出中的td/td每个单元格文本都要经过this.lexer.inline(cell)再做一次行内解析所以反引号hello被正确渲染为codehello/code而不是字面字符。3.3 渲染阶段src/Renderer.ts 的table(token)方法第 94-129 行负责生成最终的 HTMLtable(token: Tokens.Table): RendererOutput { let header ; for (const j in token.header) { header this.tablecell(token.header[j]); } ... let body ; for (const k in token.rows) { const row token.rows[k]; let cell ; for (const j in row) { cell this.tablecell(row[j]); } body this.tablerow({ text: cell as ParserOutput }); } return table\n thead\n token.header.map((cell) this.tablerow(cell)).join() /thead\n tbody\n body /tbody\n /table\n as RendererOutput; }被并入表格的hello行同样走tablerow/tablecell最终得到trtdcodehello/code/tdtd/td/tr与期望输出一致。四、对照实验什么才能真正中断表格为了确认中断名单的语义marked 仓库在test/specs/new/下准备了一组同主题的对照用例可直接交叉验证紧跟表格的内容期望行为测试规格行内代码hello不中断并入表格成为新数据行inlinecode_following_nptables.md带两端管道的表格 行内代码同样并入表格管道版对照inlinecode_following_tables.md4 空格缩进的代码块a simple中断表格缩进代码成为独立precode块code_following_nptable.md引用块 a blockquote中断表格成为独立blockquoteblockquote_following_nptable.md逐个对照期望输出见各.html同名校验文件4.1 缩进代码块可以中断表格code_following_nptable.md 在表格后紧跟a simple4 空格缩进期望输出为表格后接独立的precodea simple\n *indented* code block/code/pre。原因是 Cells 段负向前瞻中的code分支展开为(?: {4}| {0,3}\t)[^\n]src/rules.ts 第 223 行恰好匹配 4 空格缩进行——单元格收集因此终止。4.2 引用块可以中断表格blockquote_following_nptable.md 在表格后紧跟 a blockquote期望输出为blockquotepa blockquote/p/blockquote独立成块。这同样对应 Cells 段负向前瞻中的blockquote分支{0,3}第 222 行。4.3 行内代码与管道变体的对照inlinecode_following_tables.md 验证了带两端管道|的标准 GFM 表格写法下行为完全一致hello仍并入表格。它和 nptable 变体共用同一份gfmTable正则Header/Align 段中\|?使管道可选因此结论不受是否书写管道符影响。五、判读规则与工程启示5.1 记住这张判读表在实际编写 Markdown 时判断表格是否会被后续内容打断只需对照gfmTableCells 段的中断名单中断表格空行、---水平线、#ATX 标题、引用、4 空格/Tab 缩进代码、/~~~ 围栏代码、列表*/-/1.、HTML 块type 6/7不中断表格并入成为新行普通文本、行内代码、行内强调、行内链接、图片、反斜杠转义等一切行内级内容。一个实用推论如果你希望hello之类的行内代码独立成段必须在表格与它之间插入空行。空行命中 Cells 段的*\n负向前瞻分支表格在空行处结束随后的行内代码才能独立成pcode.../code/p。5.2 在代码中复现与验证本仓库的规格测试由 test/run-spec-tests.js 驱动它以test/specs/下各子目录commonmark/、gfm/、new/、original/、redos/的.md文件为输入将 marked 的渲染结果与同名.html期望文件逐字节比对。因此 inlinecode_following_nptables.md 这类用例既是文档也是可回归执行的测试——任何对gfmTable正则或tabletokenizer 的改动都会在这里被即时校验。若想在应用代码里直接观察该行为可用gfm: true默认开启调用 markedimport { marked } from ./src/marked.ts; const md [ abc | def, --- | ---, bar | foo, baz | boo, hello, ].join(\n); console.log(marked.parse(md)); // table.../table其中第三行数据为 tdcodehello/code/tdtd/td说明上述推理均可通过本仓库源码核实——gfmTable定义见 src/rules.ts 第 216-228 行表格 token 化与单元格行内解析见 src/Tokenizer.ts 第 543-599 行HTML 输出见 src/Renderer.ts 第 94-129 行。本文未涉及 CommonMark 模式下表格规则的差异table: noopTest关闭如需对比可查阅 src/rules.ts 第 194-208 行。六、小结一个只有 5 行的规格用例背后是 marked 对 GFM 表格块级贪婪 行内延续设计的完整体现表格由表头、对齐行、数据行三段正则构成数据行通过负向前瞻维护一张中断名单空行、hr、heading、blockquote、code、fences、list、html行内代码不在名单内因此紧跟表格的hello行被吞并为新数据行经splitCells按列切分、lexer.inline行内解析后输出codehello/code缩进代码块、引用块等命中中断名单的块级元素则会让表格正常收尾需要行内代码独立成段时在表格后补一个空行即可。理解这张中断名单就能精准预测 marked 在表格边界上的任何输出——这正是 inlinecode_following_nptables.md 及其系列对照用例沉淀下来的知识。【免费下载链接】markedA markdown parser and compiler. Built for speed.项目地址: https://gitcode.com/gh_mirrors/ma/marked创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 marked 中 GFM 表格后的行内代码解析：nptable 行延续规则与块级中断机制
marked 中 GFM 表格后的行内代码解析nptable 行延续规则与块级中断机制【免费下载链接】markedA markdown parser and compiler. Built for speed.项目地址: https://gitcode.com/gh_mirrors/ma/marked在 markedA markdown parser and compiler. Built for speed的 GFMGitHub Flavored Markdown模式下表格是一种特殊的块级结构它不仅以分隔行结束还会贪婪吞并后续既不属于中断块、也不是新块开头的行将其作为新的表格数据行渲染。本文以仓库测试规格 test/specs/new/inlinecode_following_nptables.md 为骨架结合 src/rules.ts、src/Tokenizer.ts 与 src/Renderer.ts 的源码实现讲清表格后紧跟一行行内代码这一边界场景的解析行为、底层正则机理以及与缩进代码块、引用块等真正能中断表格的块级元素之间的区别帮助你精准预判 marked 的输出结果。一、测试规格原文一个 5 行的边界用例关联文档 test/specs/new/inlinecode_following_nptables.md 全文只有 5 行abc | def --- | --- bar | foo baz | boo hello这是 marked 仓库test/specs/new/目录下的一个 GFM 规格用例前 4 行构成一个**不带两端管道符non-piped**的 GFM 表格abc | def为表头、--- | ---为对齐分隔行、bar | foo与baz | boo为两行数据第 5 行hello是一行行内代码。根据同目录下的期望输出文件 test/specs/new/inlinecode_following_nptables.htmlmarked 的实际输出并非表格 一个独立pcodehello/code/p段落而是把hello并入表格成为第三行数据table thead tr thabc/th thdef/th /tr /thead tbody tr tdbar/td tdfoo/td /tr tr tdbaz/td tdboo/td /tr tr tdcodehello/code/td td/td /tr /tbody /table注意两个关键细节第 5 行的行内代码被完整保留了行内语义输出为codehello/code而不是原样文本表格只有 2 列所以hello进入第一列第二列输出为空单元格td/td。这个用例文件以.md.html成对存放的形式出现在test/specs/new/目录中属于 marked 自建的新增规格测试区别于commonmark/、original/、redos/等其它测试集由 test/run-spec-tests.js 统一加载校验。二、背景GFM 表格是非 CommonMark扩展表格并非 CommonMark 规范的一部分。在 marked 的块级语法规则中普通模式CommonMark下表格规则被显式关闭见 src/rules.ts 第 121 行的注释与第 206 行的定义.replace(/\|table/g, ) // table not in commonmarkconst blockNormal { ... table: noopTest, // 普通模式下表格不参与匹配 };只有 GFM 模式gfm: true才会启用gfmTable正则src/rules.ts 第 216-228 行const gfmTable edit( ^ *([^\\n ].*)\\n // Header {0,3}((?:\\| *)?:?-:? *(?:\\| *:?-:? *)*(?:\\| *)?) // Align (?:\\n((?:(?! *\\n|hr|heading|blockquote|code|fences|list|html).*(?:\\n|$))*)\\n*|$) // Cells ) .replace(hr, hr) ... .replace(html, /?(?:tag)(?: |\\n|/?)|(?:script|pre|style|textarea|!--))GFM 表格的正则分三段Header^ *([^\n ].*)\n匹配表头行Align分隔行{0,3}((?:\| *)?:?-:? *(?:\| *:?-:? *)*(?:\| *)?)匹配由连字符和可选冒号组成的对齐行表头与分隔行都可以不带两端管道Cells(?:\n((?:(?! *\n|hr|heading|blockquote|code|fences|list|html).*(?:\n|$))*)\n*|$)贪婪匹配随后的所有数据行。其中Cells 段的正则负向前瞻(?! *\n|hr|heading|blockquote|code|fences|list|html)正是理解本文主题的钥匙它声明了一组会中断表格的块级元素——空行、水平线、ATX 标题、引用块、缩进代码、围栏代码、列表、HTML 块。除此之外的任何行包括行内代码、普通文本、链接、强调等都会被当作表格的数据行继续吞入。三、源码级原理为什么hello不会中断表格3.1 中断名单里没有行内代码回到 src/rules.ts 中gfmTable的 Cells 段中断名单是hr|heading|blockquote|code|fences|list|html。行内代码反引号对应的行内语法并不在其中——它既不是{4}缩进的代码块code分支要求行首 4 空格或 Tab也不是 围栏fences分支所以负向前瞻通过hello这一行被 Cells 段的正则.*(?:\n|$)匹配为新的表格行。这正是测试用例 inlinecode_following_nptables.md 想要锁定的行为行内代码不构成表格的中断条件紧贴表格的hello行会被并入表格。3.2 分割单元格与行内解析表格 token 化在 src/Tokenizer.ts 的table(src)方法第 543-599 行中完成table(src: string): Tokens.Table | undefined { const cap this.rules.block.table.exec(src); ... const headers splitCells(cap[1]); const aligns cap[2].replace(this.rules.other.tableAlignChars, ).split(|); const rows cap[3]?.trim() ? cap[3].replace(this.rules.other.tableRowBlankLine, ).split(\n) : []; ... for (const row of rows) { item.rows.push(splitCells(row, item.header.length).map((cell, i) { return { text: cell, tokens: this.lexer.inline(cell), // 单元格内容继续走行内解析 header: false, align: item.align[i], }; })); } }要点数据行按行拆分后由splitCells(row, item.header.length)依据表头列数切分单元格因此hello与bar | foo的切分结果一致超过列数的内容不溢出而不足列数时后面的单元格留空对应输出中的td/td每个单元格文本都要经过this.lexer.inline(cell)再做一次行内解析所以反引号hello被正确渲染为codehello/code而不是字面字符。3.3 渲染阶段src/Renderer.ts 的table(token)方法第 94-129 行负责生成最终的 HTMLtable(token: Tokens.Table): RendererOutput { let header ; for (const j in token.header) { header this.tablecell(token.header[j]); } ... let body ; for (const k in token.rows) { const row token.rows[k]; let cell ; for (const j in row) { cell this.tablecell(row[j]); } body this.tablerow({ text: cell as ParserOutput }); } return table\n thead\n token.header.map((cell) this.tablerow(cell)).join() /thead\n tbody\n body /tbody\n /table\n as RendererOutput; }被并入表格的hello行同样走tablerow/tablecell最终得到trtdcodehello/code/tdtd/td/tr与期望输出一致。四、对照实验什么才能真正中断表格为了确认中断名单的语义marked 仓库在test/specs/new/下准备了一组同主题的对照用例可直接交叉验证紧跟表格的内容期望行为测试规格行内代码hello不中断并入表格成为新数据行inlinecode_following_nptables.md带两端管道的表格 行内代码同样并入表格管道版对照inlinecode_following_tables.md4 空格缩进的代码块a simple中断表格缩进代码成为独立precode块code_following_nptable.md引用块 a blockquote中断表格成为独立blockquoteblockquote_following_nptable.md逐个对照期望输出见各.html同名校验文件4.1 缩进代码块可以中断表格code_following_nptable.md 在表格后紧跟a simple4 空格缩进期望输出为表格后接独立的precodea simple\n *indented* code block/code/pre。原因是 Cells 段负向前瞻中的code分支展开为(?: {4}| {0,3}\t)[^\n]src/rules.ts 第 223 行恰好匹配 4 空格缩进行——单元格收集因此终止。4.2 引用块可以中断表格blockquote_following_nptable.md 在表格后紧跟 a blockquote期望输出为blockquotepa blockquote/p/blockquote独立成块。这同样对应 Cells 段负向前瞻中的blockquote分支{0,3}第 222 行。4.3 行内代码与管道变体的对照inlinecode_following_tables.md 验证了带两端管道|的标准 GFM 表格写法下行为完全一致hello仍并入表格。它和 nptable 变体共用同一份gfmTable正则Header/Align 段中\|?使管道可选因此结论不受是否书写管道符影响。五、判读规则与工程启示5.1 记住这张判读表在实际编写 Markdown 时判断表格是否会被后续内容打断只需对照gfmTableCells 段的中断名单中断表格空行、---水平线、#ATX 标题、引用、4 空格/Tab 缩进代码、/~~~ 围栏代码、列表*/-/1.、HTML 块type 6/7不中断表格并入成为新行普通文本、行内代码、行内强调、行内链接、图片、反斜杠转义等一切行内级内容。一个实用推论如果你希望hello之类的行内代码独立成段必须在表格与它之间插入空行。空行命中 Cells 段的*\n负向前瞻分支表格在空行处结束随后的行内代码才能独立成pcode.../code/p。5.2 在代码中复现与验证本仓库的规格测试由 test/run-spec-tests.js 驱动它以test/specs/下各子目录commonmark/、gfm/、new/、original/、redos/的.md文件为输入将 marked 的渲染结果与同名.html期望文件逐字节比对。因此 inlinecode_following_nptables.md 这类用例既是文档也是可回归执行的测试——任何对gfmTable正则或tabletokenizer 的改动都会在这里被即时校验。若想在应用代码里直接观察该行为可用gfm: true默认开启调用 markedimport { marked } from ./src/marked.ts; const md [ abc | def, --- | ---, bar | foo, baz | boo, hello, ].join(\n); console.log(marked.parse(md)); // table.../table其中第三行数据为 tdcodehello/code/tdtd/td说明上述推理均可通过本仓库源码核实——gfmTable定义见 src/rules.ts 第 216-228 行表格 token 化与单元格行内解析见 src/Tokenizer.ts 第 543-599 行HTML 输出见 src/Renderer.ts 第 94-129 行。本文未涉及 CommonMark 模式下表格规则的差异table: noopTest关闭如需对比可查阅 src/rules.ts 第 194-208 行。六、小结一个只有 5 行的规格用例背后是 marked 对 GFM 表格块级贪婪 行内延续设计的完整体现表格由表头、对齐行、数据行三段正则构成数据行通过负向前瞻维护一张中断名单空行、hr、heading、blockquote、code、fences、list、html行内代码不在名单内因此紧跟表格的hello行被吞并为新数据行经splitCells按列切分、lexer.inline行内解析后输出codehello/code缩进代码块、引用块等命中中断名单的块级元素则会让表格正常收尾需要行内代码独立成段时在表格后补一个空行即可。理解这张中断名单就能精准预测 marked 在表格边界上的任何输出——这正是 inlinecode_following_nptables.md 及其系列对照用例沉淀下来的知识。【免费下载链接】markedA markdown parser and compiler. Built for speed.项目地址: https://gitcode.com/gh_mirrors/ma/marked创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考