Jawna konkretyzacja, jawna specjalizacja Pytania

Question

Nie rozumiem paru zagadnień z książki Praty. Mam nadzieje że mi pomożecie. 

1 "Jawne konkretyzacje mogą być tworzone również poprzez użycie funkcji w programie".  Czyli można je używać poza funkcją? Jak?

2 Według mojego rozumowania jawnej konkretyzacji używa się gdy chcemy użyć szablonu funkcji gdzie w prototypie są np dwa parametry typu t a my chcemy podać np  paramert int oraz double ( i chcemy żeby kompilator przekonwertował int na double a nie odwrotnie) .Wtedy robimy  funkcja<parametr na jaki konwertujemy>(parametr1,paramert2)  Czy dobrze rozumuje ? 

3 Mam fragment kodu;

...
template<class T>
void Swap( T &,T&);
template <> void Swap<job>(job &, job&); 

int main(void)
template void Swap<char>(char &, char&); //jawna konkretyzacja 
( nie rozumiem co robi powyższa linijka i jaki jest jej sens intnienia) 

(jakiś kod który rozumiem)

char g,h;
Swap(g,h); //użycie jawnie skonkretyzowanego szablonu
( i tego nie rozumiem co to mi da)

W nawiasach są moje uwagi. 

 

Answer 1

Pomijając dziwne umiejscowienie maina...

Jawna konkretyzacja to takie polskie określenie na template specialization, a znaczy ona mniej więc tyle, że dla konkretnych przypadków używamy innych funkcji/klas/struktur.

template<typename T> struct is_void : std::false_type // primary template
{};

template<> struct is_void<void> : std::true_type // explicit specialization for T = void
{};

Przykład praktyczny z C++, ale przedstawię bardziej zrozumiały przykład:

template <typename T> T Add(T a, T b) 
{ return a + b; }

template<> MyNumber Add<MyNumber> (MyNumber a, MyNumber b)
{ return a.GetInt() + b.GetInt(); }

Dla typów wbudowanych i tych co mają zadeklarowaną funkcję operatorową + nie będzie problemu, lecz gdy na przykład Twoja klasa wymaga dodatkowej rzeczy takiej jak GetInt(), aby przeprowadzić obliczenia, musisz zrobić specjalizację, która obsłuży ten przypadek.

Zamiast specjalizacji można by było w sumie zrobić osobną funkcję. A jak Ci się to rzeczywiście przyda to już zależy od Ciebie. Przydaje się to głównie w meta-programmingu.

Comments

1 Co to jest meta programowanie ?

2 Czy napewno opisałeś jawną konktetyzację ( bo według mnie piszesz o jawnej specjalizacji)

 

PS: Przepraszam że z takim opóźnieniem

---

Jak tak patrzę po tym jak koledzy zwrócili mi uwagę to istnieje możliwość, że pomyliłem te dwie rzeczy, ale konkretyzacja i specjalizacja wydaje się byś synonimem. Możliwe, że konkretyzacja jest tak jakby kolejnym poziomem specjalizacji lub coś podobnego. Nie zagłębiałem się tak bardzo w szablony.

Co do meta-programowania, jest to tak jakby przeniesienie pracy z czasu trwania programu do czasu jego kompilacji z wykorzystaniem najczęściej struktur. Taki najprostszy przykład:

template <int T> struct MultiplyBy10
{
    static constexpr int value = T * 10;
};

std::cout << MultiplyBy10<7>::value << std::endl;
// wypisze 70, które zostanie obliczone w trakcie kompilacji

Całe <type_traits> (jak np. std::is_same<>) są zrobione w podobny sposób.

Answer 2

Ja bym powiedział, że:

template specialization / partial template specialization / full template specialization mają swoje odpowiedniki w języku polskim jako "specjalizacje szablonów". Pojęcie wyjaśnione przez @MetGang.

Natomiast "konkretyzacja szablonu" to stworzenie pewnej rzeczywistej klasy z szablonu. Mając

template <typename T> class foo { };

w programie nie istnieje żadna klasa. Istnieje jedynie szablon klasy, który klasą sam w sobie nie jest. Jak zatem stworzyć klasę? Ano tak

foo<int> bar;

W tym momencie kompilator generuje kod klasy.

Problematyczne jest to, że używasz polskich nazw. Najbardziej prawidłową odpowiedzą na Twoje pytanie jest "nie ma czegoś takiego jak specjalizacja / konkretyzacja szablonów. Szablonów też nie ma". Shame on you.

Comments

Nie mam na myśli klas tylko funkcji.

Możesz podac przykład konkretyzacji funkcji ?

---

template <typename T>
void print_me (const T &t) {
    std::cout << t;
}

print_me<int>(4);

 

Answer 3

Może się ktoś jeszcze wypowiedzieć ?