自動類型推斷可以模擬 C 中的範本繼承嗎？

透過自動型別推斷模擬範本繼承

使用auto 自動指定範本參數的能力將在明確鍵入的情況下提供方便的快捷方式完整的類型可能是乏味或複雜的。然而，需要注意的是，C 目前不支援 template 的直接模擬。

使用巨集方便的參數傳遞

作為一種解法，可以利用巨集來模擬自動型別推論。考慮以下範例：

<code class="cpp">#define AUTO_ARG(x) decltype(x), x

Foo f;
f.bar<AUTO_ARG(5)>(); // Equivalent to f.bar<int, 5>()
f.bar<AUTO_ARG(&Baz::bang)>(); // Equivalent to f.bar<decltype(&Baz::bang), &Baz::bang>()</code>

雖然這種方法可以簡化呼叫語法，但它引入了潛在的陷阱並且需要明確巨集呼叫。

利用模板產生器進行自動推導

另一個解決方案是建立模板產生器函數：

<code class="cpp">template <typename T>
struct foo
{
    foo(const T&) {} // Perform specific actions
};

template <typename T>
foo<T> make_foo(const T& x)
{
    return foo<T>(x);
}</code>

使用此生成器，無需明確指定模板參數類型：

<code class="cpp">foo<int>(5);</code>

可以使用生成器函數的推導功能：

<code class="cpp">make_foo(5); // Deduces and creates foo<int>(5)</code>

以上是自動類型推斷可以模擬 C 中的範本繼承嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！