• 环境：x86-64Clang 6.0.0

函数的定义：

void foo(const char*) {}

1. foo(char[16]{}); //houston, there is a problem!
2. foo(type_alias<char[16]>{}); //compile happily

type_alias很简单：

template<typename T>
using type_alias = T;

live demon https://godbolt.org/g/6MmABg

正如评论指出的那样，case 1无法编译case 2 can.

我知道alias declarations with using不是文本替换（比如#define) 并且它是类型的同义词。

但我仍然不知道如何解释这种情况。然后我给GCC a try https://wandbox.org/permlink/RKLfaLiEU4HnW6HS:

prog.cc: In function 'int main()':
prog.cc:11:7: error: expected primary-expression before 'char'
   foo(char[16]{});
       ^~~~
prog.cc:12:7: error: taking address of temporary array
   foo(type_alias<char[16]>{});
       ^~~~~~~~~~~~~~~~~~~~~~

Ah, GCC相反给了我一个错误！然后我用两个编译器的不同版本来编译它：

• Clang的错误消息case 1 is:

prog.cc:11:11: 错误：函数式转换或类型构造需要 '('

foo(char[16]{});
      ~~~~^

• Clang lets case 2 pass.

• GCC禁止这两种情况通过竞争。错误消息case 1 and case 2已在上面列出。

顺便说一句，对于Clang，我也测试过pedantic-errors，但没有任何改变。

问题：

• For case 2: Clang, GCC，谁符合标准？标准（语言律师）有什么规范吗？
• For case 1: 谁的错误信息更正确（IOW，符合标准）？

Update

正如 VTT 评论的那样，对于case 1， 它应该是foo(const char[16]{});。为这个错误道歉。

But Clang可以编译foo(type_alias<char[16]>{});。好像是个bug？

Well, type_alias<cv T>{}相当于(cv T){}，不至于cv T{}。这种区别很重要，当T是一个数组：

foo((const char[16]){});              // OK
foo(type_alias<const char[16]>{});    // OK

foo(const type_alias<char>[16]{});    // KO
foo(const char[16]{});                // KO

Demo: https://wandbox.org/permlink/KGf3HVqN3USq6yy8 https://wandbox.org/permlink/KGf3HVqN3USq6yy8

对于情况2：Clang、GCC，谁符合标准？标准（语言律师）有什么规范吗？

双方都同意，双方都接受foo(type_alias<char>[16]{})，但是海湾合作委员会warns你关于它（并且因为你编译了-Werror，此警告将变成错误；）。