爲什麼在沒有enable_if的情況下不能編譯？

爲什麼下面的代碼不能編譯，如果我刪除enable_if？爲什麼在沒有enable_if的情況下不能編譯？

template<class T, class = typename std::enable_if< 
      std::is_constructible<T, double,double,double>::value 
      >::type > 
operator T() const 
{ 
    return T{x, y, z}; 
}

示例代碼：與enable_if http://ideone.com/nWdmJh

而不enable_if +編譯錯誤 http://ideone.com/FBMamF

來源

2013-08-07 Neil Kirk

你operator T()返回與x,y,z初始化爲T列表。這意味着DoSomething的過載在需要2個向量或需要向量的過程和double*之間不明確。

因此，如果您在調用站點將您的第二個參數強制轉換爲您想要的類型，您將明確告訴編譯器需要採取的重載。

std::enable_if基本上消除了使用三個double s不可構造的過載，這意味着它消除了模糊性，因此它編譯。

你的載體可以與三個double s構造。

Vector(double x, double y, double z)

來源

2013-08-07 10:39:21

數組在哪裏？難道它不直接選擇一個轉換嗎''double *'（如果實例化會失敗，但沒有被實例化，因爲重載解析早已出錯）？ – hvd

數組？呵呵....？ –

你編輯了你的答案腐敗，並把它放回去。你不應該把它放回:)只是嘗試刪除其他超載，並強制隱式轉換爲'double *'：它不會工作。轉換爲'double *'是不可能的。有和沒有'enable_if'之間唯一的區別是什麼時候被檢測到。 – hvd

沒有enable_if，您的轉換運算符對每種類型都存在。如果嘗試實例化不能從{x, y, z}構造的類型的轉換運算符，但不會改變運算符存在的事實，則會出現錯誤。因爲它存在，所以該類型被認爲可轉換爲double *，並且重載解析不能選擇最佳匹配。

來源

2013-08-07 10:42:22 hvd

爲什麼在沒有enable_if的情況下不能編譯？

回答

相關問題