代码之家 › 专栏 › 技术社区 › 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])

推荐文章

Paul J. Lucas · _C中任意大小的原子结构体赋值?

1 年前

ä½å½è¯ · 如果在命名空间中声明的枚举是在命名空间之外定义的,那么它的枚举值在外部可见吗?

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Thomas Weller · 我在这里有什么样的UB,删除运算符new[]的数组?

1 年前

user17732522 · 使用显式默认构造函数从空大括号复制列表初始化

1 年前

nore · 为什么C标准禁止在源文件末尾使用部分预处理令牌?

1 年前

user17732522 · C中是否允许以命名返回值优化的形式进行复制省略?

1 年前

cppBeginner · 从lambda函数中获取constexpr变量是可以的,但当这样的语句位于新的lambda中时,编译失败(Visual C++)和编译失败(gcc)是可以的

1 年前

Gene · 是否允许使用受约束的别名模板?

1 年前

yg-i · C的“基本执行字符集”中的字符总数究竟是多少?

2 年前