Summary  
This chapter explains how to use a template type parameter (typename T) as the return type of a C++ function, allowing the function’s return type to adapt automatically to the argument types for reusable, type-safe generic code.

General domain of usage  
Numeric computations

Watch this video to see how a template's typename parameter can be used as a return type in C++. You'll learn how template functions adapt their return type based on the type you specify, and view step-by-step demonstrations of writing and calling these functions with different types. This visual walkthrough will reinforce your understanding of how return types in templates work and why this feature makes C++ templates so powerful for generic programming.

テンプレートはパラメータの型を定義するだけでなく、関数の戻り値の型もテンプレートパラメータに依存させることができる強力な機能を持っています。これにより、指定されたテンプレート型に応じて戻り値の型が変化する汎用的な関数を柔軟に作成できます。

I2luY2x1ZGUgPGlvc3RyZWFtPgoKdGVtcGxhdGU8dHlwZW5hbWUgVD4gClQgTXlGaXJzdFRlbXBsYXRlUmV0dXJuKCkgCnsKCS8vIFJldHVybmluZyBhIGRlZmF1bHQtaW5pdGlhbGl6ZWQgdmFsdWUgb2YgdHlwZSBUCglyZXR1cm4gVHt9Owp9CgppbnQgbWFpbigpIAp7CiAgICAvLyBDYWxsIHRoZSB0ZW1wbGF0ZSB3aXRoIHRoZSB2b2lkIHR5cGUKICAgIHN0ZDo6Y291dCA8PCB0eXBlaWQoTXlGaXJzdFRlbXBsYXRlUmV0dXJuPHZvaWQ+KCkpLm5hbWUoKSA8PCBzdGQ6OmVuZGw7Cn0=

上記の例では、関数の戻り値の型がテンプレートパラメータ `T` によって定義されています。void 型を指定した場合、コンパイラはそれに応じて解釈します。


#define CATCH_CONFIG_MAIN
#include <catch2/catch.hpp>

int _testmain();


#include <catch2/catch.hpp>
#include <string>

template<typename T>
T GetValue(T value);

TEST_CASE("GetValue returns the same int value passed", "[GetValue][int]") {
    int input = 42;
    REQUIRE(GetValue<int>(input) == 42);
}

TEST_CASE("GetValue returns the same std::string value passed", "[GetValue][string]") {
    std::string input = "c<>edefinity";
    REQUIRE(GetValue<std::string>(input) == "c<>edefinity");
}

TEST_CASE("GetValue returns the same float value passed", "[GetValue][float]") {
    float input = 21.55f;
    REQUIRE(GetValue<float>(input) == Approx(21.55f));
}

TEST_CASE("GetValue returns the same bool value passed (true)", "[GetValue][bool]") {
    bool input = true;
    REQUIRE(GetValue<bool>(input) == true);
}

TEST_CASE("GetValue returns the same bool value passed (false)", "[GetValue][bool]") {
    bool input = false;
    REQUIRE(GetValue<bool>(input) == false);
}

test.cpp

テンプレートは、汎用的な関数やクラスの作成を可能にする強力な機能です。本コースは、C++のテンプレートについて、基本的な構文から高度なテクニックまで包括的に理解できるよう設計されています。受講者は、テンプレートを活用して効率的で再利用可能なコードを書き、汎用的なアルゴリズムやデータ構造を作成する方法を学びます。

このセクションでは、プログラミングにおけるテンプレートを紹介し、最初のテンプレートの作成とテンプレート関数の使用方法を案内します。

このセクションでは、コードの重複を減らすためのテンプレートの役割、複数の引数型の処理、戻り値型としてのtypenameパラメータの使用、暗黙的および明示的な型指定の違いについて学びます。

このセクションでは、C++のクラステンプレートと、それを用いた柔軟なデータ構造の作成方法について紹介します。テンプレートクラスに関連するトピックを取り上げます。

このセクションでは、C++におけるテンプレートの特殊化について紹介し、特定の型に対してテンプレートの動作をカスタマイズする方法を説明します。完全および部分テンプレート特殊化の使用方法を取り上げ、テンプレートパラメータに特定の条件を課すためのテンプレート制約についても解説します。

Typenameパラメータを戻り値として使用

解答