C 中有等價的「模板」嗎？-C++-PHP中文網

C 中有等價的「模板」嗎？

Mary-Kate Olsen

發布： 2024-11-06 05:26:02

原創

331 人瀏覽過

Is There a `template` Equivalent in C ?

你能模仿模板嗎？

C 的模板元編程功能可讓開發人員創建強大且高效的程式碼。但是，在某些情況下，將參數傳遞給模板可能會很麻煩。考慮以下程式碼：

<code class="cpp">struct Foo {
  template<class T, T X>
  void bar() {
    // do something with X, compile-time passed
  }
};

struct Baz {
  void bang() {}
};

int main() {
  Foo f;
  f.bar<int, 5>();
  f.bar<decltype(&Baz::bang), &Baz::bang>();
}</code>

登入後複製

在這個範例中，我們需要明確指定類型並將實際值作為參數傳遞給範本列。

是否可以簡化此語法？我們可以這樣表達嗎：

<code class="cpp">struct Foo {
  template<auto X>
  void bar() {
    // do something with X, compile-time passed
  }
};

struct Baz {
  void bang() {}
};

int main() {
  Foo f;
  f.bar<5>();
  f.bar<&Baz::bang>();
}</code>

登入後複製

答案：

不幸的是，C 沒有提供直接的方法來實現這種語法。最接近的替代方案是宏：

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

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

登入後複製

另一個替代方案：生成器

如果您主要尋求一種避免顯式指定類型的方法，生成器函數可以是可行的解決方案：

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

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

登入後複製

而不是寫：