EIntOverflow oraz typ Variant

EIntOverflow oraz typ Variant
Patryk27
Moderator
  • Rejestracja:ponad 17 lat
  • Ostatnio:prawie 2 lata
  • Lokalizacja:Wrocław
  • Postów:13042
0

Taki kod:

Kopiuj
Uses Variants;
Var V: Variant;
Begin
 Writeln('-- in --');
 Try
  V := 1024*1024*1024*1024*1024;
  V *= 1024;
  V *= 1024;
 Except
  Writeln('Exception!');
 End;
 Writeln('-- out --');
End.

Pod FPC 2.6.2 (Lazarus 1.0.6) na Win32 rzuca wyjątek w linijce ósmej (tj.to drugie V *= 1024;), który jest złapany przez debugger. I do tego momentu jest ok, natomiast problem jest w tym, że ten wyjątek (EIntOverflow) nie jest łapany przez konstrukcję Try..Catch, a tego akurat potrzebuję :/
Meritum: jak ten wyjątek złapać?


Patryk27
Moderator
  • Rejestracja:ponad 17 lat
  • Ostatnio:prawie 2 lata
  • Lokalizacja:Wrocław
  • Postów:13042
0
_13th_Dragon napisał(a)

Może jeszcze raz wytłumacz: http://ideone.com/B79uxd

Debugując ten kod, wywoływany zostaje wyjątek EIntOverflow przy drugim V := V * 1024;, lecz nie jest on łapany przez konstrukcję Try..Except.


_13th_Dragon
Jak pokazuje odpalenie pod ideone, nie zostaje wygenerowany wyjątek.
Patryk27
Jak pokazuje debugger pod Lazarusem, wyjątek jest jednak generowany...
_13th_Dragon
A co się dzieje jak odpalasz bez debugiera?
abrakadaber
abrakadaber
Ideone traktuje to jako double a tam możesz zapisać trochę więcej niż zakres int. Natomiast jak sugeruje wyjątek w FPC następuje przepełnienie zakresu int. BTW jesteś świadom, że pod debugerem i tak Ci wyskoczy wyjątek mimo iż będzie blok try except
Patryk27
@_13th_Dragon: to samo, co w Twoim linku do ideone - pojawia się -- in -- oraz -- out --.
Patryk27
@abrakadaber: akurat jestem świadom, że wyjątek zostanie pokazany mimo tego bloku, natomiast chodzi o to, że debugger go wykrywa, a program wcale - jakby nigdy nie wystąpił.
_13th_Dragon
Coś mi się przypomina, była taka opcja {$CośTam} ... ale nie mogę sobie przypomnieć.
Patryk27
{$Q}? Próbowałem - nie wpływa na typ Variant. Also: potrzebuję, aby ten wyjątek był wywoływany, bo chcę go przechwycić.
1

@Patryk27 Exception który dostajesz jest powodowany przez kod RTL i również przez niego łapany (właśnie poprzez try..except). Debugger Lazarusa (GDB) przechywytuje wszystkie wyjątki, również te wywołane przez RTL a nawet przez inne biblioteki typu Windowsowe. Debugger to nie narzędzie które obejmuje twój kod ale cały proces. Wobec tego twoja chęć przechwycenia wyjątku musiałaby być wykonana poprzez łapanie wszystkich wyjątków generowanych przez FPC (zapewne któryś z globalnych handlerów może to widzieć). Nie mniej nie do tego służą warianty. Warianty to możliwość używania danych 'beztypowych' które nie posiadają żadnej określonej formy. Zapewne usiłujesz wykryć overflow który w przypadku wariantów nie ma sensu, gdyż są one zarządzane automatycznie, a twoje widzenie wyjątku to tylko skutek uboczny działania RTL.

Patryk27
Moderator
  • Rejestracja:ponad 17 lat
  • Ostatnio:prawie 2 lata
  • Lokalizacja:Wrocław
  • Postów:13042
0

In fact - potrzebowałem tego, bo w moim kompilatorze ulepszam w tej chwili m.in. constant folding i chcę, aby pokazywany był komunikat w razie, gdy przekroczono zakres działań (jak np.Overflow in arithmetic operation we FPC).
Widać jednak, że droga na skróty poprzez typ Variant nie byłą dobrym wyborem do tego działania :P
Well - nie chce mi się bawić w grzebanie w internalsach FPC oraz robienia rzeczy, które mogą zaprzestać działania, gdy wyjdzie jego następna wersja, więc po prostu pomyślę, jak to zrobić poprawniej od mojej strony i przepiszę to-i-owo ;)


Zarejestruj się i dołącz do największej społeczności programistów w Polsce.

Otrzymaj wsparcie, dziel się wiedzą i rozwijaj swoje umiejętności z najlepszymi.