It is valid to do the below:
T * ptr = new T[0];
0 is a perfectly valid input to the array form of new expression. What is the use of it, you may ask. No use as far as the array is concerned. What use is an array if it does not have any members? What can you possibly do with it? Nothing! Right, you cannot do anything with it but the statement above being valid is atleast a little bit helpful.
It allows you to have code like this:
void f(size_t n)
{
int * ptr = new int[n];
//...
delete[] ptr;
}
instead of:
void f(size_t n)
{
if (n>0)
{
int * ptr = new int[n];
//...
delete[] ptr;
}
}
No other use though as said earlier, because since it has zero elements, you cannot do anything with it.
This reminds of another peculiar extension related to zero sized/unsized arrays. VC++ has an extension which makes use of zero sized arrays as the last member of structures. For example, see this:
#include<cstdlib>
#include<iostream>
struct test
{
int cb;
int buf[];
};
int main()
{
test* bb;
int length = 10;
bb = (test*) malloc(sizeof(test)+sizeof(int)*length);
bb->cb = length;
//fill buf with length int items or can copy from another array for length elements
bb->buf[i]=10; //i should be less than length
//OR--------
test aa = {10, {1,10,22,32}};
std::cout << aa.buf[2];
}
Since the zero size member is in there, there are few restrictions as well. You cannot create an array of the test struct. You can mimic that though like this:
//create an array of length 10 of test pointers
test * ptr[10];
//set each of the pointers to individual elements created as above
Generally, you would be better off keeping a pointer member but it is
worth noting the presence of such an extension. See for details :
Unsized arrays.
The rationale as per msdn is saving the runtime pointer dereferences and that is not specific to C. How big that overhead is, with respect to the application in order to make a choice to this extension, is a different story altogether. You could even implement std::vector<T> using this extension rather than having a pointer to type T! That is, std::vector<T> implementation with VC++ might use this extension but they don't do so. :-)
Interesting one, this one... isn't it? :-)