テンプレート演繹は、C の関数の戻り値の型のみに基づいて型引数を推測できますか?

戻り値の型に基づく関数のテンプレート推定: 探索

概要

C では、テンプレート推論を使用すると、コンパイラは、以下に基づいてテンプレート関数を呼び出すときに型引数を推論できます。提供される実際の引数。これにより、型引数を明示的に指定する必要がなくなり、コードを簡素化できます。

提案されたシナリオ

指定された問題は、ユーザーがテンプレート推論を使用して、汎用の Allocate 関数を使用して、さまざまなタイプのオブジェクトにメモリを割り当てます。具体的には、次のコードを実現したいと考えています:

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

現在の実装の代わりに:

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

割り当て関数のテンプレート化

現在の Allocate 関数テンプレートは次のように定義されています:

<code class="cpp">template <typename t>
static GCPtr<t> Allocate();</t></typename></code>

ただし、戻り値の型だけを使用して、目的のテンプレート推定を達成することはできません。型推論プロセスは主に関数の引数に依存します。

ヘルパー関数による回避策

この制限を克服するには、ヘルパー関数を使用して明示的な型を隠すことができます。以下に示す引数:

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

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

C の代替構文11

C 11 では、テンプレート推論中に明示的な型宣言を破棄できる構文が導入されています。

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

結論

ヘルパー関数または C 11 を使用して、戻り値の型によるテンプレート推定のみに依存することはできません。構文は、目的の動作に合わせた便利な代替手段を提供できます。これらの手法により、簡素化された構文でさまざまなタイプのオブジェクトを割り当てることが可能になり、明示的な型引数の必要性が減ります。

以上がテンプレート演繹は、C の関数の戻り値の型のみに基づいて型引数を推測できますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。