字符串文字连接的正确行为（C++11 翻译的第 6 阶段）

Question

我很确定 Visual C++ 2015 在这里有一个错误，但我不是 100% 确定。

代码：

// Encoding: UTF-8 with BOM (required by Visual C++).
#include <stdlib.h>

auto main()
    -> int
{
    auto const s = L""
        "???? is not in the Unicode BMP!";
    return s[0] > 256? EXIT_SUCCESS : EXIT_FAILURE;
}

g++ 的结果：

[H:\scratchpad\simple_text_io] > g++ --版本 |找到“++” g++ (i686-win32-dwarf-rev1, 由 MinGW-W64 项目构建) 6.2.0 [H:\scratchpad\simple_text_io] > g++ compiler_bug_demo.cpp [H:\scratchpad\simple_text_io] > 运行 进程退出代码 = 0。 [H:\scratchpad\simple_text_io] > _

Visual C++ 的结果：

[H:\scratchpad\simple_text_io] > cl /nologo- 2>&1 |找到“++” Microsoft (R) C/C++ 优化编译器版本 19.00.23026 for x86 [H:\scratchpad\simple_text_io] > cl compiler_bug_demo.cpp /Feb compiler_bug_demo.cpp compiler_bug_demo.cpp(8): 警告 C4566: 由通用字符名 '\U00010437' 表示的字符不能在当前代码页中表示 (1252) [H:\scratchpad\simple_text_io] > 运行 b 进程退出代码 = 1。 [H:\scratchpad\simple_text_io] > _

是否涉及任何 UB，如果没有，哪个编译器行为正确？

附录：

如果使用小写希腊语 PI“π”（在 BMP 中 是），则两个编译器的行为都不会改变，因此这似乎无关紧要。

Answer 1

来自[lex.string]：

13. 在翻译阶段 6 中，连接相邻的字符串文字。如果两个字符串文字具有相同的编码前缀，则生成的串联字符串文字具有该编码前缀。 如果一个字符串文字没有编码前缀，则将其视为与另一个操作数具有相同编码前缀的字符串文字。 如果 UTF-8 字符串文字标记与宽字符串文字相邻令牌，程序格式错误。任何其他 连接由实现定义的行为有条件地支持。 [注意：此连接是一种解释，而不是转换。因为口译发生在翻译阶段 6（之后 文字中的每个字符都已转换为相应字符集中的值），字符串文字的初始原始性对连接的解释或格式正确没有影响。 -结尾 note ] 表 8 提供了一些有效连接的示例。

所以这里没有 UB，但是翻译的第 5 阶段可能已经改变了某些字符的值：

5. 每个源字符集成员在一个字符文字或一个字符串文字，以及每个转义序列和一个字符中的通用字符名称文字或非原始字符串文字，转换为执行字符集的相应成员，如果没有相应的成员，则转换为实现定义的成员，而不是 null（宽）字符。