Vlákno názorů k článku Novinky v JDK 7 aneb mírný pokrok v mezích zákona (2) od Filip Jirsák - Nedaří se mi rychle najít, jak to bude...

Nedaří se mi rychle najít, jak to bude se zachycením výjimek při volání AutoCloseable­.close(). Bude to v některém z příštích dílů?

Z příkladů v článku je patrné, co se stane v případě, když dojde k vyvolání výjimky i v bloku try {…} – výjimky z AutoCloseable­.close() se k té výjimce přidají jako odložené, a je pak možné si je přečíst z Throwable.get­SuppressedExcep­tions() (nebo se vypíšou při výpisu zásobníku volání). Ale co v případě, kdy v bloku try {…} k výjimce nedojde, ale dojde k jedné (nebo více) výjimkám v AutoCloseable­.close()? Vyhodí se poslední výjimka z close(), a k ní jsou případně přidány jako odložené výjimky z předchozích close()?

A jak se to bude chovat v případě, že k vyhození výjimky dojde v bloku finally {…} – stejně jako s try, tj. vyhozena bude výjimka z finally {…} a k ní budou jako odložené přidány výjimky z volání close()? A co v případě, kdy bude výjimka vyhozena v try {…} i finally {…} – výjimka z try se zahodí (jako dnes) a propaguje se jen ta z finally s vloženými potlačenými výjimkami, nebo se i ta z try přidá mezi potlačené? To by pak změnilo i význam kódu pro 1.6 přeloženého 1.7 kompilátorem, i když by ta změna neměla mít žádný viditelný dopad…

Vy pisete nejaky komplikovany kod. Mozno by sa niekedy hodili ale tie si mozete urobit pomocou standardneho kodu bez Closeable. Ale na 99% veci potrebujete v podstate jednoduchy handling. Nieco robim a to bud skonci OK alebo s chybou ktoru oznamym operatorovi (do logu) a skoncim.
Veci ako opakovanie operacie po N minutach a podobne sa riesia na vyssej urovni ako try/catch blok.

Uniká mi souvislost vašeho komentáře s tím mým. Já jsem neuváděl žádný příklad kódu, ptal jsem se, jak je ve standardu nadefinováno chování toho rozšířeného příkazu try. V článku autor poukázal na to, že může v kódu vzniknout paralelně několik výjimek, a je tam uveden příklad, jak se to řeší v určitém případě – a já jsem se zeptal na ostatní případy. Do Javy 1.6 mohlo několik výjimek „najednou“ vzniknout jen vyhozením výjimky ve finally a platilo pravidlo „poslední vyhrává“. V Javě 1.7 se tohle evidentně změní, tak jsem se jen ptal, zda Pavel Tišnovský (nebo někdo jiný) náhodou neví detaily.

void close() throws Exception;

Ach jo, na tom je dobře vidět zbytečnost celého konceptu checked exceptions. Oč by bylo pohodlnější, kdybysme v Javě měli jen unchecked. Chápu ale požadavek zpětné kompatibility...