动态分配函数指针数组时的警告

Question

我想动态分配一个函数指针数组。以下是我的一些尝试：

#include <type_traits>

void f(int n) {
    // auto p1 = new void(*[n])(); // syntax error

    auto p2 = new (void(*[n])()); // warning, see below

    auto p3 = new typeof(void(*)())[n]; // non-standard extension

    using fptr = void(*)(); auto p4 = new fptr[n]; // verbose, but okay

    auto p5 = new std::add_pointer_t<void()>[n]; // hackish
}

我想知道为什么p2 会导致警告，因为我不能在没有括号的情况下编写它（例如在p1 中）？

(gcc) 警告：必须指定非常量数组的新长度 类型 ID [-Wvla]

周围的括号

(clang) 警告：当类型在括号中时，数组不能有 动态大小

这是一个纯粹的理论问题。我不是在寻找如何编写好的代码来解决问题的建议。

Answer 1

有一种方法可以在没有某种类型别名的情况下编写此表达式。但这不值得。

new-expression 的语法是

新表达式：

     ::_opt   new-placement_optnew -type-id new-initializer_opt

     ::_opt   new-placement_opt(type-id) new-initializer_opt

新类型 ID：

     type-specifier-seq new-declarator_opt

新声明符：

     ptr-operator new-declarator_opt

     noptr-new-declarator

ptr 运算符：

     * attribute-specifier-seq_optcv-qualifier-seq_选择

     & attribute-specifier-seq_opt

     && attribute-specifier-seq_opt

     nested-name-specifier * attribute-specifier-seq_optcv-限定符序列_选择

noptr-new-declarator：

     [ 表达式 ] attribute-specifier-seq_opt

     noptr-new-declarator [ constant-expression ] attribute-specifier-seq_opt

new-type-id 中使用的 new-declarator 语法符号类似于 type 中使用的 abstract-declarator 符号-id，有三个重要区别：

• new-declarator 允许在第一组方括号之间使用非常量表达式，以指定动态创建可变大小的数组。 type-id 不是因为“array T of size N”只有当 N 是一个常量表达式时才是有效的 C++ 类型。

• type-id 允许将 ptr-abstract-declarator 括在括号中，以帮助指定指向数组的指针或指向函数的指针类型，和/或将函数参数列表括在括号中以指定函数类型。 new-declarator 根本不允许使用任何括号！ new 关键字后面的任何括号指定一个 new-placement，或一个带括号的 type-id，或一个 new-initializer。 （我想如果 new-type-id 也可以包含括号，那么消除所有这些东西的组合的歧义会非常混乱。）

• type-id 允许... 省略号标记位于真实声明将具有标识符的位置。这里不是很相关，但这允许未命名的函数参数包，如template<class T> void f(T...);

因此，使用 type-id 的 new-expression 表单不允许使用您的示例函数需要的可变大小。而使用 new-type-id 的 new-expression 形式在其语法树中根本不允许任何函数参数列表，因此必须在类型说明符序列。我认为可能性是 type-name、decltype-specifier 或 typename-specifier。

所以我猜 decltype-specifier 选项确实为我们提供了另一种编写表达式的愚蠢冗长的方式，但这次不需要命名类型别名或#include。

auto p6 = new decltype(static_cast<void(*)()>(nullptr))[n];