是否需要诊断非类型模板参数中的缩小转换？

Question

这几乎可以肯定是gcc错误的一个重复，在非类型模板参数中不诊断缩小转换吗？但它并没有提供令人满意的答案。答案并没有说明GCC不提供诊断是否错误，只是给出了一个在某种程度上可以替代的警告标志。

本标准的相关章节：

§14.3.2/5

对于整数或枚举类型的非类型模板参数，应用转换常量表达式（5.19）中允许的转换。

§5.19/3

类型T的转换常量表达式是一个字面常量表达式，隐式转换为类型T，其中字面常量表达式中允许隐式转换（如果有），且隐式转换序列仅包含用户定义的转换、左值到右值的转换（4.1）、积分提升（4.5），除窄化转换（8.5.4）外的积分转换（4.7）

该标准解决了缩小转换会使程序格式错误的情况，但这里有一个明显的遗漏，因此编译器不同意（GCC不提供诊断，Clang使其成为错误，MSVC也不提供诊断。）标准中是否有语言说明对于这种情况，需要诊断（即格式错误）？

#include <array>

int main()
{
    std::array<int, -1> a;
}

Answer 1

截至n3337，措辞已被修改，以明确结果是不正确的。(§14.3.2/5):

对用作非类型模板参数的每个表达式执行以下转换。如果无法将非类型模板参数转换为相应模板参数的类型，则程序的格式不正确。

由于它规定程序格式不正确，并且没有给予相反的具体许可，因此违反此规定需要进行诊断（根据§1.4/1）：

可诊断规则集包括本国际标准中的所有语法和语义规则，但包含明确表示“无需诊断”或被描述为导致“未定义行为”的规则除外

FWIW，请注意，他们还将允许转换的定义与转换常量表达式的定义分开——可能的转换现在直接列在§14.3.2/5中。