L'overload dell'operatore sovraccarico può avere parametri predefiniti?

Question

Stavo sperimentando gli operatori di sovraccarico new e delete e ho notato che MSVC e GCC sembrano differire nella loro implementazione di operator delete. Si consideri il seguente codice:

#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; 

Questo codice verrà compilato correttamente con GCC (testato sia con Ideone e TutorialsPoint compilatori on-line), ma non con MSVC (testato con MSVS 2010 MSVS 2015 on-line, e Rextester).

Mentre sembra che GCC lo compili come ci si aspetterebbe, MSVC emette l'errore C2831; Ho controllato Cppreference, ma non sono riuscito a trovare una risposta; la pagina default parameter non menziona gli operatori e le pagine non menzionano i parametri predefiniti. Analogamente, la voce Overloading new and delete nelle Domande frequenti su SO C++ non menziona i parametri predefiniti.

Quindi, alla luce di ciò, quale di questi comportamenti (consentendo i parametri predefiniti o considerandoli come un errore) è conforme allo standard C++?

vicini:

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

Answer 1

Una funzione operatore non può avere argomenti di default (8.3.6), tranne quando espressamente indicato di seguito.

(C++ 14 standard, [over.oper]/8; una frase identica viene visualizzata nello standard C++ 03).

Il caso specifico in cui sono consentiti argomenti predefiniti è il caso dell'operatore di chiamata di funzione (operator(); vedere [over.call]/1). In tutti gli altri casi non sono consentiti.