#include <iostream>
int main(){
    using type = int[2];
    static_cast<type>(type{1,2});  //#1
}

Clang和GCC都抱怨#1格式不正确，并给出了奇怪的诊断。

Clang报告

static_cast from 'int *' to 'type' (aka 'int [2]') is not allowed  

GCC报告

invalid 'static_cast' from type 'type' {aka 'int [2]'} to type 'type' {aka 'int [2]'}   

但是，根据expr.static.cast#4

如果存在从E到T的隐式转换序列([over.best.ics])，则表达式E可以显式转换为类型T

将一个类型转换为同一类型不是叫做标识转换吗？
over.best.ics#General-8

如果不需要转换来将参数与参数类型匹配，则隐式转换序列是由标识转换([over.ics.scs])组成的标准转换序列。

我认为这里的一个重要规则是

转换序列是[conv]中定义的隐式转换，这意味着它由单个表达式([dcl.init],[dcl.init.ref])初始化对象或引用的规则管理。

这意味着，假设结果对象是t，它将由prvalue初始化。

type t = type{1,2};  // #2

#2也被Clang和gcc拒绝。但是，这样的情况应该被dcl.init.general#15.9捕获

否则，正在初始化的对象的初始值是初始值设定项表达式的（可能已转换的）值。如果需要,将使用标准转换序列([conv])将初始值设定项表达式转换为目标类型的cv-unqualified版本；不考虑用户定义的转换。如果不能进行转换，则表示初始化格式不正确。当用一个位字段不能表示的值初始化该位字段时，该位字段的结果值是实现定义的。

根据basic.lval#1.2

prvalue是一个表达式，其求值初始化对象或计算运算符的操作数的值（由其出现的上下文指定），或者是一个具有cv void类型的表达式。

在这种情况下，不是type类型的prvalue不能初始化结果对象吗？

Clang假设数组到指针的转换应用于操作数。但是，只有当项目符号进入expr.static.cast#8时，才允许这样的转换。换句话说，这里的转换不应适用于项目符号4中的操作数。

GCC给出了一个更不合理的诊断。我想知道为什么Clang和gcc禁止显式转换？