Latex3: xparse의 "verbatim" 인수 유형에 대한 문서 catcodes, 재생산 방법 문서화 \verb

보고 있는 것은 타자기 글꼴의 -- 합자입니다. \texttt{--} 라고 쓰는 경우 단일 대시도 표시되지만 PDF에서 복사하면 실제로 en-dash임을 알 수 있습니다. 포착된 인수를 \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 나는 "verbatim"이 "사용자가 작성한 것을 그대로 가져옴"을 의미한다는 PhelypeOleinik에 동의합니다. <hyphen hyphen> ~ <endash> 합자는 "인수 잡기 버그"보다 "글꼴 기능"에 가깝습니다. 또한 \ttfamily 는 "고정 폭 글꼴 = 합자 없음"을 의미하지 않습니다. 일부 고정 폭 서체는 코드뿐만 아니라 본문 유형으로 사용할 수 있으므로 이러한 경우 하이픈 합자를 표시 하지 않아야 합니다.

그러나 \NewDocumentCommand {\myverb} { v } {#1}\myverb{--all} 는 \verb|--all| 처럼 행동해야 하지 않습니까?

@dbitouze — 그렇지 않습니다. \verb에는 인수 잡기와 서식의 두 부분이 있습니다. \NewDocumentCommand의 "v" 설정은 전자만 수행합니다.

@Phelype - 내가 뭔가를 놓치고 있지 않는 한, 당신의 제안은 이것 이상을 하지

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

그런 경우에는 필요하지 않다고 생각합니다. @dbitouze로 돌아가서 \verb를 복제하는 방법은 다음과 같습니다.

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

2020년 6월 25일 목요일 08:22 Denis Bitouzé [email protected]
썼다:

하지만 \NewDocumentCommand {\myverb} { v } {#1}\myverb{--all} 은 아니지 않습니까?
\verb|--all|처럼 행동하려면?

—

정확히는 아니지만 v 는 인수를 구문 분석하는 것이므로 읽습니다.
verbatim, verb는 또한 비표준 고정 폭 글꼴로 내용을 조판합니다.
합자를 억제하는 설정.
따라서 현재 글꼴로 인수를 조판하기 위해 #1 대신
할 필요가

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

\ @noligs 가 필요하다는 점을 제외하고
\ defverbatim@nolig@list {\
활성으로 설정하여 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{수정-cm}
\documentclass{기사}
\usepackage[T1]{글꼴}
\usepackage{xfp,xparse}

\makeatletter
\NewDocumentCommand {\myverb} { v } {{\fontsize{\fpeval{\ f@size+0.0001 }}{\normalbaselineskip}\selectfont\pdfnoligatures\font #1}}
\makeatother

\begin{문서}
--모두

동사|--모두|

\myverb{-all}

\myverb{--all}

\myverb{---all}

\각주크기
--all \myverb{--all}

\tt패밀리
--모두

동사|--모두|

\myverb{-all}

\myverb{--all}

\myverb{---all}

\각주크기
--all \myverb{--all}

\end{문서}
~~~~

@phelype - 내가 뭔가를 놓치고 있지 않는 한, 당신의 제안은 이것 이상을 하지
\NewDocumentCommand {\myverb} { v } { {\ @noligs #1} }

@wspr 종류는 있지만 아니요: \@noligs 는 - (및 다른 무리)의 catcode를 13으로 변경한 다음 \def-{\leavevmode\kern\z@\char`-} 로 정의합니다. catcode 변경, 인수를 잡기 전에 수행해야 하므로( \scantokens 고려하지 않는 한) v "catcode setup" 인수를 허용하는 것이 좋습니다(선택 사항이어야 함: \NewDocumentCommand {\myverb} { v[\@noligs] } {#1} ).

@phelype 감사 오래 되었습니다 :)
이 경우 설정 인수의 아이디어가 마음에 듭니다... 이 경우 다른 접근 방식을 사용하여 합자를 비활성화할 수도 있습니다.

인수 사양에는 선택적 데이터가 없으므로 새 문자( w ?)가 필요합니다.

또는 v -type에 대한 주요 변경 사항

나는 차라리 V (우리가 o와 O, d와 D가 있는 것과 일치)에 투표한 다음 주요 변경 사항을 고려합니다.

인수 사양에는 선택적 데이터가 없으므로 새 문자( w ?)가 필요합니다.

하나 추가할 수 없나요?

또는 o 및 O{} 있으므로 v 및 V{} 가 있는 것이 자연스럽습니다. 물론 논쟁의 의미는 다르지만...

v-type에 대해 catcode를 사용자 정의해야 하는 경우 \@noligs 와 같은 임의의 명령이 아닌 cctab 코드를 사용하는 것이 좋습니다. 그런 다음 명령 읽기는 catcodes만 설정하고 활성 문자의 정의는 매크로 본문에서 수행되어야 합니다.

@u-fischer 그래서 l3cctab 에 대한 홍보를 ...

현재 l3cctab 작동 방식과 현재 문제에 어떻게 도움이 될 수 있는지 전혀 모르지만 정말 관심이 있습니다. :)

내 요점은 의미상 v 가 '말 그대로'인 반면 여기에 필요한 것은 그렇지 않다는 것입니다. 중요한 것은 구분 문자가 catcode 테이블 등에 의해 변경되는지 걱정해야 합니다. 또한 우리는 대문자 -> 소문자의 선택적 인수 변형을 일관되게 유지해 왔습니다. 따라서 c{<table>} (= 'catcode')와 같은 것이 옳을 것이라고 말하고 싶습니다.

가능한 한 오늘 또는 내일 cctab 정렬하여 논의할 수 있도록 하겠습니다.

@dbitouze catcode 테이블은 모든 chars(*)에 대한 '고정' catcode 세트를 갖는 방법입니다. 이는 변경 사항에 대해 단일 토큰 인터페이스를 얻는다는 것을 의미하므로 ' \c_document_cctab 일반 catcodes, \c_initex_cctab IniTeX 등입니다. 아이디어는 이것이 하나보다 훨씬 명확하고 안정적이라는 것입니다. 하나씩 설정합니다.

• XeTeX에는 필요한 기본 요소가 없으므로 합리적인 성능으로 0에서 255까지의 문자만 다룰 수 있습니다.

@josephwright (토픽에서

출력 중에 알려진 합자 세트를 억제하는 것은 \tl_replace_all:Nnn 를 사용하고 문제가 있는 문자를 합자를 형성하지 않는 것으로 교체하여 수행할 수도 있습니다.

@Skillmon 좋은 점: 축어적 자료를 가져와서 토큰을 교체할 수 있습니다. 모든 것이 엄밀히 말하면 catcode 설정에 대해 걱정하는 것보다 더 쉬운 접근 방식일 것입니다.

이 토론의 결과에 관계없이 문서화하는 것이 유용할 것입니다.
xparse.pdf \NewDocumentCommand를 사용하여 동사의 동작을 재현하는 방법.

@josephwright 는 교체할 토큰의 수에 따라 \tl_replace_all:Nnn 접근 방식을 사용하면 성능이 훨씬 나빠집니다.

또한 어떤 문자(매우 큰 글꼴)를 대체해야 하는지 어떻게 알 수 있습니까?

추가: 많은 스크립트(비유럽어)에서 '고정폭 글꼴로 축자'를 조판한다는 것은 무엇을 의미합니까?

@car222222 매우 큰 글꼴에서 글꼴 기능을 모두 억제하는 유일한 합리적인 방법으로 얻었습니다. LaTeX는 글꼴에서 가능한 모든 합자에 대해 알 수 없습니다. 그러나 최소한 LaTeX2e를 지원하는 문자는 쉽게 덮을 수 있습니다( \tl_map_function:NN 및 \tl_replace_all:Nnn ).

추가: AFAIK에는 일부 비유럽어 스크립트의 경우 일부 고정 폭 글꼴에 이중 간격 기호가 있습니다.

hbox의 모든 문자를 래핑하는 것이 좋습니다. 그것은 작동하는 것 같다
합리적으로 잘하지만 광범위하게 테스트하지 않았습니다.

\RequirePackage{xparse}
\ExplSyntaxOn
\NewDocumentCommand{\myverb}{v}{\texttt{\str_map_ function:nN {#1}\ hbox:n }}
\ExplSyntaxOff
\documentclass{기사}
\usepackage[T1]{글꼴}
\begin{문서}
동사|a--b ---c ``<''|

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

hbox의 모든 문자를 래핑하는 것이 좋습니다. 합리적으로 잘 작동하는 것 같지만 광범위하게 테스트하지 않았습니다.

|a--bgrüße ---c ``<''| 시도

자, 두 번째 시도( 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}

자, 두 번째 시도( v 인수는 활성 문자를 있는 그대로 유지):

그러나 모든 사람은 아닙니다. 예: 여기 견적이 활성화되지 않았습니다.

~~~~
\documentclass{기사}
\usepackage[독일어]{바벨}
\begin{문서}
"ㅏ

\ExplSyntaxOn
\NewDocumentCommand { \myverb } { mv }
{
\tl_analysis_ show:n {#1}
\tl_analysis_ show:n {#2}
}
\ExplSyntaxOff

\myverb{"a}|"a|
\end{문서}
~~~~

준다

~~~~
토큰 목록에는 다음과 같은 토큰이 포함됩니다.

" (활성 문자=매크로:->활성 @prefix "active@char" )
ㄱ (문자 ㄱ).
}

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

?
토큰 목록에는 다음과 같은 토큰이 포함됩니다.

" (캐릭터 ")
a (문자 a).
}
~~~~

@u-fischer 하지만 이 두 출력 중 '말 그대로 텍스트'에서 원하는 것은 무엇입니까?

Non-active " 케이스는 LaTeX가 '말 그대로'를 의미하는 것처럼 보입니다.

그러나 일부 사람들은 예를 들어 다른 사람들에게 '말 그대로'처럼 보이지 않는 ä 출력을 기대합니다.

내가 여러 번 썼듯이 '말 그대로'는 인쇄 가능한 7비트 ASCII 외부에서 무엇을 의미합니까?

@ car222222 내 예는 출력이 아닌 입력에 관한 것입니다. 나는 아무 것도 출력하지 않고 xparse가 잡은 인수가 어떻게 생겼는지 분석할 뿐입니다. 문서에서 활성 문자를 있는 그대로 두고 다른 모든 토큰을 catcode 12로, 공백을 catcode 10으로 변환하는 인수를 예상했습니다. 그러나 일부 테스트에서 내 예상이 잘못된 것으로 나타났습니다. babel을 사용한 활성 문자 설정도 catcode 12로 변환됩니다. 인수 파서가 \dospecial을 포함하기 때문입니다.

또 다른 질문: 이 v -type 인수는 연속적인 공백을 하나의 토큰으로 축소해야 하나요(catcode 10 사용), 아니면 공백의 수를 "말 그대로" 유지해야 하나요? 정확히 얼마나 "말 그대로"이어야합니까 (지금 매뉴얼에 잘 정의되어 있지 않다고 생각합니다)?

@u-fischer 입출력 ?? 그러나 당신은 내 암시된 질문에 대답했습니다.

활성 상태를 유지하고 싶지만 ä 글리프가 출력될 수 없도록 축어적으로 비활성 "을 생성해야 한다고 생각합니다.

내가 "나는 생각한다"라고 말할 때 이것은 내가 TeX/LaTeX에서 '말 그대로'라는 원래(40년 전) 개념에서 따를 것으로 기대하는 것임을 의미합니다.

어쩌면 그 개념+정의를 변경해야 할 수도 있지만 정확히 무엇으로?

또는 @RuixiZhang42가 말한 대로: 21세기의 그대로는 어떻습니까?

흥미롭게도 동사*|YZ| (두 개의 연속 탭 사용) 단일 공백 ​​제공
동사는 탭이 아닌 space의 catcode를 변경하기 때문입니다.

나는 v-type(및 "+v"도) 인수가 현재 잘 정의되어 있지 않다는 데 동의합니다. 할 것인가
catcode 테이블을 사용하여 의미가 있습니까?

• 공백 및 기타 몇 개(예: `\^^M?)에 catcode 13(활성)을 지정하십시오.

• catcode 12(기타)를 다른 모든 바이트에 0-127(pdfTeX에서), 0-255(XeTeX에서,
  upTeX, pTeX) 또는 0-1114111(LuaTeX).

• pdfTeX에서 catcode 13(활성)을 바이트 128-255에 지정합니다.

일부 항목을 catcode 11(문자)로 유지하는 것이 더 나을까요?

당신은 활성 상태를 유지하려면 "

아뇨, 저는 그런 말을 하지 않았습니다. 나는 문서를 읽은 후에 이런 일이 일어날 것이라고 예상했다고 썼습니다. 이것은 문서가 개선되어야 함을 의미합니다.

하지만 ä 글리프가 출력될 수 없도록 그대로 "비활성"을 생성해야 한다고 생각합니다.

활성 " 에서도 "a 를 출력으로 얻을 수 있습니다. 로컬에서 적절한 정의를 지정하기만 하면 됩니다.

@u-fischer "활성 상태에서도 출력으로" 얻을 수 있습니다.

물론입니다. 하지만 '말 그대로 모드'에 이러한 사용자 지정이 필요한지 여부를 모르겠습니다. 아마도 그것은해야합니까?

질문으로 돌아가서: 입력 토큰 목록을 읽고 출력(글꼴, 합자, 커닝, 기타 글꼴 기능 등 포함)에 대해 '말 그대로'가 의미하는 것은 무엇입니까?

아마도 다음과 같을 것입니다(인쇄 가능한 ASCII 입력 전용):
문자가 제거되거나 문자 코드가 변경되지 않으면 다음을 제외하고 대부분의 catcode는 12가 됩니다. 단, 13으로 변경(또는 유지)됩니다. . . .
또한 catcode 13 토큰이 되는 인쇄 불가능한 다음 ASCII: . . .

위 프로세스에 의해 내부적으로 catcode 13 토큰으로 판명될 수 있는 7비트 ACSII 문자의 출력(텍스트 표현)을 처리하도록 환경을 사용자 정의해야 합니다.

[원본과 상당히 다르지만 원본과 마찬가지로 ASCII 입력만 포함합니다.]

@blefloch 는 다음

inputenc를 사용하지 않는 경우에도 이렇게 하시겠습니까? 그들에게 어떤 정의를 내리시겠습니까?

utf-8 inputenc 입력을 verbatim 모드에 대해 많이 생각한 사람이 있는지 확실하지 않습니다. 지원될 예정이며, 이는 무엇을 의미합니까?

utf-8 inputenc 입력을 verbatim 모드에 대해 많이 생각한 사람이 있는지 확실하지 않습니다. 지원될 예정이며, 이는 무엇을 의미합니까?

최소한 T1 인코딩에 대해 지원됩니다. 그리스어 또는 이와 유사한 경우 verbatim@font 를 재정의해야 합니다.

~~~
\documentclass{기사}
\usepackage[LGR,T1]{글꼴}
\begin{문서}
동사|grüße € |

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

축어적 논증이 해야 할 일에 대한 가능한 제안. 나는 옵션 1을 선호하지만 몇 가지 측면을 놓칠 수 있습니다.

1. 모든 엔진에서 catcodes를 0에서 255로 업데이트하고 catcodes 11, 12, 13(문자/기타/활성)은 변경하지 않고 catcode 10(공백)을 catcode 13(활성)으로, 다른 모든 catcode를 12(기타)로 변경 . 그런 다음 \@noligs 에 catcode 변경 사항을 적용합니다. 즉, \verbatim@nolig@list 항목을 활성화합니다. 그런 다음 인수를 가져옵니다. 그러면 catcodes 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 변경 사항과 동기화할 수 없습니다.