47

我通过 Visual Studio 2013 预处理器运行了以下代码。输出让我吃惊。

hello.cpp的内容：

#define A(j) #j

A(A?)
A(B?)
A(C?)
A(D?)
A(E?)
A(F?)
A(G?)
A(H?)
A(I?)
A(J?)
A(K?)
A(L?)
A(M?)
A(N?)
A(O?)
A(P?)
A(Q?)
A(R?)
A(S?)
A(T?)
A(U?)
A(V?)
A(W?)
A(X?)
A(Y?)
A(Z?)

命令：

cl /P hello.cpp

hello.i 包含：

#line 1 "hello.cpp"



"A?"
"B?"
"C?"
"D?"
"E?"
"F?"
"G?"
"H?"
"I?"
"J?"
"K?"
"L"
"M?"
"N?"
"O?"
"P?"
"Q?"
"R"
"S?"
"T?"
"U?"
"V?"
"W?"
"X?"
"Y?"
"Z?"

我在尝试调用 A(L?p:q) 时遇到了这个问题，这导致“Lp:q”对我不利。

这是正确的、定义明确的 C++ 吗？C++ 中的 L 和 R 有什么特别之处？如果文件具有 .c 扩展名，则 L 和 R 被视为与字母表的其余部分相同。这与 C++11 有关吗？它一定是一个新特性，因为旧版本的 MSVS 不会以特殊方式处理 L 和 R。

我能做些什么来阻止 MSVS 2013 以这种特殊方式处理 L 和 R？

4

2 回答 2

20

更新

看起来错误报告被标记为此报告的副本，其中包含更新内容：

已将针对此问题的修复程序签入编译器源代码。该修复程序应出现在 Visual C++ 的下一个主要版本中。

原来的

正如 remyabel 指出的，这是一个报告的错误。根据文档，既不gcc也不clang产生这个结果和字符串化运算符#Visual Studios，这些是以下替换（强调我的未来）：

实际参数的第一个标记之前和实际参数的最后一个标记之后的空白将被忽略。实际参数中标记之间的任何空格都会减少为结果字符串文字中的单个空格。因此，如果注释出现在实际参数中的两个标记之间，它会减少为单个空格。生成的字符串文字会自动与任何相邻的字符串文字连接，仅由空格分隔。

此外，如果参数中包含的字符在字符串文字中使用时通常需要转义序列（例如，引号 (") 或反斜杠 () 字符），则会在字符之前自动插入必要的转义反斜杠。

这对应于C++ 草案标准部分16.3.2 # 运算符，它说：

如果在替换列表中，参数前面紧跟 # 预处理标记，则两者都被单个字符串文字预处理标记替换，该预处理标记包含对应参数的预处理标记序列的拼写。参数的预处理标记之间每次出现的空白都会成为字符串文字中的单个空格字符。删除第一个预处理标记之前和包含参数的最后一个预处理标记之后的空白。否则，参数中每个预处理标记的原始拼写将保留在字符串文字中，但产生字符串文字和字符文字的拼写的特殊处理除外：在每个 " 之前插入一个 \ 字符

唯一与 C++11 相关的事情R是它们L对字符串文字具有特殊含义，但我不知道这应该如何影响这种情况。

它看起来也像L\并且R\也会产生相同的问题。

他们确实记录了一个不合规的问题，上面写着：

当 # (stringize) 运算符与包含转义序列的字符串一起使用时，Visual C++ 的行为不正确。在这种情况下，编译器会生成 Compiler Error C2017。

这不包括这种情况。

于 2014-01-13T20:01:47.477 回答
3

这似乎是 MSVC 预处理器中的一个错误。好消息是，根据您对输出的挑剔程度，您可以通过在 R 或 L 之后放置一个空格来解决此问题。

A(L ?p:q), // "L ?p:q"
于 2014-01-13T19:56:53.737 回答