https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65350
Bug ID: 65350
Summary: [C++14] operator new[] should not be called if # of
initializer elements exceeds # of elements
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: kariya_mitsuru at hotmail dot com
Please see the sample code below.
========================== sample code ==========================
#include <iostream>
#include <new>
void* operator new[](std::size_t size)
{
std::cout << "my operator new[](" << size << ")" << std::endl;
return ::operator new(size);
}
int main()
{
int i = 1;
try {
int* p = new int[i]{ 1, 2 };
delete[] p;
} catch (const std::bad_array_new_length& e) {
std::cout << e.what() << std::endl;
}
}
========================== sample code ==========================
========================== output ==========================
my operator new[](4)
std::bad_array_new_length
========================== output ==========================
cf. http://melpon.org/wandbox/permlink/tQFp5fpPXT5mZu34
The C++14 standard 5.3.4[expr.new]/p.7 says,
The expression in a noptr-new-declarator is erroneous if:
...
--- the new-initializer is a braced-init-list and the number of array
elements
for which initializers are provided (including the terminating '\0' in
a
string literal (2.13.5)) exceeds the number of elements to initialize.
... Otherwise, a new-expression with an erroneous expression **does not call
an allocation function** and terminates by throwing an exception of a type
that would match a handler (15.3) of type std::bad_array_new_length
(18.6.2.2).
...
(emphasis mine)
So, I think that the sample code above should output only
========================== output ==========================
std::bad_array_new_length
========================== output ==========================
