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(1, 1); 
S<PrivateDefaultConstructor> spdc(1, 1); 

：

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

有關以下

但什麼

它編譯fi ne與GCC 4.4.1，但有什麼標準可以說呢？我是否應該在模板實例化S與NoDefaultConstructor或PrivateDefaultConstructor期望出現錯誤？

更一般地說，SFINAE是否適用於默認參數值？

謝謝。

Answer 1

它應該很好地編譯，因爲當明確指定第二個參數（只有int和copy構造函數的轉換構造函數被調用）時，不需要調用默認構造函數。

注意：它與SFINAE無關