Funkcja ze zmienną RETURN

Funkcja ze zmienną RETURN to funkcja skalarna wykorzystująca zmienną do zbudowania i zwrócenia ostatecznego wyniku.

Rola zmiennej w funkcji skalarnej

Funkcja ze zmienną RETURN jest sposobem budowania funkcji skalarnej, czyli takiej, która po wykonaniu zwraca jedną wartość. Wynikiem może być liczba, tekst, data, wartość logiczna albo specjalna wartość oznaczająca brak danych, zależnie od typu zwracanego przez konkretny język programowania lub silnik bazodanowy. Zmienna pośrednia przechowuje rezultat jednego albo kilku etapów obliczeń, a instrukcja RETURN przekazuje jej końcową zawartość jako wynik funkcji.

W najprostszym przypadku funkcja oblicza wartość bezpośrednio w instrukcji zwrotu. Zastosowanie zmiennej ma sens wtedy, gdy wynik wymaga kilku operacji: pobrania danych, sprawdzenia warunku, przeliczenia wartości i ewentualnego przypisania wartości zastępczej. Dzięki temu poszczególne etapy są widoczne w kodzie, można je łatwiej analizować, a w wielu środowiskach również obserwować podczas debugowania. Sama nazwa RETURN nie oznacza konkretnej składni wspólnej dla wszystkich systemów. Typ deklaracji zmiennej, sposób przypisania oraz zasady definiowania funkcji zależą od używanego języka.

Przebieg obliczeń przed wykonaniem RETURN

Typowy przebieg działania obejmuje przyjęcie parametrów wejściowych, utworzenie zmiennej lokalnej, obliczenie wartości i zwrócenie rezultatu. Parametry wejściowe mogą wpływać na wartość zmiennej bezpośrednio albo poprzez kilka instrukcji warunkowych. Jeżeli funkcja ma zwracać na przykład sumę dwóch argumentów, zmienna może przechować wynik dodawania. Przy bardziej złożonej logice może najpierw zawierać wartość pobraną z tabeli, następnie zostać zmodyfikowana przez regułę biznesową, a na końcu przekazana do RETURN.

Istotne jest, aby zmienna została zainicjalizowana przed każdym możliwym wykonaniem instrukcji zwrotu. Jeżeli jedna gałąź warunkowa przypisuje wartość, a inna tego nie robi, funkcja może zwrócić wartość pustą, domyślną albo zgłosić błąd, zależnie od środowiska wykonawczego. Należy również zachować zgodność typów. Funkcja zadeklarowana jako zwracająca liczbę nie powinna przekazywać tekstu bez jawnej i prawidłowej konwersji. Przy konwersji trzeba uwzględnić możliwość wystąpienia wartości pustej, znaku dziesiętnego, przepełnienia zakresu albo nieprawidłowego formatu.

Instrukcja RETURN zwykle kończy działanie funkcji w miejscu, w którym zostanie wykonana. Kod znajdujący się po niej może być nieosiągalny, a narzędzia kontroli jakości często sygnalizują taki problem. W funkcjach zawierających wiele warunków warto zaprojektować przepływ tak, aby istniała jasno określona wartość końcowa oraz jedno logiczne miejsce zwrotu wyniku. Nie jest to jednak uniwersalny wymóg języka, lecz praktyka poprawiająca czytelność i ułatwiająca śledzenie danych.

Różnica między wynikiem pośrednim a wartością zwracaną

Zmienna lokalna nie jest automatycznie wynikiem funkcji. Jest tylko obszarem pamięci używanym podczas jej wykonywania. Dopiero instrukcja RETURN wskazuje, która wartość ma zostać przekazana kodowi wywołującemu funkcję. Ma to znaczenie przy obliczeniach wieloetapowych, ponieważ zmienna może zmieniać zawartość kilka razy. Ostateczny rezultat zależy od wartości istniejącej w chwili wykonania instrukcji zwrotu, a nie od pierwszego przypisania.

Przykładowo funkcja może rozpocząć od wartości bazowej, zwiększyć ją po spełnieniu warunku i zmniejszyć po wykryciu wyjątku. Jeżeli warunki są sprawdzane w innej kolejności, wynik może być odmienny mimo użycia tych samych danych wejściowych. Dlatego podczas analizy należy sprawdzić kolejność przypisań, zakres zmiennej, typ danych oraz wszystkie ścieżki wykonania. Warto także ustalić, czy odczyt danych z tabeli może zwrócić więcej niż jeden rekord, brak rekordu albo wartość NULL. Takie przypadki często decydują o tym, czy funkcja zwróci oczekiwany rezultat.

Funkcję skalarną z instrukcją RETURN można wywoływać w zapytaniu, innej funkcji, procedurze albo kodzie aplikacji, o ile dane środowisko na to pozwala. Każde wywołanie powinno otrzymać parametry zgodne z deklaracją, a kod korzystający z wyniku powinien obsłużyć jego typ i możliwe wartości graniczne. Funkcja nie powinna ukrywać niejawnych zmian danych, jeżeli jej przeznaczeniem jest wyłącznie obliczanie wartości. Rozdzielenie obliczeń od operacji modyfikujących dane ułatwia testowanie i ogranicza skutki uboczne.

Sprawdzanie funkcji i diagnozowanie nieprawidłowego wyniku

Podczas sprawdzania funkcji należy przygotować przypadki reprezentujące zwykłe dane, wartości graniczne, brak danych oraz wszystkie warunki sterujące. Dla każdego przypadku trzeba porównać wartość oczekiwaną z wartością faktycznie przekazaną przez RETURN. Szczególną uwagę należy zwrócić na parametry równe zero, puste teksty, wartości ujemne, daty graniczne i wartości NULL, ponieważ mogą zmieniać wynik porównań lub powodować pominięcie przypisania zmiennej.

Jeżeli funkcja zwraca nieprawidłowy rezultat, analiza powinna rozpocząć się od deklaracji typu zwracanego i parametrów. Następnie należy prześledzić każde przypisanie do zmiennej oraz sprawdzić, czy instrukcja RETURN jest osiągana w każdej wymaganej ścieżce. Pomocne jest tymczasowe logowanie wartości pośrednich albo użycie debuggera dostępnego w danym środowisku, pod warunkiem że nie zmienia to logiki funkcji. Trzeba też odróżnić błąd samego obliczenia od błędu danych wejściowych, nieaktualnego rekordu lub niejawnej konwersji typu.

Przy pracy z funkcją ze zmienną RETURN diagnostyka laptopa lub komputera PC może obejmować sprawdzenie środowiska programistycznego, połączenia z bazą danych, komunikatów błędów oraz konfiguracji aplikacji, w której funkcja jest wywoływana. Sam fakt poprawnego zapisania funkcji nie gwarantuje poprawnego działania całego przepływu danych. Wynik może zostać zmieniony również przez zapytanie wywołujące funkcję, mapowanie typu w aplikacji albo sposób obsługi wartości pustej po stronie programu.