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 dienen nicht nur zur Definition von Parametertypen. Eine leistungsstarke Eigenschaft von Templates ist, dass auch der Rückgabewert einer Funktion vom Template-Parameter abhängen kann. Dies ermöglicht die Erstellung generischer Funktionen mit Rückgabetypen, die sich je nach angegebenem Template-Typ anpassen.

I2luY2x1ZGUgPGlvc3RyZWFtPgoKdGVtcGxhdGU8dHlwZW5hbWUgVD4gClQgTXlGaXJzdFRlbXBsYXRlUmV0dXJuKCkgCnsKCS8vIFJldHVybmluZyBhIGRlZmF1bHQtaW5pdGlhbGl6ZWQgdmFsdWUgb2YgdHlwZSBUCglyZXR1cm4gVHt9Owp9CgppbnQgbWFpbigpIAp7CiAgICAvLyBDYWxsIHRoZSB0ZW1wbGF0ZSB3aXRoIHRoZSB2b2lkIHR5cGUKICAgIHN0ZDo6Y291dCA8PCB0eXBlaWQoTXlGaXJzdFRlbXBsYXRlUmV0dXJuPHZvaWQ+KCkpLm5hbWUoKSA8PCBzdGQ6OmVuZGw7Cn0=

Im obigen Beispiel wird der Rückgabewert der Funktion durch den Template-Parameter `T` definiert. Wenn wir void als Typ angeben, interpretiert der Compiler dies entsprechend.

#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 sind eine leistungsstarke Funktion, die die Erstellung generischer Funktionen und Klassen ermöglicht. Dieser Kurs ist darauf ausgelegt, ein umfassendes Verständnis von C++-Templates zu vermitteln, von der grundlegenden Syntax bis hin zu fortgeschrittenen Techniken. Die Teilnehmenden lernen, wie sie Templates nutzen, um effizienten, wiederverwendbaren Code zu schreiben und generische Algorithmen sowie Datenstrukturen zu erstellen.

Dieser Abschnitt führt in Templates in der Programmierung ein und leitet Sie an, Ihr erstes Template zu erstellen und die Template-Funktion zu verwenden.

In diesem Abschnitt lernen Sie die Rolle von Templates bei der Reduzierung von Code-Duplikation, der Handhabung mehrerer Argumenttypen, der Verwendung von Typnamen-Parametern als Rückgabewerte und der Unterscheidung zwischen impliziter und expliziter Typspezifikation kennen.

Dieser Abschnitt führt in Klassentemplates in C++ ein und deren Verwendung zur Erstellung flexibler Datenstrukturen. Es werden Themen zu Template-Klassen behandelt.

Dieser Abschnitt führt in die Templatespezialisierung in C++ ein und erklärt, wie sie eine angepasste Funktionalität von Templates für bestimmte Typen ermöglicht. Es werden sowohl die vollständige als auch die partielle Templatespezialisierung behandelt und Template-Bedingungen zur Durchsetzung spezifischer Anforderungen an Template-Parameter diskutiert.

Typname-Parameter als Rückgabewert

Lösung