Řešení šablon a názvů
V definicích šablon existují tři typy názvů.
Místně deklarované názvy, včetně názvu samotné šablony a všechny názvy deklarované uvnitř definice šablony.
Názvy z ohraničujícího rozsahu mimo definici šablony.
Názvy, které nějakým způsobem závisí na argumentech šablony uváděné jako závislé názvy.
Zatímco první dva názvy se týkají také rozsahů třídy a funkce, jsou vyžadována zvláštní pravidla pro překlad názvů v definicích šablon pro řešení přidané složitosti závislých názvů.Je to proto, že kompilátor ví málo o těchto názvech, dokud je šablona vytvořena, protože by to mohly být zcela různé typy podle toho, se kterými argumenty šablony jsou použity.Nezávislé názvy jsou vyhledány podle obvyklých pravidel a v bodě definice šablony.Tyto názvy nezávislé na argumentech šablony jsou vyhledány jednou pro všechny specializace šablony.Závislé názvy nejsou vyhledány, dokud šablona není vytvořena a jsou vyhledány odděleně pro každou specializaci.
Typ je závislý, pokud je závislý na argumentech šablony.Konkrétně je typ závislý, je-li:
Samotný argument šablony:
TKvalifikovaný název s kvalifikací včetně závislého typu:
T::myTypeKvalifikovaný název, pokud nekvalifikovaná část identifikuje závislý typ:
N::TTyp deklarovaný jako const nebo volatile, jehož základní typ je závislý typ:
const TTyp ukazatele, odkazu, pole nebo ukazatele na funkci na základě závislého typu:
T *, T &, T [10], T (*)()Pole, jehož velikost je založena na parametru šablony:
template <int arg> class X { int x[arg] ; // dependent type }Typ šablony vytvořený z parametru šablony:
T<int>, MyTemplate<T>
Závislost na typu a závislost na hodnotě
Názvy a výrazy, které jsou závislé na parametru šablony se dělí na závislost na typu nebo závislost na hodnotě podle toho, zda je parametr šablony parametr typu nebo parametr hodnoty.Také všechny identifikátory deklarované v šabloně se závislostí typu na argumentu šablony jsou považovány za závislé na hodnotě, jako je celočíselný nebo výčtový typ inicializovaný s výrazem závislým na hodnotě.
Výrazy závislosti na typu nebo závislosti na hodnotě jsou výrazy zahrnující proměnné, které jsou závislé na typu nebo závislé na hodnotě.Tyto výrazy mohou mít sémantiku, která se liší v závislosti na parametrech použitých v šabloně.