Zadanie 5

Czy set przy insercie może rzucić exception?
http://publib.boulder.ibm.com/infocenter/comphelp/v9v111/index.jsp?topic=/com.ibm.xlcpp9.aix.doc/standlib/stl_map.htm

Jak tu pogrzebałem to wynikało, że tak, ale pewny i tak nie jestem

Tak, może mu:
a) zbraknąć pamięci
b) operator< elmentów w secie może rzucić wyjątkiem
c) i pewnie miliard innych

Not cool.

Czy załozyliście, że Rev.get_id() nie rzuca wyjątków?

Tak

Ma ktoś jakieś fajne testy? Nasz ćwiczeniowiec mówił, że testy mają być złośliwe, więc warto dobrze potestować programy

Code:

 typename Node::SetChildren::iterator itChildren = children.begin();
  while (itChildren != children.end()) {
    (*itChildren)->parents.erase(WeakPointer(sPtr));
    itChildren++;
  }

Czy ktoś mógłby mi powiedzieć, czy istnieje jakaś możliwość wystąpienia wyjątku w tym fragmencie kodu. Sprawdziłem, że erase() z STLa jest nothrow, a konstruktor template weak_ptr(shared_ptr const & r); ma informacje że nie rzuca wyjątku.

Wydaje mi się, że nie należy wpadać w przesadną panikę.
Dobrze napisany kod nie wyrzuci wyjątku "z naturalnych przyczyn" jeśli będziemy sprawdzać czy rewizje, do których się odwołujemy po prostu istnieją.

Sprawdzanie czegoś takiego:

a) zbraknąć pamięci
b) operator< elmentów w secie może rzucić wyjątkiem
c) i pewnie miliard innych

to już by było ostre przegięcie. Jedyna dyskusyjna sprawa to b), ale jeśli porównywanie elementów rzuca wyjątek, to znaczy że któryś z obiektów jest w "inconsistent state", więc wyjątek powinien być wyrzucony wcześniej, co oznacza, że kod, który używa naszej biblioteki, jest źle napisany.

Natomiast Rev.get_id() to jest sprawa podejrzana, ja bym o tym nic nie zakładał, a można łatwo się wybronić przed wyjątkiem w tym miejscu.

Ten kod przeszukuje wskaźniki, które mają operator porównania nothrow, wiec moim zdaniem nie może być wyjątku