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

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

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

Shafik Yaghmour · 技术社区 · 7 年前

在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 回复 | 直到 7 年前

Shafik Yaghmour 7 年前

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

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

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

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

Bakudan Lovely 7 年前

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

([expr.const])

推荐文章

AstralHex · 矩阵乘法代码工作不正常

11 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

11 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

11 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

11 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

11 月前

Die4Toast · 递归调用成员箭头运算符->

11 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

11 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

11 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

11 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

11 月前