Cześć ;)
Założmy, że mamy jakąś tam parametryzowaną klasę:
template <class T>
class W{
}
I mamy w niej poprawnie zdefiniowany operator + dla obiektów
W<int> obj
, a zatem dla tej klasy. Tworzymy teraz obiekt następuąco:
W<W<int> > obj;
Czy dla takiego obiektu będą działały operatory?
Dlaczego?
A dla czego nie ?
Nie, bo masz go zdefiniowanego jedynie dla W<int>
dwa przeciwstawne zdania. Które prawidłowe?
A odpowiedz brzmi: pokaz kod bo zalezy co masz na mysli...
Chodzi o to, żeby uogólnić. Oczywiście jasnym jest, że jako parametr będę podstawiał takie typy, które sepełniają założenia.
Da się napisać tak że będzie działać, ale też da się napisać tak że nie będzie działać.
Wszystko zależy od tego co się kryje pod: - "poprawnie zdefiniowany operator +"
Dla mnie jak nie będzie działać dla W<W<int> > to nie jest poprawnie zdefiniowany, aczkolwiek to już płaszczyzna semantyki.
ok, w takim razie nasze semantyki przynajmniej w tym wgzlędzie są takie same :)