是否可以在C++中动态创建一个常量大小的数组？

Question

首先，我想让大家放心，因为我好奇地问了这个问题。我的意思是，不要告诉我，如果我需要这个，那么我的设计就会有问题，因为我不需要真正的代码。希望我相信你现在:)的问题：

对于大多数类型难道我们可以写

T* p = new T; 

现在如果有什么T是数组类型？

int (*p)[3] = new ???; //pointer to array of 3 = new ??? 

我尝试这样做：

typedef int arr[3]; 
arr* p = new arr; 

但这不起作用。

有没有任何有效的语法，或者在C++中是不可能的。如果不可能，那为什么？由于

编辑：我猜测我是不太清楚。我希望能够在这种情况下使用它：

void f(int(&)[3]); 
int (*p)[3] = new ???; 
f(*p); 

Answer 1

你不能这样做的原因是new int[3]已经准确地分配了你想要的东西，一个int[3]类型的对象。这就是新表达式返回，是指向其第一个元素的指针。 5.3.4/1：

如果实体是一个非阵列对象， 新表达式返回一个指针 到创建的对象。如果它是一个 数组，则新表达式会返回指向 数组的初始元素的 指针。

返回一个指向第一个元素是什么让3是未知的，直到运行时，所以我想通过知道它提前，你绊倒了，你是不是使用的灵活性。我想这种方法是reinterpret_cast回到你想要的指针类型（不一定是便携式），或分配一个包含int[3]（并使用指向其数据成员的指针）的结构。

[编辑：呃，是的，或FredOverflow的想法，这既没有缺点，但需要使用delete[]代替delete]

我猜的寓意是，如果你写的模板，天真地分配一些未知类型T与new，那么当有人将数组类型传递为T时，该模板将不起作用。你会将它分配给错误的指针类型，如果你修复了这个错误（可能是auto），你会错误地删除它。

编辑在回答j_kubik的问题：

这里的阵列和非阵列类型之间进行区分的方法之一。如果你写这样的功能，即返回包含指针，能够正确地将其删除的对象，那么你有一个通用的新/删除任何类型T.

#include <iostream> 

template <typename T> 
void make_thing_helper(T *) { 
    std::cout << "plain version\n"; 
} 

template <typename T, int N> 
void make_thing_helper(T (*)[N]) { 
    std::cout << "array version\n"; 
} 

template <typename T> 
void make_thing() { 
    make_thing_helper((T*)0); 
} 

int main() { 
    typedef int T1; 
    typedef int T2[3]; 
    make_thing<T1>(); 
    make_thing<T2>(); 
} 

Answer 2

你只是做

int *p = new unsigned int [3] 

然后可以使用*p为指针或数组即*(p+1) or p[1]

Answer 3

为了得到一个指针从new到数组，您必须动态分配一个二维数组：

int (*p)[3] = new int[1][3]; 

Answer 4

你总是可以使用boost :: array，它将在C++ 0x中。否则，任何解决方案在最好情况下都会很尴尬：数组是 以C分解，而C++在此方面与C保持相容性。 Fred Overflow提供了一个解决方案;甚至更容易（但 句法噪声）将包装在结构中的数组：结构A {int arr [3]; }; 并分配和操作它。