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>

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 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 як Тип, Що Повертається

Рішення