Odpowiedź.

Historia pytania

Operator return pojawił się w C w celu jawnego zakończenia pracy funkcji i przekazania wyniku do kodu wywołującego. We wczesnych językach programowania nie zawsze istniała możliwość zwracania wartości, a mechanizm return pozwolił na wyraźne wskazanie wyniku obliczeń. To zwiększyło wyrazistość i bezpieczeństwo programów.

Problem

Główne zadanie: poprawne zakończenie funkcji i, jeśli to konieczne, zwrócenie wartości odpowiadającej określonemu typowi. Błędy często pojawiają się z powodu zwracania wartości niewłaściwego typu, wskaźników na nieistniejące lub lokalne zmienne, lub ignorowania zwracanej wartości przez wywołującą stronę.

Rozwiązanie

• return; stosowane jest tylko dla funkcji typu void (nic nie zwracają).
• return expression; używane jest dla funkcji z typem innym niż void i kończy funkcję, zwracając wskazaną wartość.
• Typ zwracanej wartości musi dokładnie odpowiadać zadeklarowanemu prototypowi funkcji.
• Przy zwracaniu struktur zwracana jest kopia struktury. Przy zwracaniu wskaźnika — po prostu kopia adresu.
• Niebezpiecznie jest zwracać wskaźniki na zmienne lokalne (są one niszczone po wyjściu z funkcji).

Przykład kodu:

#include <stdio.h>
struct Point { int x, y; };

struct Point make_point(int x, int y) { // zwracamy strukturę (kopię)
    struct Point p = {x, y};
    return p;
}

int* dangerous() {
    int num = 42;
    return &num; // niebezpieczne: zwracamy adres zmiennej lokalnej!
}

void do_nothing() {
    return; // poprawnie dla funkcji typu void
}

int main() {
    struct Point p = make_point(3, 4);
    printf("%d %d\n", p.x, p.y);
    int* ptr = dangerous(); // UB: ptr wskazuje na zniszczoną przestrzeń
}

Kluczowe cechy:

• return natychmiast kończy wykonanie funkcji
• typ zwracanej wartości musi zgadzać się z zadeklarowanym
• przy zwracaniu struktur/obiektów zachodzi kopiowanie, a nie zwrot referencji

Pytania z haczykiem.

Czy można używać return w funkcjach bez wartości (void)?

Odpowiedź: Tak, można pisać "return;" dla funkcji void, ale nie można podawać wyrażenia (return x;) dla funkcji void.

Co się dzieje przy zwracaniu tablicy z funkcji?

Odpowiedź: W C nie można bezpośrednio zwrócić tablicy. Można zwrócić tylko wskaźnik (na przykład, na tablicę statyczną), ale częściej należy zwracać wskaźnik i rozmiar lub użyć dynamicznie przydzielonej tablicy.

int* make_arr() {
    static int arr[5] = {1,2,3,4,5};
    return arr; // tablica statyczna żyje po wyjściu z funkcji
}

Dlaczego niebezpiecznie jest zwracać wskaźnik na zmienną lokalną?

Odpowiedź: Po wyjściu z funkcji pamięć pod lokalną zmienną jest zwalniana (obszar stosu). Użycie zwróconego wskaźnika prowadzi do niezdefiniowanego zachowania.

Typowe błędy i antywzorce

• Zwracanie wskaźnika na zmienną znajdującą się na stosie
• Niedopasowanie typów zwracanej wartości i typu funkcji
• Pominięcie ścieżki return w funkcjach, które są zadeklarowane jako zwracające wartość

Przykład z życia

Negatywny przypadek

Funkcja zwraca wskaźnik na zmienną lokalną, wywołujący otrzymuje "śmieci", nieprzewidywalne zachowanie i rzadkie błędy wyścigu.

Zalety:

• Szybka realizacja

Wady:

• Losowe awarie, dane uszkadzają się przy każdej zmianie stosu po wyjściu z funkcji

Pozytywny przypadek

Użycie zwracanej struktury (kopiowanej przez wartość) lub zwrócenie wskaźnika na pamięć statyczną/dynamiczną:

Zalety:

• Zachowanie przewidywalne
• Brak "wiszących" wskaźników

Wady:

• Czasami kosztowne (kopiowanie dużych struktur), lub należy pamiętać o jawnej dealokacji pamięci