Latex3: xparseの「verbatim」引数タイプのcatcodeを文書化し、\ verbを再現する方法を文書化します

あなたが見ているのは、タイプライターフォントの--合字です。 \texttt{--}と書くと、ダッシュも1つ表示されますが、PDFからコピーすると、それが実際にダッシュであることがわかります。 取得した引数を\showtokensフィードするか、 \@noligs使用して確認できます（LaTeXは\verbを使用して-- -- ）：

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{xparse}
\makeatletter
% \NewDocumentCommand {\myverb} { v } { \showtokens{#1} }
\NewDocumentCommand {\myverb} { v } {#1}
\begin{document}
\makeatletter
\ttfamily \<strong i="13">@noligs</strong>
-- and \verb|--all|

- and \myverb{-all}

-- and \myverb{--all}

--- and \myverb{---all}
\end{document}

しかし、xparseのvは逐語的であると想定されており（そうではありませんか？）、LaTeXでは、合字が抑制されたタイプライターを意味するので、私の意見ではvもそうする必要があります。

それは逐語的に取得します（ここでの逐語的なものは\let\do\<strong i="5">@makeother</strong> \dospecials相当します）。 \@noligsは、引数をスキャンするためのcatcodeセットアップに追加できます。 一方、これは（理論的には）catcode-otherトークンしかないアクティブなトークンを挿入するため、引数が植字以外の目的で使用される場合、問題が発生する可能性があります。

おそらく、コマンドが独自のcatcode設定を追加できるようにする方法（次のように）。

\NewDocumentCommand {\myverb} { v{\@noligs} } {#1}

@FrankMittelbach私は<hyphen hyphen>から<endash>結紮は、「引数をつかむバグ」というよりも「フォント機能」です。 また、 \ttfamilyは、「等幅フォント=合字がまったくない」という意味ではありません。 一部の等幅フォントは（コードだけでなく）体型として使用できるため、このような場合はハイフンの合字を抑制しないでください。

しかし、 \NewDocumentCommand {\myverb} { v } {#1}\myverb{--all}は\verb|--all|として動作するはずではありませんか？

@dbitouze —そうではありません。 \ verbには、引数の取得とフォーマットという2つの部分があります。 \ NewDocumentCommandの「v」設定は、前者のみを実行します。

@Phelype —何かが足りない場合を除いて、あなたの提案はこれ以上のことはしませんか？：

\NewDocumentCommand {\myverb} { v } { {\<strong i="9">@noligs</strong> #1} }

その場合は必要ないと思います。 @dbitouzeに戻ると、\ verbを複製する方法は次のようになります。

\ makeatletter
\ NewDocumentCommand {\ myverb} {v} {{\ @noligs \ ttfamily＃1}}
\ makeatother

木には、8時22分に2020年6月25日、デニス・Bitouzé [email protected]
書きました：

しかし、\ NewDocumentCommand {\ myverb} {v} {＃1} \ myverb {-all}は想定されていません
\ verb | --all |として動作しますか？

—

正確には、 vは引数を解析するだけであり、それは読み取られます。
動詞、動詞は、非標準の等幅フォントでコンテンツをタイプセットします
合字を抑制する設定。
したがって、 #1だけでなく、現在のフォントで引数をタイプセットします。
する必要があります

\verbatim@font\<strong i="19">@noligs</strong>
\language\l<strong i="20">@nohyphenation</strong>

\ @noligsが必要とすることを除いて
\ defverbatim @ nolig @ list {\ do` \ do \ <\ do> \ do \、\ do \ '\ do-}
vをアクティブに設定することを検討できるように、アクティブにする必要があります。 また
\ @noligsが機能できるように配置するスキャントークンのラッパーを提供する
ここ

このスレッドにサブスクライブしているため、これを受け取っています。
このメールに直接返信し、GitHubで表示してください
https://github.com/latex3/latex3/issues/756#issuecomment-649302149 、または
登録を解除する
https://github.com/notifications/unsubscribe-auth/AAJVYAVLBB4ABB3DD5TETRDRYL3MPANCNFSM4OHMH74A
。

@dbitouzeいいえ、類似性は引数を区切る方法にのみあります。\ myverb！abc！を使用できます。 結果は次のように文書化されます

これにより、カテゴリコード10（「スペース」）が与えられたスペースを除いて、カテゴリコード12（「その他」）および13（「アクティブ」）のトークンで構成される引数が取得されます。

引数パーサーは引数を読み取るだけで、タイプセットはしません。 また、フォントコマンドやその他のコマンドを追加したり、前処理してデフォルトで\@noligsを適用したりしても意味がありません。合字を抑制する方法は他にもあります。 luatexではおそらくLigatures=Resetallを適用し、pdflatexではわずかに異なるフォントで\pdfnoligaturesを使用できます。

~~~~
\ RequirePackage {fix-cm}
\ documentclass {article}
\ usepackage [T1] {fontenc}
\ usepackage {xfp、xparse}

\ makeatletter
\ NewDocumentCommand {\ myverb} {v} {{\ fontsize {\ fpeval {\ f @ size +
\ makeatother

\ begin {document}
- 全て

動詞| --all |

\ myverb {-すべて}

\ myverb {-すべて}

\ myverb {---すべて}

\ footnotesize
--all \ myverb {--all}

\ ttfamily
- 全て

動詞| --all |

\ myverb {-すべて}

\ myverb {-すべて}

\ myverb {---すべて}

\ footnotesize
--all \ myverb {--all}

\ end {document}
~~~~

@phelype —何かが足りない場合を除いて、あなたの提案はこれ以上のことはしませんか？：
\ NewDocumentCommand {\ myverb} {v} {{\ @ noligs ＃1}}

@wspr種類はありますが、\@noligsは- （およびその他の束）のcatcodeを13に変更し、それを\def-{\leavevmode\kern\z@\char`-}として定義します：catcodeの変更であり、引数を取得する前に実行する必要があります（ \scantokens検討している場合を除く）。したがって、「catcodesetup」引数をvに許可することを提案します（ただし、オプションである必要があります。 \NewDocumentCommand {\myverb} { v[\@noligs] } {#1} ）。

ありがとう@ phelype—そのマクロの内部を調べてからしばらく経ちました:)
その場合、私はセットアップ引数のアイデアが好きです…この場合でも、他のアプローチでも合字を無効にすることができます。

arg仕様にはオプションのデータがないため、新しい文字（ w ？）が必要になります。

または、 vタイプへの重大な変更

私はむしろV （oとOとdとDがあることに一致する）に投票して、重大な変更を検討したいと思います。

arg仕様にはオプションのデータがないため、新しい文字（ w ？）が必要になります。

追加できませんか？

または、 oとO{}ので、 vとV{}があるのは自然なことのようです。 もちろん、議論は異なることを意味するでしょう...

catcodeをv-typeに合わせてカスタマイズできるようにする必要がある場合は、 \@noligsような任意のコマンドではなく、cctabコードを使用するのが理にかなっています。 次に、コマンドの読み取りはcatcodeのみを設定し、アクティブな文字の定義はマクロ本体で実行する必要があります。

@ u-fischerだから、 l3cctabでそのPRを取得したほうがいいです...

現在、 l3cctabどのように機能し、現在の問題にどのように役立つかはわかりませんが、本当に興味があります:)

私のポイントは、意味的にvは「逐語的」であるのに対し、ここで必要なのはそうではないということでした。 重要なのは、区切り文字がcatcodeテーブルなどによって変更されているかどうかを心配する必要があることです。 また、大文字->小文字の任意の引数の変形であることに一貫性があります。 したがって、 c{<table>} （= 'catcode'）のようなものが正しいと思います。

cctabものを今日または可能であれば明日並べ替えて、話し合うことができます。

@dbitouze catcodeテーブルは、すべてのchars（*）に対して「固定」のcatcodeセットを作成する方法です。 これは、変更に対して1つのトークンのインターフェイスを取得することを意味します。したがって、通常のcatcodeの場合\c_initex_cctab \c_document_cctab 、IniTeXの場合は\c_initex_cctabなどです。 1つずつ設定します。

• XeTeXには必要なプリミティブがないため、妥当なパフォーマンスで文字0〜255しかカバーできません。

@josephwright （トピック外）脚注を追加したかったようですが、Markdownはそれを知りませんでした。

出力中に既知の合字のセットを抑制することは、 \tl_replace_all:Nnnを使用し、問題のある文字を合字を形成しないものに置き換えることによっても実行できます。

@Skillmon良い点：逐語的な資料を取り、トークンを置き換えることができます。 すべてが厳密に逐語的であるため、catcodeの設定について心配するよりもおそらく簡単なアプローチです。

この議論の結果に関係なく、文書化することは有用です
xparse.pdf \ NewDocumentCommandを使用して動詞の動作を再現する方法。

@josephwrightは、置き換えるトークンの数に応じて、 \tl_replace_all:Nnnアプローチを使用するとパフォーマンスが大幅に低下します。

また、（非常に大きなフォントの）どの文字を置き換える必要があるかをどのようにして知ることができますか？

さらに：多くのスクリプト（ヨーロッパ以外）にとって、植字「等幅フォントを使用した逐語的」とはどういう意味ですか？

@ car222222非常に大きなフォントでは、フォント機能をすべて抑制する唯一の合理的な方法として入手できます\tl_map_function:NNと\tl_replace_all:Nnn ）。

さらに：ヨーロッパ以外のスクリプトでは、一部の等幅フォントにダブルスペースの記号があります。

すべての文字をhboxでラップすることをお勧めします。 うまくいくようです
かなり良いですが、私は広範囲にテストしませんでした。

\ RequirePackage {xparse}
\ ExplSyntaxOn
\ NewDocumentCommand {\ myverb} {v} {\ texttt {\ str_map_ function：nN {＃1} \ hbox：n }}
\ ExplSyntaxOff
\ documentclass {article}
\ usepackage [T1] {fontenc}
\ begin {document}
動詞| a--b --- c `` <'' |

\ myverb | a--b --- c `` <'' |
\ end {document}

すべての文字をhboxでラップすることをお勧めします。 それはかなりうまくいくようですが、私は広範囲にテストしませんでした。

|a--bgrüße ---c ``<''|試しください

2回目の試行（ v引数はアクティブな文字をそのまま保持します）：すべての非アクティブな文字の前に\kern 0pt\relax挿入します。

\RequirePackage{xparse}
\ExplSyntaxOn
\tl_new:N \l__myverb_tl
\cs_new:Npn \__myverb:n #1
  {
    \token_if_active:NF #1 { \kern 0pt\relax }
    \exp_not:n {#1}
  }
\NewDocumentCommand { \myverb } { v }
  {
    \tl_set:Nn \l__myverb_tl {#1}
    \tl_replace_all:Nnn \l__myverb_tl { ~ } { { ~ } }
    \group_begin:
      \use:c { verbatim<strong i="8">@font</strong> }
      \use:x { \tl_map_function:NN \l__myverb_tl \__myverb:n }
    \group_end:
  }
\ExplSyntaxOff
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\begin{document}
\verb|a--bgrüße ----c ``<''|

\myverb|a--bgrüße ----c ``<''|
\end{document}

OK、2回目の試行（ v引数はアクティブな文字をそのまま保持します）：

しかし、全員ではありません。 たとえば、ここでの見積もりはアクティブではありません。

~~~~
\ documentclass {article}
\ usepackage [ngerman] {babel}
\ begin {document}
「

\ ExplSyntaxOn
\ NewDocumentCommand {\ myverb} {mv}
{{
\ tl_analysis_ show：n {＃1}
\ tl_analysis_ show：n {＃2}
}
\ ExplSyntaxOff

\ myverb {"a} |" a |
\ end {document}
~~~~

与える

~~~~
トークンリストには、次のトークンが含まれています。

"（active character = macro：-> active @prefix " active @ char "）
a（文字a）。
}

l.29 \ myverb {"a} |" a |

？
トークンリストには、次のトークンが含まれています。

" （キャラクター "）
a（文字a）。
}
~~~~

@ u-fischerしかし、これら2つの出力のどちらが「逐語的テキスト」に必要ですか？

非アクティブな「非アクティブ」の場合は、LaTeXが「逐語的」によって意味していたもののように私には見えます。

しかし、出力が、たとえば、他の人には「逐語的」にあまり似ていないäであると期待する人もいるかもしれません。

私が何度も書いてきたように、「逐語的」とは、印刷可能な7ビットASCIIの外部とはどういう意味ですか？

@ car222222私の例は、出力ではなく入力に関するものです。 私は何も出力せず、xparseによって取得された引数がどのように見えるかを分析するだけです。 ドキュメントから、アクティブな文字をそのままにして、他のすべてのトークンをcatcode 12に変換し、スペースをcatcode 10に変換するという引数を期待していました。しかし、一部のテストでは、私の期待が間違っていたことが示されています。引数パーサーには\ dospecialが含まれているためです。

もう1つの質問：このvタイプの引数は、連続するスペースを1つのトークン（catcode 10）に折りたたむべきですか、それともスペースの数を「逐語的に」保持するべきですか？ 正確にどの程度「逐語的」である必要がありますか（現在、マニュアルで明確に定義されているとは思いません）。

@ u-fischer入力/出力?? しかし、あなたは私の暗黙の質問に答えました。

アクティブな状態を維持したいのですが、「非アクティブな」を逐語的に生成して、äグリフを出力できないようにする必要があると思います。

私が「私が思う」と言うとき、これは私がTeX / LaTeXの「逐語的」の元の（40年前の）概念から続くことを期待することを意味します。

たぶん、その概念+定義を変更する必要がありますが、正確には何に変更する必要がありますか？

または@ RuixiZhang42が言っているように、21世紀はどのように逐語的ですか？

興味深いことに動詞* | YZ | （2つの連続したタブで）単一のスペースを提供します
動詞はスペースのcatcodeを変更しますが、タブのcatcodeは変更しないためです。

私は、v-type（および「+ v」も）引数が現在明確に定義されていないことに同意します。 だろうか
以下は、catcodeテーブルを使用して意味がありますか？

• スペースと他のいくつか（たとえば、 `\ ^^ M？）にcatcode 13（アクティブ）を与えます。

• 他のすべてのバイトにcatcode12（その他）を与える0-127（pdfTeXの場合）、0-255（XeTeXの場合、
  upTeX、pTeX）、または0-1114111（LuaTeX）。

• pdfTeXで、バイト128〜255にcatcode 13（アクティブ）を指定します。

たぶん、catcode 11（文字）としていくつかのものを保持する方が良いですか？

あなたはアクティブな状態を維持したい

いいえ、私はそれを言いませんでした。 私は、ドキュメントを読んだ後にこれが起こることを期待していると書いただけです。 これは、ドキュメントを改善する必要があることを意味するだけです。

しかし、私は、逐語的に非アクティブな「」を生成して、äグリフを出力できないようにする必要があると思います。

"aは、アクティブな"でも出力として取得できます。ローカルで適切な定義を指定するだけで済みます。

@ u-fischer「アクティブな状態でも出力としてa」を取得できます

もちろんですが、「逐語的モード」でそのようなカスタマイズが必要かどうかはわかりません。 多分それはすべきですか？

質問に戻ります。入力トークンリストの読み取りと出力（どのフォント、どの合字、カーニング、その他のフォント機能など）の両方で、「逐語的」とはどういう意味ですか。

たぶんこのようなもの（印刷可能なASCIIの入力のみ）：
文字が削除されたり、文字コードが変更されたりすることはありません。ほとんどのcatcodeは12になります。ただし、以下を除き、13に変更されます（または保持されます）。 。 。 。
さらに、次の印刷不可能なASCIIも、catcode13トークンになります。 。 。

上記のプロセスによって内部的にcatcode13トークンであることが判明する可能性のある、7ビットACSII文字の出力（テキスト表現）を処理するように環境をカスタマイズする必要があります。

[オリジナルとはかなり異なりますが、オリジナルのようにASCII入力のみをカバーしています。]

@bleflochは次のように書いています：pdfTeXで、バイト128-255にcatcode 13（アクティブ）を与えます。

inputencが使用されていない場合でも、これを実行しますか？ あなたは彼らにどのような定義をしますか？

逐語的モードへのutf-8inputenc入力について誰かがよく考えているかどうかはわかりません。 これはサポートされますか？それはどういう意味ですか？

逐語的モードへのutf-8inputenc入力について誰かがよく考えているかどうかはわかりません。 これはサポートされますか？それはどういう意味ですか？

少なくともT1エンコーディングではサポートされています。 ギリシャ語などの場合は、 verbatim @fontを再定義する必要があります。

~~~
\ documentclass {article}
\ usepackage [LGR、T1] {fontenc}
\ begin {document}
動詞|grüße€|

\ makeatletter
\ defverbatim @ font {\ ttfamily}
fontencoding {LGR} \ selectfont
動詞|ΓειάσουΚόσμε|
\ end {document}
~~~

逐語的な議論が何をすべきかについての可能な提案。 私はオプション1を好む傾向がありますが、いくつかの側面が欠けている可能性があります。

1. catcodeを0から255（任意のエンジン）に更新し、catcode 11、12、13（文字/その他/アクティブ）を変更せずに、catcode 10（スペース）をcatcode 13（アクティブ）に変更し、他のすべてのcatcodeを12（その他）に変更します。 次に、 \@noligsでcatcodeの変更を適用します。つまり、 \verbatim@nolig@listアイテムをアクティブにします。 次に、引数を取得します。これにより、catcode 11、12、13のみの結果が得られます。 アクティブな文字を望まないユーザーにとっては、文字列に簡単に戻すことができます。 inputencまたはbabel-shorthandのサポートが必要な場合は、すべてのアクティブな文字が保持されています。 また、結紮抑制をサポートします。

2. ユーザーが変更できるcatcodeテーブル\l_xparse_verbatim_cctabを使用します。 これは、ドキュメントの途中で変更される可能性のあるbabelショートカットとの同期を維持するのが困難です。 また、逐語的な引数を解析する前に\l_xparse_verbatim_cctabを変更するラッパー関数が必要なため、パッケージ作成者にとっては扱いにくいものです。

3. 2.のバリアント。ここで、cctabは引数v （オプションの引数または新しい文字）として指定されます。 繰り返しになりますが、これはbabelの速記や\verbatim@nolig@listへの変更と同期を保つことはできません。