為什麼我的 C 模板參數推導在非推導上下文中失敗？

模板參數推導失敗：了解非推導上下文

在您的程式碼中，您定義了兩個函數（temp 和temp2） ，它們旨在根據參數類型推導模板實參。但是，您會遇到編譯器錯誤，指出它無法推斷這些參數。

問題源自於在函數定義中使用 typename 關鍵字：

// Example 1
template <class A>
A temp(typename S<A>::type a1)

// Example 2
template <class A, class B>
B temp2(typename S<A>::type a1, B a2)

使用範本範本參數時, typename 是引用範本類別中的依賴名稱所必需的。然而，在函數的上下文中並非如此，其中 S::type 只是一個非依賴類型。

在 C 中，當模板參數用於決定其類型的上下文。但是，在本例中，模板參數 A 在非推導上下文中使用，因為它僅出現在引用類型的聲明中：

typedef typename T& type;

因此，編譯器無法從函數呼叫。要解決此問題，您需要在呼叫這些函數時明確指定模板參數：

temp<char>(c);

透過提供明確參數，編譯器能夠使用適當的類型正確實例化模板。

以上是為什麼我的 C 模板參數推導在非推導上下文中失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！