C 中模板推導可以基於函數的回傳類型嗎？

根據回傳類型對函數進行模板推導？

在 C 中，模板推導提供了一種基於函數確定模板參數的便捷方法提供給函數呼叫的參數。但是，模板推導有一定的限制，例如無法根據函數的傳回類型推導類型參數。

問題：

原始問題旨在消除在以下程式碼中呼叫Allocate() 函數時明確指定型別參數的需要：

<code class="cpp">GCPtr<a> ptr1 = GC::Allocate();
GCPtr<b> ptr2 = GC::Allocate();</b></a></code>

答案：

不幸的是，模板推導不能用於根據返回類型推導類型參數。相反，它是相反的：返回類型是在模板簽名匹配後確定的。

解決方法：

要繞過此限制，可以使用Allocate( ) 函數可以包裝在輔助函數中，該函數對呼叫者隱藏類型參數：

<code class="cpp">// helper
template <typename t>
void Allocate(GCPtr<t>& p) {
   p = GC::Allocate<t>();
}

int main() {
   GCPtr<a> p = 0;
   Allocate(p);
}</a></t></t></typename></code>

這允許調用者使用Allocate() 函數而無需顯式指定類型參數：

<code class="cpp">GCPtr<a> p = 0;
Allocate(p);</a></code>

附加說明：

C 11 引入了auto 關鍵字，它允許編譯器從初始值設定項推斷類型。這進一步簡化了程式碼：

<code class="cpp">auto p = GC::Allocate<a>(); // p is of type GCPtr</a><a></a></code>

以上是C 中模板推導可以基於函數的回傳類型嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！