🚀 go-pugleaf

On 5 Gru, 14:44, Sektor van Skijlen
<ethou...@guess.if.gmail.com.is.valid.or.invalid> wrote:

> > Funkcje podane przez użytkownika są ZAMIAST a nie PRZED.
> > set_terminate() ustawia funkcję, wobec której standard wymaga, aby
> > zakończyła program. Nie ma sensu rozważać, co się dzieje potem.
>
> Gdzie tak przepraszam wyczytałeś, bo ja niczego takiego w standardzie nie
> widzę

Przecież sam zacytowałeś:

> typedef void (* unexpected_handler )();
[...]
> 2 Required behavior: An unexpected_handler shall not return. See also 15.5.2.
[...]
> typedef void (* terminate_handler )();
[...]
> 2 Required behavior: A terminate_handler shall terminate execution of the
> program without returning to the
> caller.

Zwróć uwagę na shall powyżej, w obu przypadkach.

> Czy na podstawie standardu jesteś więc w stanie określić, czy:
>  - wolno nie kończyć programu w terminate()

Nie wolno.

>  - implementacji wolno utłuc program abort()-em jeśli użytkownik nie ubije
>    wcześniej programu w swoim handlerze terminate()?

Wolno. Skoro użytkownik *nie spełnił wymagań* nałożonych przez
standard na jego handler, to skazuje program na UB. Implementacja może
swobodnie utłuc taki program.

> Nie przyglądałem się, jak to jest w standardzie - o tym, że oryginalna
> terminate() i tak jest wołana po funkcji użytkownika, przeczytałem w DEC++.

W takim razie jest to informacja na temat DEC++.

> Nie wiem, na ile jest to sprawa implementacji, ale jedynym sposobem wymuszenia
> na użytkowniku, żeby w swoim handlerze spowodował zakończenie programu jest
> spowodowanie zakończenia programu po jej zakończeniu. Ponieważ w domyślnej
> sytuacji nic innego nie robi (a kończy program i tak w ten sam sposób), więc
> metodą logicznej eliminacji jedyną sensowną implementacją spełniającą wymogi
> standardu jest wywołać abort() zaraz po wykonaniu funkcji użytkownika -
> najwyżej użytkownik zakończy program poprzez exit() zanim do tego dojdzie.

Nie widzę takiego wymagania, nawet jeśli sam bym tak to
zaimplementował.

> Ale nawet zakładając, że tak rzecze standard, nie zmienia to faktu: większość
> tutoriali twierdzi stanowczo, że funkcja ta używana jest ZAMIAST oryginalnego
> handlera, "trochę zapominając" wspomnieć, że funkcja ta MUSI spowodować
> również zakończenie programu.

Widocznie te tutoriale nie są tak dokładne jak standard.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com