為什麼在範本參數中使用'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>::value>::type* = nullptr>
void f() { }

template<typename t typename std::enable_if>::value>::type* = nullptr>
void f() { }</typename></typename>

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

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

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

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

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

template<class t class u std::enable_if_t>::value> */>
void g() { }

template<class t class u std::enable_if_t>::value> */>
void g() { }</class></class>

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

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

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

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