为什么波浪号 ~ 有时不像不间断空格那样表现？

Question 1

以下是问题中缺少的 MWE：

\documentclass[12pt,onecolumn,draftcls]{IEEEtran}
\usepackage{ctex}
\begin{document}
%\show~
  Nam dui ligula, fringilla a, euismod sodales, sollicitudin vel, wisi.
  Morbi auctor \space on Fig.~23. Quisque ullamcorper placerat ipsum. 
  Cras \space on Fig.~23, Fusce mauris. Vestibulum luctus nibh at lectus. Sed 
  bibendum, nulla a faucibus semp \space on Fig.~23.
\end{document}

取消注释\show~告诉我们

> ~=macro:
->\hspace {0.25em plus 0.125em minus 0.08em}\ignorespaces . 
l.4   \show~

即可破坏空间，删除该\usepackage{ctex}线会将其恢复到正常状态

> ~=macro:
->\nobreakspace {}.
l.4   \show~

如果必须使用，ctex那么似乎您可以用~来替换\nbs，或者您可以使用\standardtilde来恢复的通常行为~。

Answer

以下是问题中缺少的 MWE：

\documentclass[12pt,onecolumn,draftcls]{IEEEtran}
\usepackage{ctex}
\begin{document}
%\show~
  Nam dui ligula, fringilla a, euismod sodales, sollicitudin vel, wisi.
  Morbi auctor \space on Fig.~23. Quisque ullamcorper placerat ipsum. 
  Cras \space on Fig.~23, Fusce mauris. Vestibulum luctus nibh at lectus. Sed 
  bibendum, nulla a faucibus semp \space on Fig.~23.
\end{document}

取消注释\show~告诉我们

> ~=macro:
->\hspace {0.25em plus 0.125em minus 0.08em}\ignorespaces . 
l.4   \show~

即可破坏空间，删除该\usepackage{ctex}线会将其恢复到正常状态

> ~=macro:
->\nobreakspace {}.
l.4   \show~

如果必须使用，ctex那么似乎您可以用~来替换\nbs，或者您可以使用\standardtilde来恢复的通常行为~。

Question 2

只是想在这里包含一些有关我的调试过程的注释。

显然，由于波浪号是问题所在，我首先想看看它到底起什么作用。起初，我甚至不认为它是一个宏（我猜我以为它“只是”一个带有“特殊 catcode”的字符），然后我想texdef在控制台 shell 中尝试一下：

$ texdef -t latex '~'

\~:
macro:->\OT1-cmd \~\OT1\~

好的，事实证明，它可能是一个宏......但这不是我正在寻找的宏：texdef自动添加一个反斜杠，所以我们实际看到的是宏的定义（反斜杠波浪号），而不是（波浪号）\~的定义。~

此时，事情变得复杂了，因为很难在线搜索；波浪号是 ASCII 字符（因此它没有 html 实体表示，经确认php -r 'echo htmlentities("a~a\n",ENT_COMPAT,"UTF-8");'）- 因此，我无法真正搜索查询，\def ~无论是在线搜索还是 Tex.SE 上的本地搜索。不过，不知何故，我在在线搜索结果中注意到了这一点：

[R] R 文档中的波浪符号。 - Grokbase

... ）\textasciitilde 是 latex 的标准部分（在文件 latex.ltx 中）。...

啊，至少有一个指针；所以现在可以从终端 shell 执行此操作：

$ kpsewhich latex.ltx
/path/to/texlive/2011/texmf-dist/tex/latex/base/latex.ltx
$ grep '~' $(kpsewhich latex.ltx) | grep def
\chardef\active=13 \catcode`\~=\active % tilde is active
\def~{\errmessage{%
\def~{\typeout{! %
\def~{\nobreakspace{}}
     \lowercase{\endgroup\def~{\leavevmode\kern\z@\char`#1}}}

此外，我还偶然发现https://tex.stackexchange.com/a/59260/2595和https://tex.stackexchange.com/a/66951/2595- 这对我来说证实了 tilde 作为宏的原始定义是\def~{\nobreakspace{}}。

好的，那现在怎么办？好吧，首先我想重新定义 tilde，这样它就会将消息打印到 stdout；所以我想，如果它被某个东西替换，那么打印就会停止，并指向重新定义发生的位置。所以我用了这个：

% should stop when something changes its def...
\newcounter{tildcount}
\typeout{tilde MEANING AT START: \meaning~ }
% tilde MEANING AT START: macro:->\nobreakspace {}
\let\origtilde~
\def~{%
  \stepcounter{tildcount}%
  % \meaning~ remains the same as before, as long as 
  % this \def is in place; so don't print it. 
  \typeout{tilde called \thetildcount\space times}%
  \origtilde%
}

到目前为止一切顺利 - 除了这个宏可能会在标题内的波浪号等上崩溃。更糟糕的是，重新定义不会发生在文档中间，所以这最终没有多大帮助。

因此，唯一剩下的事情就是打印\meaning~整个文档（包括序言），并查看其中的变化。所以我做了与此相当的事情（如上所示test-tilde.tex）：

% https://tex.stackexchange.com/questions/81789/get-current-source-line-number/81794#81794
\def\showLineMean{\typeout{line \the\inputlineno; MEANING: \meaning~}}
...
\usetikzlibrary{calc} \showLineMean                    % l.61
\usetikzlibrary{decorations.markings} \showLineMean    % l.62
\usepackage{txfonts} \showLineMean % Times font ...    % l.63
\renewcommand{\ttdefault}{pcr} \showLineMean           % l.64
\usepackage[UTF8]{ctex} \showLineMean % simsun.ttc ... % l.65
\usepackage{setspace} \showLineMean                    % l.66
\usepackage{siunitx} \showLineMean                     % l.67
\usepackage[american]{babel} \showLineMean             % l.68
\usepackage{csquotes} \showLineMean                    % l.69
...
\usepackage[style=ieee,...]{biblatex} \showLineMean    % l.73
...
\showLineMean                                          % l.115
\begin{document}                                       % l.116
\showLineMean                                          % l.117

\title{测试标题} ...

然后可以这样：

$ pdflatex test-tilde.tex # ...
$ grep MEANING test-tilde.log 
line 61; MEANING: macro:->\nobreakspace {}
line 62; MEANING: macro:->\nobreakspace {}
line 63; MEANING: macro:->\nobreakspace {}
line 64; MEANING: macro:->\nobreakspace {}
line 65; MEANING: macro:->\nobreakspace {}
line 66; MEANING: macro:->\nobreakspace {}
line 67; MEANING: macro:->\nobreakspace {}
line 68; MEANING: macro:->\active@prefix ~\active@char~ 
line 69; MEANING: macro:->\active@prefix ~\active@char~ 
line 73; MEANING: macro:->\active@prefix ~\active@char~ 
line 115; MEANING: macro:->\active@prefix ~\active@char~ 
line 117; MEANING: macro:->\hspace {0.25em plus 0.125em minus 0.08em}\ignorespa

哈哈！所以波浪符号在加载~时第一次改变babel- 然后，紧接着第二次改变\begin{document}！

当然，我看不出这背后的任何逻辑——作为最后的手段，我尝试在互联网上查找最后一个含义（在文档编写期间有效的含义）；幸运的是，最先找到的结果之一是：

这是 CJK 宏包 ver. 4.8.3 的命令文件 command.txt ...

\CJKtilde 此命令将活动“~”字符的定义从不可断开的空格更改为 \def~{\hspace{0.25em plus 0.125em minus 0.08em}}

嗯，这最终证实了问题是什么（并且解决方案与接受的答案相同）。

然而，有些令人难过的是 - 经过这一切，我不能说这是一个我只能在本地机器上完成的调试过程，而无需在线查找......希望我的程序比这更强大:)

好吧，希望这对某人有帮助，
干杯！

Answer