Differenza tra costruttore e costruttore predefiniti (definiti dall'utente) con argomenti predefiniti?

Question

C'è qualche differenza tra un default definito dall'utente costruttore

class Simple 
{ 
public: 
    Simple() {} 
}; 

e un costruttore definito dall'utente che prende più argomenti, ma ha valori di default per ognuno di questi

class WithDefaults 
{ 
public: 
    WithDefaults(int i = 1) {} 
}; 

diverso da quello WithDefaults può anche essere costruito con un valore esplicito per i?

In particolare, mi chiedo, per quanto riguarda la lingua, se questi due costruttori eseguono lo stesso rotolo di costruttori predefiniti per entrambi, o se ci sono sottili differenze tra le proprietà delle classi?

In altre parole, è un costruttore che ha valori predefiniti per tutti i suoi argomenti un costruttore predefinito in ogni modo?

Answer 1

bozza di lavoro

standard attuale N4527 [12.1p4]:

Un costruttore dipredefinito per una classe X è un costruttore di classe X che o non ha parametri altrimenti ogni parametro che non è un function parameter pack ha un argomento predefinito. [...]

Quindi sì, il costruttore della seconda classe è un costruttore predefinito perfettamente valido.

---

Solo una nota che la formulazione nelle versioni pubblicate di C++ 11 e 14 era leggermente diverso, ma non fa la differenza per la tua domanda. Ha usato essere:

Un costruttore dipredefinito per una classe X è un costruttore di classe X che può essere chiamata senza argomenti.

La modifica della formulazione è stato effettuato a seguito di DR 1630, per chiarire la semantica di inizializzazione predefinito. Precedentemente, c'erano degli standard nello standard che si riferivano a "il costruttore predefinito" ", il che implica che ce ne può essere uno solo; l'attuale formulazione è pensata per supportare scenari più complessi, in cui è possibile avere diversi costruttori (ad esempio utilizzando SFINAE), e quello utilizzato viene scelto usando la normale risoluzione di sovraccarico.