Templatespezialisierung

Reply to Templatespezialisierung on Sat, 17 Aug 2013 22:27:54 GMT

nwp3 — Sat, 17 Aug 2013 22:27:54 GMT

template
struct Foo{
	template
	operator Foo ();
};

//template<>
Foo<0>::operator Foo<2>(){
	return Foo<2>();
}

Warum kompiliert das nicht und was muss man tun, damit es kompiliert?

Reply to Templatespezialisierung on Sat, 17 Aug 2013 22:31:05 GMT

gewalto — Sat, 17 Aug 2013 22:31:05 GMT

Wenn eins nicht hilft, dann probiers mal mit zwei.

template
struct Foo{
    template
    operator Foo ();
};

template<> // eins
template<> // zwei
Foo<0>::operator Foo<2>(){
    return Foo<2>();
}

Reply to Templatespezialisierung on Sat, 17 Aug 2013 22:42:05 GMT

nwp3 — Sat, 17 Aug 2013 22:42:05 GMT

Cool danke funktioniert.

Reply to Templatespezialisierung on Sat, 17 Aug 2013 23:01:40 GMT

gewalto — Sat, 17 Aug 2013 23:01:40 GMT

Vielleicht noch zur Erklärung, weshalb das so geht:

template<> // Es handelt sich um eine Spezialisierung von Foo<>
template<> // Es handelt sich um eine Spezialisierung von operator Foo<>
Foo<0>::operator Foo<2>(){
    return Foo<2>();
}

Man würde auch schreiben

template  // allgemein vector
void vector::push_back(T const& x)
{ ... }

template  // spezialisiert vector
template  // allgemein für emplace_back(A...)
// ^-- da sind auch zweimal template
void vector::emplace_back(A&&...a)
{ ... }