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.

Templaatteja ei käytetä ainoastaan parametrien tyyppien määrittelyyn. Templaattien tehokas ominaisuus on, että myös funktion paluuarvon tyyppi voi riippua templaattiparametrista. Tämä mahdollistaa geneeristen funktioiden luomisen, joiden paluuarvon tyyppi mukautuu annetun templaattityypin mukaan.

I2luY2x1ZGUgPGlvc3RyZWFtPgoKdGVtcGxhdGU8dHlwZW5hbWUgVD4gClQgTXlGaXJzdFRlbXBsYXRlUmV0dXJuKCkgCnsKCS8vIFJldHVybmluZyBhIGRlZmF1bHQtaW5pdGlhbGl6ZWQgdmFsdWUgb2YgdHlwZSBUCglyZXR1cm4gVHt9Owp9CgppbnQgbWFpbigpIAp7CiAgICAvLyBDYWxsIHRoZSB0ZW1wbGF0ZSB3aXRoIHRoZSB2b2lkIHR5cGUKICAgIHN0ZDo6Y291dCA8PCB0eXBlaWQoTXlGaXJzdFRlbXBsYXRlUmV0dXJuPHZvaWQ+KCkpLm5hbWUoKSA8PCBzdGQ6OmVuZGw7Cn0=

Yllä olevassa esimerkissä funktion paluuarvon tyyppi määritellään templaattiparametrilla `T`. Kun määritämme tyypiksi void, kääntäjä tulkitsee sen vastaavasti.

#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

Template-luokat ovat tehokas ominaisuus, jonka avulla voidaan luoda geneerisiä funktioita ja luokkia. Tämä kurssi on suunniteltu tarjoamaan kattava ymmärrys C++-templateista, perussyntaksista edistyneisiin tekniikoihin. Osallistujat oppivat käyttämään templateja kirjoittaakseen tehokasta, uudelleenkäytettävää koodia sekä luomaan geneerisiä algoritmeja ja tietorakenteita.

Tässä osiossa esitellään ohjelmoinnin templatet ja opastetaan ensimmäisen templaten luomisessa sekä template-funktion käytössä.

Tässä osiossa opit mallipohjien roolista koodin toiston vähentämisessä, useiden argumenttityyppien käsittelyssä, typename-parametrien käyttämisessä paluuarvoina sekä implisiittisen ja eksplisiittisen tyyppimäärityksen erottamisessa.

Tässä osiossa esitellään C++:n luokkamallipohjat ja niiden käyttö joustavien tietorakenteiden luomisessa. Osio kattaa luokkamallipohjiin liittyviä aiheita.

Tässä osiossa esitellään C++:n template-erikoistelu ja selitetään, kuinka sen avulla voidaan mukauttaa templaten toimintaa tietyille tyypeille. Osiossa käsitellään sekä täydellisen että osittaisen template-erikoistelun käyttöä ja tarkastellaan template-rajoitteita, joilla voidaan asettaa ehtoja template-parametreille.

Tyypin Parametrin Käyttäminen Paluuarvona

Ratkaisu