無視される空白

[2] 分離子 s (= SPACE / RE / RS / SEPCHAR ;; (5) ) は無視されます。 (5.2.1)

つまり、

• 文書要素の外で、他のマークの一部ではない空白
• タグの中で、属性値表記の一部ではない空白
• 内容モデルが要素内容である要素内の空白
  • 例えば、 HTML の head 要素の内容であって、子要素・子マークの一部ではない空白。
  • ?? マークの最小化の影響で一見これに該当しても無視されない (データタグとかになる) 空白はあり得るか否か?
• 現対応表によって対応付けされておらず、 区切子として認知できるもの (8.4.6)

は無視されます。

[3] 内容の中で、 (ISO8879 7.6.1, JIS 6.6.1, 参考 3 3.3.3 も参照。)

• RS はマークとして解釈できなければ無視する。
• すべての参照の置換・マークの認知の後に残る RE は、
  1. 要素の最初の RE は、その直前に RS, データ又は真の部分要素がなければ、無視する。
     • <e>REfoo</e> -> foo
     • <e>RSREfoo</e> -> RSREfoo -> REfoo
     • <e>dataREfoo</e> -> dataREfoo
     • <e><pSub/>REfoo</e> -> <pSub/>REfoo
     • <e><add/>REfoo</e> -> foo
     • <e><!>REfoo</e> -> <!>foo
  2. 要素の最後の RE は、その直後にデータ又は真の部分要素がなければ、無視する。
  3. RS 又は RE の直後に位置しない RE は、その前にデータ又は真の部分要素がなければ、無視する。
     • fooREbar -> fooREbar
     • <!>RE<!>REbar -> bar
     • <e><pSub/>REREfoo</e> -> <pSub/>REREfoo
     • <e>REREfoo</e> -> foo
  4. 以上に該当しない場合は、データとする。
  • [4]

RE をデータとするかどうかの判定は、 マークの認知の過程で行う。マークの認知に、 タグの省略の認知を含めて、 (1)〜(3)に従って RE か無視できるかどうかの判定に先立って行う。 この手順では、

  (quote | #PCDATA)*

のように、要素の内容のどこにでもデータが現れ得る通常の場合、 直感に合った結果が得られる。しかしながら、

  (x, #PCDATA)

のように、内容モデルがデータの現れ得る位置に制限を課す場合には、 (1)又は(2)の状況がマークの認知の最中に誤りとなることがある。 このような内容モデルは、通常必要としないので、推奨しない (10.2.4 参照)。

[5] >>3 の例 (JIS X 4151 より):

RS1 record 1 <outer><sub> RE1
RS2 record 2 </sub> RE2
RS3 </outer> record 3 RE3

で、要素 outer について考える。 RE1 及び RS2 は子要素内にあるので、 ここでは考えないことになる。従って、 RE2 が内容の最初の RE である。

さて、 sub が真の部分要素であるなら、 この RE2 はデータとなるが、 添加要素であれば、前にデータも真の部分要素も無いので、 無視される。

要素 sub について、最初の RE は RE1 である。 その前にはデータも真の部分要素も無いので、無視する。

[6] 添加要素とか真の部分要素とか、なんでこんなややこしい規則があるんだろう?

[21] >>6 参考3 3.3.1 参照。それっぽいことが書いてある。 (処理指令だけの記録を無視するとか。)

[7] >>3 の続き。 RE は、それに続く最初のデータ又は真の部分要素の直前に位置するものとして扱います。 つまり、その間に他のマークがある場合、その後に位置するものとします。 ずなわち、 <e>fooRE<!>bar</e> -> foo<!>REbar, <e>fooRE<add/>bar</e> -> foo<add/>REbar。 (なんでこんな面倒な規則があるんだろう?)

[22] 参考3 3.3.1 の例で、

<p>
最初のデータ
<?処理指令1>
<?処理指令2>
最後のデータ
</p>

と

<p>最初のデータ
<?処理指令1><?処理指令2>最後のデータ</p>

は同値って書いてある。で、 >>7 によれば更に

<p>最初のデータ<?処理指令1><?処理指令2>
最後のデータ</p>

と同値と解釈されるのか?

[8] なお、 >>3-8 で、「データ」として扱うのは通常の意味のデータのほかに、 特定文字データ実体, 非SGML実体, SGML部分文書実体も含んでいます。処理指令実体は含みません。 これについては直感とおおむね一致する動作でしょう。

[9] 参照終了である RE は無視されます (8.4.5)。例えば、

<e>&refRE
RSnon-ref</e>

→ refnon-ref

[26] このわけのわかんない複雑な規則は、 WebSGML で KEEPRSRE YES にしている場合には適用されません。 混合内容中の全ての空白は、 データ文字節としてグローブ中に含まれ、 要素内容中の全ての空白は、 s分離子節としてグローブ中に含まれます。 (K.3.8.2 参照。)

マーク最小化と空白

[3] データタグ雛形と内容との照合は、その内容の マークの認知及び参照の解決を行った後で、 RS および RE を無視する前に行います。 (6.3.2)

表記の中の空白と正規化

• 属性値//正規化
• 最小表記

[18] 引数表記には、それ自体には空白と正規化についての規定はありません。

実体参照・文字参照

[15] 文字参照には数値文字参照と名前文字参照があります。 前者は常にデータとして、後者は生の文字と同等として扱われます。 (8.5)

例えば、 &ref&#RE; と &refRE は同値で、 &ref; とほぼ同じ意味です。 一方、 &ref&#13; は &ref;&#13; と同値で、後半は SGML 的な意味を持たない単なる文字 0x0D です。

[28] 名前文字参照は生の文字と同等に機能文字として解釈されますが、 区切子の先頭以外を名前文字参照で表すことはできません。 (名無しさん)

[29] ですから、空白を含む短縮参照の途中に文字参照を使うことも、東漸できません。 (nero の直前で区切れがあると見なされるはずです。) もっとも、短縮参照の一部を文字参照で表そうとするのは普通では考えられないです。 (名無しさん)

<!ENTITY ref "&#RE;something">
 ...
<e>&#RS;&ref;foo</e>
<!-- ここで、 &#RS;&ref; はそれと同値な
     短縮参照とします。 -->

内容中の空白の保持 — Web SGML

[24] WebSGML K.3.8.2 では、新しい他機能 KEEPRSRE を定義しています。

SGML宣言でこの機能を YES にすると、 ISO8879:1986 7.6.1 == JIS X 4151‐1992 6.6.1 == >>3,>>7 は無視されます。 つまり、混合内容中の全ての空白は、データ文字節としてグローブに含まれ、 要素内容中の全ての空白は、 s分離子節としてグローブに含まれます。

なお、この機能が影響するのは要素内容の空白だけです。 属性値表記などでの規則は変化しません。

[25] XML の xml:space 辺りとこの機能が関連しているといえます。

[27] >>25 XML は常に KEEPRSRE YES で、 xml:space は単に応用水準の情報 (構文解析には関係しない) ですから、直接は関係ないですね。 (名無しさん)

メモ

[30] IRC logs: freenode / #whatwg / 20130221 ( (2013-02-26 21:20:52 +09:00 版)) <http://krijnhoetmer.nl/irc-logs/whatwg/20130221>

[11] Breaking: stop treating alpha and alphanumeric as mass nouns (annevk著, 2017-02-04 03:52:58 +09:00) <https://github.com/whatwg/infra/commit/4707bf7b3d8b5b6314ee3dabd29856011eebbb00>