為什麼在範本參數中使用'enable_if_t”會導致重新定義錯誤？

為什麼模板參數中的enable_if_t會導致重定義錯誤

在C中，std::enable_if用於模板參數中的條件類型選擇。當使用較新的語法 typename std::enable_if_t<...> 時取代 typename std::enable_if<...>::type*，編譯器可能會引發重新定義錯誤。

要理解原因，請考慮以下程式碼：

template<typename T,
         typename std::enable_if<std::is_same<int, T>::value>::type* = nullptr>
void f() { }

template<typename T,
         typename std::enable_if<std::is_same<double, T>::value>::type* = nullptr>
void f() { }

This程式碼聲明了兩個模板，根據 T 是 int 還是 double 來重載 f。但是，當程式碼更新為使用std::enable_if_t 時，會導致重新定義錯誤：

template<typename T,
         typename = std::enable_if_t<std::is_same<int, T>::value>>
void g() { }

template<typename T,
         typename = std::enable_if_t<std::is_same<double, T>::value>>
void g() { }

錯誤的原因是，即使第二個模板參數的預設值不同，模板仍然是相同的類型，templatevoid()。這相當於有兩個函數 print(string, int) 具有不同的預設 int 值，這對於重載是無效的。

要解決此問題，請刪除模板參數中的enable_if 子句並將typename 替換為class：

template<class T, class U /* = std::enable_if_t<std::is_same<int, T>::value> */>
void g() { }

template<class T, class U /* = std::enable_if_t<std::is_same<double, T>::value> */>
void g() { }

或者，您可以為第二個模板參數指定不同的類型：

template<class T, std::enable_if_t<std::is_same<int, T>::value, int> = nullptr>
void g() { }

template<class T, std::enable_if_t<std::is_same<double, T>::value, int> = nullptr>
void g() { }

以上是為什麼在範本參數中使用'enable_if_t”會導致重新定義錯誤？的詳細內容。更多資訊請關注PHP中文網其他相關文章！