我们沿袭忠于标准的传统,还是首先来看一个标准中的例子
??=define arraycheck(a,b) a??(b??) ??!??! b??(a??)
这真是一段XE的代码,你看懂什么意思了么?好吧这次厚道点立刻上答案:
#define arraycheck(a,b) a[b] || b[a]
这个代码尽管是用来演示三元转义符的,但是我看到这个宏定义暗示另一个非常古怪的语法,在没有重载[]运算符的情况下,a[b]和b[a]总是完全等价的。所以在任何你使用了a[1]的时候,你都可以替换成1[a],尽管这看起来非常诡异。似乎这一点颇得标准编写者的喜爱,居然在一个完全无关的场合明里暗里地提了一下这个事情。
好吧我们言归正传,这些诡异的用法是C++的三元转义符,所幸它们数量不多,请看下表:
三元符 用以替代 三元符 用以替代 三元符 用以替代
??= # ??( [ ??< {
??/ \ ??) ] ??> }
??' ^ ??! | ??- ~
注意一点我们的例子是一个宏定义,这很好地说明了三元转义符是在编译过程的最开始处理,它的优先权也是最高的,不论在任何位置(包括注释和字符串中)三元符都会被转义。也许记忆所有转义有些困难,但是编写C++时注意两个问号相连的情况就可以安全了。
关于三元转义符有个悲情的故事,(本故事根据Exceptional C++某段改编)故事讲的是某粗心的软件工程师在写注释的时候留了一个问题:Is it necessary?由于他想要加强语气他决定多写些问号,于是他按住shift和?键,但是很遗憾他shift松得早了一点,最后一个?就变成了/(看看你的键盘就明白了)于是他的注释变成了:
//Is it necessary??????????????????????????????/
这看起来再正常不过了,注释里的文字错误又不会有什么影响,然而??/却是一个三元符,于是转义之后注释变成了:
//Is it necessary????????????????????????????\
到这里想必您已经看明白了,最后一个\成为一个续行符,于是这行注释吞掉了下一行代码。这个问题,我目前还未发现有什么编译环境能够正确地识别出来(语法着色无法反映三元转义符),所以一旦发生,很难检查。
悲剧版Hello world:(看到没,博客园的代码高亮也识别不出来)
#include <stdio.h>
int main()
{
//Isn't it right??????????????????????????????/
printf("Hello world!\n");
}
跟三元转义符相似,C++里面还有一种token替代语法,跟三元转义符相比,它们不是纯文本替换,它们自己是token的一种,可以算作对应token的别名,数量则稍微多了点:
替代的 原有的 替代的 原有的 替代的 原有的
<% { and && and_eq &=
%> } bitor | or_eq |=
<: [ or || xor_eq ^=
:> ] xor ^ not !
%: # compl ~ not_eq !=
:% ## bitand &
这个规则不会替换字符串和注释中的符号。
三元转义符和token替代的存在最初都是为了某些非ANSI计算机文本环境存在的,虽说到现在意义已经不是很大,但是我们编程的时候还是要特别注意,不要让这些过时的语言特性变成我们代码中的地雷。