C++17 是否允许非 ascii 字符作为标识符？

Question

在cppref处，我发现一段奇怪的C++代码，它在源代码中使用了一个非ascii字符，如下所示：

template <char...> double operator "" _π(); // OK

但是，上面的代码不能用 clang 6.0 编译。错误信息是：

error : source file is not valid UTF-8
1>double operator "" _<A6><D0>()
1>                    ^

我的问题是：

这符合 C++17 吗？
注意用户自定义的_π没有参数，那么_π怎么用呢？只需使用 double var = _π;?

Answer 1

根据您提供的link，它引用：

If the literal operator is a template, it must have an empty parameter list and can have only one template parameter, which must be a non-type template parameter pack with element type char

template <char...> double operator "" _x();

让我们看看这意味着什么，

表示法char...表示此模板可以用0、1、2个或更多char类型的参数实例化。这意味着每次编译器遇到像 1234_km 这样的文字时，它应该将其视为以下函数调用：

operator"" _km<'1', '2', '3', '4'>();

表示文字的整个字符串作为模板参数传递（截断）。请参阅 and this 了解用法。

关于允许的字符范围：（见此Annexure E）

00A8, 00AA, 00AD, 00AF, 00B2-00B5, 00B7-00BA, 00BC-00BE, 00C0-00D6, 00D8-00F6, 00F8-00FF
0100-167F, 1681-180D, 180F-1FFF
200B-200D, 202A-202E, 203F-2040, 2054, 2060-206F
2070-218F, 2460-24FF, 2776-2793, 2C00-2DFF, 2E80-2FFF
3004-3007, 3021-302F, 3031-303F
3040-D7FF
F900-FD3D, FD40-FDCF, FDF0-FE44, FE47-FFFD
10000-1FFFD, 20000-2FFFD, 30000-3FFFD, 40000-4FFFD, 50000-5FFFD,
60000-6FFFD, 70000-7FFFD, 80000-8FFFD, 90000-9FFFD, A0000-AFFFD,
B0000-BFFFD, C0000-CFFFD, D0000-DFFFD, E0000-EFFFD

C++17 是否允许非 ascii 字符作为标识符？

Does C++17 allow a non-ascii character as an identifier?

c++

standards

compiler-errors

user-defined-literals

c++17