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.

Templates zijn niet alleen bedoeld voor het definiëren van parameter types. Een krachtige eigenschap van templates is dat het retourtype van een functie ook kan afhangen van de templateparameter. Dit biedt de flexibiliteit om generieke functies te maken waarvan het retourtype zich aanpast op basis van het opgegeven templatetype.

I2luY2x1ZGUgPGlvc3RyZWFtPgoKdGVtcGxhdGU8dHlwZW5hbWUgVD4gClQgTXlGaXJzdFRlbXBsYXRlUmV0dXJuKCkgCnsKCS8vIFJldHVybmluZyBhIGRlZmF1bHQtaW5pdGlhbGl6ZWQgdmFsdWUgb2YgdHlwZSBUCglyZXR1cm4gVHt9Owp9CgppbnQgbWFpbigpIAp7CiAgICAvLyBDYWxsIHRoZSB0ZW1wbGF0ZSB3aXRoIHRoZSB2b2lkIHR5cGUKICAgIHN0ZDo6Y291dCA8PCB0eXBlaWQoTXlGaXJzdFRlbXBsYXRlUmV0dXJuPHZvaWQ+KCkpLm5hbWUoKSA8PCBzdGQ6OmVuZGw7Cn0=

In het bovenstaande voorbeeld wordt het retourtype van de functie bepaald door de templateparameter `T`. Wanneer we void als type opgeven, interpreteert de compiler dit dienovereenkomstig.

#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

Templates zijn een krachtige functie waarmee generieke functies en klassen kunnen worden gemaakt. Deze cursus is ontworpen om een uitgebreid begrip van C++-templates te bieden, van basis-syntaxis tot geavanceerde technieken. Deelnemers leren hoe ze templates kunnen gebruiken om efficiënte, herbruikbare code te schrijven en generieke algoritmen en datastructuren te creëren.

Deze sectie introduceert templates in programmeren en begeleidt je bij het maken van je eerste template en het gebruiken van de templatefunctie.

In deze sectie leer je de rol van templates bij het verminderen van code duplicatie, het omgaan met meerdere argumenttypen, het gebruik van typename parameters als returntypen, en het onderscheiden tussen impliciete en expliciete typespecificatie.

Deze sectie introduceert klassetemplates in C++ en hun gebruik bij het creëren van flexibele datastructuren. Het behandelt onderwerpen gerelateerd aan templateklassen.

Deze sectie introduceert templatespecialisatie in C++, waarbij wordt uitgelegd hoe dit aangepaste functionaliteit van templates voor specifieke typen mogelijk maakt. Het behandelt het gebruik van zowel volledige als gedeeltelijke templatespecialisatie en bespreekt templatebeperkingen om specifieke voorwaarden aan templateparameters af te dwingen.

Typenaamparameter als Retourtype

Oplossing