Здравствуйте, jazzer, Вы писали:
E>>Собственно, вопрос о том, что именно по этому поводу прописано в стандарте, обсуждается уже лет пять. По последним данным, реализация имеет право вызывать operator delete при использовании null pointer value в delete-expression, но не обязана делать это (See DR#348).
J>Спасибо, было весело почитать
J>Сначала аргументация типа "Standard doesn't specify term "has no effect".", а потом в предложении по изменениям "The value of the first argument supplied to a deallocation function may be a null pointer value; if so, and if the deallocation function is one supplied in the standard library, the call has no effect"
Да, далек стандарт от совершенства, очень далек.

Новые формулировки хотя бы отвечают на практический вопрос, что будет с пользовательским operator delete. Уже приятно. Но, откровенно говоря, лично я предпочел бы стандарт в виде формального математического описания, а не в human readable форме.