css -::first-letter 与 :first-child 有何不同(伪类与伪元素)

Question

来自 W3C 标准对伪元素的定义 https://www.w3.org/TR/selectors-3/#pseudo-elements :

Pseudo-elements create abstractions about the document tree beyond those specified by the document language. For instance, document languages do not offer mechanisms to access the first letter or first line of an element’s content. Pseudo-elements allow authors to refer to this otherwise inaccessible information.

(我的重点。)

为什么文档语言确实允许检测第一个子元素(因此 :first-child 是一个 css 伪类)但不是 的第一个字母(这样 ::first-letter 是一个 css 伪元素)？应该如何理解这种“文档语言”？

本质上问题是:为什么选择第一个元素与选择第一个字母不同？为什么文档语言可以检索到一个而不能检索另一个？

我不是在问伪类和伪元素之间的一般区别，而是在具体问为什么第一个字母在概念上不同于第一个子元素。其他伪元素不那么令人困惑:例如 ::after 和 ::before 是伪元素是相当明显的，因为它们与不是的“空间”相关在html结构中定义。但是第一个字母是，所以为什么这样的第一个字母仍然被区别对待的问题。

Answer 1

在最典型的 CSS 用例中，文档语言指的是 HTML。文档树(在整个选择器中提到)是指从标记构建的 DOM 树。

伪元素是基于现有布局生成的东西。也就是说，必须首先根据应用于 DOM 树中元素的 CSS 构建和呈现布局。这不能仅通过文档语言、标记来完成。

例如，您会注意到 ::first-letter 伪元素仅适用于 block 状容器盒。没有办法知道一个元素(或其后代)是否会有一个 ::first-letter 伪元素，直到它被确定为一个 block 容器框(唯一一种可以直接包含的框内联内容流)，这是由 CSS 而不是 HTML 决定的。作为一个更具体的例子:

<p>Hello world!

默认情况下，p 元素是display: block。这导致了一个 block 盒，它是一种 block 容器盒。但即便如此，这个默认值是使用 CSS 实现的。如果您要使用以下 CSS 规则覆盖该默认值:

p {
  display: inline;
}

这个元素然后变成一个行内框，p::first-letter 将不再对它有任何影响。

直觉上，与 block 框(或任何其他类型的框)相比，确定内联框的第一个字母似乎仍然微不足道，但是一旦您在同一个内联格式化上下文中有多个内联框，事情就会变得相当复杂相互交流。

::first-line 更加清晰:不仅不可能知道元素文本的第一行格式化行有多长，直到您格式化行，但是当您调整元素及其内容的大小和/或重排时，该行的内容和长度也可以更改。

相比之下，:first-child 之类的树结构伪类独立 与布局的 DOM 中的元素匹配。无需渲染任何东西，浏览器可以立即判断哪个元素是其父元素的第一个子元素。您所需要的只是元素的 DOM 树，这意味着您需要的所有信息都可以从文档语言、标记中检索到。例如，以下片段中 ol 的第一个子元素总是相同的无论您对其应用什么 CSS:

<ol>
  <li>First
  <li>Second
  <li>Third
</ol>