Summary  
This chapter shows how to define function templates with multiple typename parameters so you can create flexible functions that accept and operate on mixed types, with the compiler automatically generating specific versions for each type combination.  

General domain of usage  
printing mixed-type data

Watch this video for a visual explanation of using multiple template parameters in C++. See how to define templates with more than one typename, and how to call template functions with different type arguments. This will help you understand how C++ templates enable flexible and reusable code for functions needing multiple types.

Joskus tarvitset useampaa kuin yhtä tyyppiä funktion käyttämiseen, ja tätä varten voit yksinkertaisesti lisätä lisää malliparametreja. Varmista vain, että annat niille eri nimet.

Malliparametrien määrälle ei ole varsinaista ylärajaa. Yleisenä ohjeena pidä niiden määrä mahdollisimman pienenä.

Huomio

Luo funktiomalli `print_pair`, joka mahdollistaa muotoillun viestin tulostamisen, joka sisältää kaksi arvoa. Määrittelemällä malliparametrit voit määrittää tulostettavien arvojen tyypit.

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

#include <type_traits>

template<typename Type1, typename Type2>
auto add_pair(Type1 first, Type2 second)
{
    return first + second;
}

TEST_CASE("add_pair returns correct numeric sum", "[add_pair]") {
    REQUIRE(add_pair(5, 10) == 15);
    REQUIRE(add_pair(5, 10.5f) == Approx(15.5f));
    REQUIRE(add_pair(5, 10.5) == Approx(15.5));
}

TEST_CASE("add_pair works with char plus int", "[add_pair]") {
    // 'A' is 65 in ASCII, so 65 + 5 = 70
    REQUIRE(add_pair('A', 5) == 70);
}

TEST_CASE("add_pair return type is deduced correctly", "[add_pair][type]") {
    REQUIRE(std::is_same_v<decltype(add_pair(5, 10.5)), double>);
    REQUIRE(std::is_same_v<decltype(add_pair('A', 5)), int>);
}

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.

Työskentely Useiden Tyyppinimien Kanssa Malleissa

Ratkaisu