Kann der überladene Operator löschen Standardparameter haben?

Question

Ich experimentierte mit dem Überladen der Operatoren new und delete und bemerkte, dass MSVC und GCC sich in ihrer Implementierung von operator delete zu unterscheiden scheinen. Betrachten Sie den folgenden Code ein:

#include <cstddef> 

struct CL { 
    // The bool does nothing, other than making these placement overloads. 
    void* operator new(size_t s, bool b = true); 
    void operator delete(void* o, bool b = true); 
}; 
// Functions are simple wrappers for the normal operators. 
void* CL::operator new(size_t s, bool b) { return ::operator new(s); } 
void CL::operator delete(void* o, bool b) { return ::operator delete(o); } 

auto aut = new (false) CL; 

Dieser Code kompiliert richtig mit GCC (getestet mit sowohl Ideone und TutorialsPoint Online-Compiler), aber nicht mit MSVC (getestet mit MSVS 2010 MSVS 2015 online, und Rextester).

Während es scheint, dass GCC es kompiliert, wie man erwarten würde, gibt MSVC Fehler C2831 aus; Ich habe Cppreference überprüft, konnte aber keine Antwort finden; die default parameter Seite erwähnt keine Operatoren, und die operator overloading & operator delete Seiten erwähnen keine Standardparameter. In ähnlicher Weise erwähnt der Overloading new and delete Eintrag in SO C++ FAQ Standardparameter nicht.

In Anbetracht dessen, welches der folgenden Verhaltensweisen (das Zulassen von Standardparametern oder deren Behandlung als Fehler) entspricht dem C++ - Standard?

Links:

• On Ideone
• On Rextester (as VC++)

Answer 1

Ein Operator Funktion Standardargumente nicht (8.3.6) haben können, sofern unten explizit angegeben.

(C++ 14 Standard, [over.oper]/8; ein identischer Satz erscheint im C++ 03 Standard).

Der spezielle Fall, in dem Standardargumente zulässig sind, ist der Fall des Funktionsaufrufoperators (operator(); siehe [over.call]/1). In allen anderen Fällen sind sie nicht erlaubt.