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

Linda Hamilton
リリース: 2024-11-06 06:25:02
オリジナル
475 人が閲覧しました

Can Template Deduction Infer Type Arguments Based Solely on Function Return Type in C  ?

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

概要

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

提案されたシナリオ

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

<code class="cpp">GCPtr<A> ptr1 = GC::Allocate();
GCPtr<B> ptr2 = GC::Allocate();</code>
ログイン後にコピー

現在の実装の代わりに:

<code class="cpp">GCPtr<A> ptr1 = GC::Allocate<A>();
GCPtr<B> ptr2 = GC::Allocate<B>();</code>
ログイン後にコピー

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

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

<code class="cpp">template <typename T>
static GCPtr<T> Allocate();</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);
}</code>
ログイン後にコピー

C の代替構文11

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

<code class="cpp">auto p = GC::Allocate<A>();   // p is of type GCPtr<A></code>
ログイン後にコピー

結論

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

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

ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
著者別の最新記事
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート
私たちについて 免責事項 Sitemap
PHP中国語ウェブサイト:福祉オンライン PHP トレーニング,PHP 学習者の迅速な成長を支援します!