Jawna konkretyzacja C++

Question

Nie potrafię zrozumieć wiersza nr 7:

...
template <class T>
void Swap(T &, T &); //prototyp szablonu
template <> void Swap<job>(job &, job &); //jawna specjalizacja dla typu job
int main()
{
	template void Swap<char>(char &, char &); //jawna konkretyzacja dla typu char
	short a, b;
	...
	Swap(a, b); //niejawna konkretyzacja szablonu dla typu short
	job n, m;
	...
	Swap(n, m); //użycie jawnej specjalizacji dla typu job
	char g, h;
	...
	Swap(g, h); //uzycie jawnie skonkretyzowanego szablonu dla typu char
	...
}

Ten przykładowy kod został wzięty z książki. Niestety, nie kompiluje się we wskazanej przeze mnie linijce. Poprosiłbym o wytłumaczenie kogoś do czego służy taki szablon jawnej konkretyzacji. Rozumiem jego użycie w taki sposób:

cout << funkcja<int>(x, y) << endl; //jawne żądanie
//konkretyzacji szablonu z typem int,
//wartości x i y są w ramach wywołania funkcji rzutowane na typ int,
//a sama funkcja zwraca także wartość typu int

Ale nie rozumiem szablonu dla takiej jawnej konkretyzacji.

Answer 1

template void Swap<char>(char &, char &); Takie coś (jak to nazwałeś - konkretyzacja) jest po to, żeby kompilator utworzył podaną instancje template-a nawet jeśli nie będzie żadnego wywołania z argumentami tego typu. W taki sposób po prostu wymusza się utworzenie funkcji. Nie wiem tylko, czy może pojawić się w takim miejscu (wewnątrz funkcji) - raczej wątpie.

Comments

A czy nie służy do tego jawna specjalizacja? Trochę beznadziejny ten kod:

#include <iostream>
using namespace std;

struct job {
	int liczba;
};

template <class T>
void Swap(T &a, T &b) { //prototyp szablonu
	cout << a << " " << b << endl;
}

template <> void Swap<job>(job &a, job &b) { //jawna specjalizacja dla typu job
	cout << a.liczba << " " << b.liczba << endl;
}

template void Swap<char>(char &a, char &b);  //jawna konkretyzacja dla typu char

int main()
{
	short a, b;
	Swap(a, b); //niejawna konkretyzacja szablonu dla typu short

	job n, m;
	Swap(n, m); //użycie jawnej specjalizacji dla typu job

	char g, h;
	Swap(g, h); //uzycie jawnie skonkretyzowanego szablonu dla typu char
}

Tworzona jest nowa instancja funkcji Swap dla typu char. Czy tak to ma działać? Ta jawna konkretyzacja nic takie "konkretnego" nie robi? Gdy próbuje utworzyć definicję takiej funkcji to ciągle mam błąd.

---

Konkretyzacja bo konkretyzuje parametr template-a. 

Specjalizacji możesz użyć gdy chcesz żeby dla jakiegoś typu funkcja/klasa odbiegala od schematu. Np. std::vector <bool> jest specjalizacją.

Gdy próbuje utworzyć definicję takiej funkcji to ciągle mam błąd

Bo juz jest zdefiniowana. Wymusiles tylko żeby kompilator do wynikowego programu wkompilowal instancje template funkcji gdzie T jest char-em.