SFINAE по умолчанию значение параметра

Question

Рассмотрим следующий код.

template <typename Metadata> 
struct S { 
     double data; 
     Metadata metadata; 
     explicit S(double d = 0., Metadata const & m = Metadata()) : 
       data(d), metadata(m) 
     {} 
}; 

struct NoDefaultConstructor { 
     NoDefaultConstructor(int) {} 
}; 

struct PrivateDefaultConstructor { 
     PrivateDefaultConstructor(int) {} 
private: 
     PrivateDefaultConstructor() {} 
}; 

следующие компилируется без проблем:

S<float> sf; 

Как и ожидалось, следующие примеры кода не компилировать:

S<NoDefaultConstructor> sndc; 
S<NoDefaultConstructor> sndc(1); 
S<PrivateDefaultConstructor> spdc; 
S<PrivateDefaultConstructor> spdc(1); 

Но что о следующем:

S<NoDefaultConstructor> sndc(1, 1); 
S<PrivateDefaultConstructor> spdc(1, 1); 

Он компилирует fi ne с GCC 4.4.1, но что может сказать об этом стандарт? Должен ли я ожидать ошибку при создании шаблона S с NoDefaultConstructor или PrivateDefaultConstructor?

В общем случае, применяется ли SFINAE по значениям параметров по умолчанию?

Спасибо.

Answer 1

Он должен компилироваться отлично, потому что нет необходимости ссылаться на конструктор по умолчанию, когда второй параметр явно указан (вызывается только конструктор преобразования из конструктора int и copy).

Примечание: оно не связано с SFINAE