我們可以在 C 中使用“auto”作為模板參數嗎？

模板參數中的Auto 關鍵字：評估可行性和當前限制

雖然C 允許在模板參數中進行詳盡的類型實例化，但問題仍然是：可以使用“auto”關鍵字明確聲明模板參數。這將大大增強編譯時的便利性，無需手動指定參數類型，特別是對於成員函數指標之類的複雜類型。

當前限制

儘管這樣的功能很有吸引力，但目前在 C 語言中還無法實現。雖然提供的程式碼範例嘗試使用“auto”定義模板參數，但編譯器嚴格執行傳統語法，要求在模板參數內明確類型聲明。

解決方法

雖然此限制的直接解決方案仍然難以捉摸，但有一些可行的解決方法可以簡化參數傳遞：

• 巨集： 可以使用巨集來自動產生正確的參數型別。例如，「AUTO_ARG」巨集可以定義為：

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

然後可以如下使用該巨集：

<code class="cpp">f.bar<AUTO_ARG(5)>();
f.bar<AUTO_ARG(&Baz::bang)>();</code>

• 生成器語法： 或者，可以使用生成器函數來推導並建構所需的型別。例如：

<code class="cpp">template <typename T>
struct foo {
    foo(const T& x) {} // do whatever
};

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

此生成器函數允許簡化參數傳遞：

<code class="cpp">make_foo(5);
make_foo(&Baz::bang);</code>

未來注意事項

儘管這些解決方法提供實用的解決方案，在範本參數中包含「auto」關鍵字仍然可以被視為未來C 版本的潛在增強。

以上是我們可以在 C 中使用“auto”作為模板參數嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！