Varsayılan (kullanıcı tanımlı) kurucu ve varsayılan bağımsız değişkenlerle kurucu arasındaki fark nedir?

Question

varsayılan bir kullanıcı tanımlı yapıcı

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

ve WithDefaults da yapabilirsiniz daha bu

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

diğer her biri için varsayılan birden fazla argüman alır ama olan bir kullanıcı tanımlı yapıcısı arasında herhangi bir fark var mı i için açık bir değer ile inşa edilecek?

Özellikle, bu iki kurucu, her ikisi için de aynı varsayılan yapıcı rolünü oynarsa veya sınıfların özellikleri arasında ince farklar varsa, dil söz konusu olduğunda merak ediyorum.

Diğer bir deyişle, tüm argümanları için varsayılan değerleri her şekilde varsayılan bir kurucuya sahip bir kurucu mu?

Answer 1

Güncel Standart çalışılan taslak N4527 [12.1p4]:

bir sınıf X için varsayılan yapıcı sınıfının X bir yapıcı olduğunu ya hiç parametreleri veya başka bir değil her parametresi vardır işlev parametre paketi varsayılan bir argümana sahiptir. [...]

Evet, ikinci sınıfın kurucusu, mükemmel geçerli bir varsayılan kurucudur.

---

C++, 11 ve 14 yayınlanmış sürümlerinde anlatımın farklı, ama Sorunuz için bir fark yapmaz, sadece Not. bir sınıf X için

A varsayılan yapıcı bir tartışma olmadan çağrılabilir sınıfın X bir yapıcı geçerli: Eskiden.

akım ifadeler için değişim

varsayılan başlatma semantiğini netleştirmek amacıyla, DR 1630 sonucunda yapıldı. Önceden, " varsayılan yapıcısı" olarak adlandırılan, yalnızca bir tane olabileceğini ima eden standartlar vardı; Mevcut metnin daha karmaşık senaryoları desteklemesi amaçlanmıştır, ki burada bu tür birçok kurucuya (örneğin, SFINAE kullanarak) sahip olabilirsiniz ve kullanılan normal aşırı yük çözünürlüğü kullanılarak seçilir.