代码之家 › 专栏 › 技术社区 › Shafik Yaghmour

在C++ 14中,在新表达式的维度中使用双元是有效的吗?

new-expression language-lawyer c++14 c++

Shafik Yaghmour · 技术社区 · 6 年前

在C++ 14中给出以下代码:

void foo() {
  double d = 5.0;
  auto p1 = new int[d];
}

error: expression in new-declarator must have integral or enumeration type
    7 |     auto p1 = new int[d];
      |                       ^

我特别地标记了这个C++ 14,因为在C++ 11模式中,CLAN把它看作是不正确的,并产生下面的诊断( see it live in godbolt ):

error: array size expression must have integral or unscoped enumeration type, not 'double'
    auto p1 = new int[d];
              ^       ~

叮当声对吗?如果是这样,C++ 14中发生了什么变化?

2 回复 | 直到 6 年前

Shafik Yaghmour 6 年前

叮当声是正确的,关键的措辞在 [expr.new]p6 C++ 11草案中的下列更改:

常量表达式 在一个 noptr新声明符 a中的表达式应为整型、非作用域枚举型,或存在到整型或非作用域枚举型的单个非显式转换函数的类类型 ([类转换]). 如果表达式是类类型,则通过调用该转换函数来转换表达式,并使用转换结果代替原始表达式。

常量表达式 在一个 noptr新声明符 应为转换后的常量表达式([表达式常量])类型 std::size_t noptr新声明符 隐式转换为 标准::尺寸 .

noptr新声明符 被削弱为不需要整数、非作用域枚举或具有将单个非显式转换函数转换为这些类型之一,但只允许隐式转换为

Bakudan Lovely 6 年前

每在一个 noptr新声明符 std::size_t 并应评估为严格的正值。 a中的表达式 noptr新声明符 标准::尺寸 . [..]

([expr.const])

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前