[e-(u)pTeX] \iffontchar, \fontcharwd など

aminophen commented 5 years ago

これまた実用上あまり重要ではない話ですが…。

「e-TeX と e-pTeX を比較してドキュメント化しよう」と思ったのですが，フォント関連のプリミティブ（etex_man.pdf に挙がっている 5 つ）について確認させてください。

\iffontchar ⟨font⟩ ⟨8-bit number⟩ \fontcharht ⟨font⟩ ⟨8-bit number⟩ \fontcharwd ⟨font⟩ ⟨8-bit number⟩ \fontchardp ⟨font⟩ ⟨8-bit number⟩ \fontcharic ⟨font⟩ ⟨8-bit number⟩

2011 年のマクロツイーター

には「\jfont、\tfont に対してこれらの命令を用いた場合は \iffontchar と同様にデタラメな結果を返す」との記載がありますが，forum:1452 の時に修正が入っていま🍣，今簡単に試した範囲では以下のようです。

調査結果

共通事項
- ⟨font⟩ には欧文 (\font)，和文横 (\jfont)，和文縦 (\tfont) のいずれも可。
- ⟨8-bit number⟩ は ⟨character code⟩ に拡張される。すなわち 0--255 の範囲内の整数，および和文文字の内部コードが可（不正な数値なら Bad character code エラー）。 … (※)
\iffontchar の挙動
- 欧文フォントの場合： ⟨character code⟩ が TFM に存在すれば真，しなければ偽を返す。
  - 文字コード 256 以上は TFM に存在しえないので自動的に「和文文字コードを与えると必ず偽」となり，e-TeX の素直な拡張とみなせる。
- 和文フォントの場合： 与えられた ⟨character code⟩ を文字タイプとみなし，JFM に文字タイプが存在すれば真，しなければ偽を返す。 … (★1)
\fontcharht, \fontcharwd, \fontchardp, \fontcharic の挙動
- 欧文フォントの場合： ⟨character code⟩ の文字が存在すれば寸法，存在しなければ 0pt を返す。この「存在すれば」は \iffontchar に準ずる。
- 和文フォントの場合： 与えられた ⟨character code⟩ が 256 以上であれば寸法を返し，256 未満であれば 0pt を返す。 … (★2)

\iffontchar の(★1)の挙動は，「数値としては ⟨character code⟩ を受け入れるが，実際は文字タイプとして扱われる」という点にさえ留意すれば，何かに役立つかも？と思います。（強いて言うなら，数値のチェック時に 0--255 しか受け付けないようにすると良いかも，くらい。）

＃そもそも pTeX 系列では「和文フォントについては、その有効な符号空間の全部の文字が、あたかも常に存在するかのように動作」しますから，真面目に ⟨character code⟩ とみなす実装だと「常に真」で，役に立たないはずです。それなら，現状の文字タイプ扱いでもいいじゃないか，という気持ちです。

\fontchar{ht,wd,dp,ic} の(★2)は少々気になります。e-pTeX では問題ないはずですが，e-upTeX だと ⟨°⟩ (U+00B0) や ⟨·⟩ (U+00B7) などの width が 0pt になってしまいます。

%#!euptex
% 現在の和文横組フォントを upjisr-h に
\jfont\x=upjisr-h\x

% 現在の和文フォントに符合位置があるか？
\message{\fontname\x}
\newcount\CNT
\loop\ifnum\CNT<65536\relax
\iffontchar\x\CNT\relax
 \message{\the\CNT}
\fi
\advance\CNT1\relax
\repeat

% 現在の和文横組フォントの寸法
\showthe\fontcharwd\jfont`°\relax % => 0.0pt
\showthe\fontcharwd\jfont"B7\relax % => 0.0pt
\showthe\fontcharwd\jfont`ー\relax % => 10.0pt
\showthe\fontcharwd\jfont`、\relax % => 5.0pt
\showthe\fontcharwd\jfont`（\relax % => 5.0pt
\showthe\fontcharwd\tfont`漢\relax % => 10.0pt

\bye

aminophen commented 5 years ago

与えられた ⟨character code⟩ が 256 以上であれば

eptex.ech#L531 の

    begin if cur_val>=256 then {Japanese Character}

と

    else cur_val:=0;
    end

を，e-upTeX では取っ払うようにすると良い…？

aminophen commented 5 years ago

おっと，cur_val>=256 を is_char_kanji(cur_val) に変えるのが綺麗ですね。

つまり eptex.ech#L531 の

    begin if cur_val>=256 then {Japanese Character}

を

    begin if is_char_kanji(cur_val) then {Japanese Character}

に変える。

aminophen commented 5 years ago

texjporg/tex-jp-build#77 に出しました。

aminophen commented 5 years ago

結局，r51624 で

\iffontchar: 引数が非負のときは is_char_kanji，負数 c のときは文字タイプ -(c + 1) の存在判定 \fontchar??: 引数が負数 c のときは文字タイプ -(c + 1) の存在判定

をコミットしたので，これをドキュメント化しましょう。

aminophen commented 4 years ago

eptex-190709 ブランチ (9eb8cd2) で r51694 ベースで書いてみました。

texjporg / ptex-manual

[e-(u)pTeX] \iffontchar, \fontcharwd など #3

調査結果