2.3 — Funkcje puste (funkcje nie zwracające wartości)

W poprzedniej lekcji (2.1 -- Wprowadzenie do funkcji) wskazaliśmy, że składnia definicji funkcji wygląda następująco:

returnType identifier() // identifier replaced with the name of your function
{
// Your code here
}

Chociaż pokazaliśmy przykłady funkcji, które mają typ zwracany void, nie omawialiśmy, co to oznacza. W tej lekcji omówimy funkcje zwracane przez typ void.

Void zwracane wartości

Funkcje nie są wymagane do zwracania wartości do obiektu wywołującego. Aby poinformować kompilator, że funkcja nie zwraca wartości, używany jest typ zwracany próżnia . Na przykład: funkcja

#include <iostream>

// void means the function does not return a value to the caller
void printHi()
{
    std::cout << "Hi" << '\n';

    // This function does not return a value so no return statement is needed
}

int main()
{
    printHi(); // okay: function printHi() is called, no value is returned

    return 0;
}

W powyższym przykładzie funkcja printHi ma przydatne zachowanie (wypisuje „Cześć”), ale nie musi zwracać niczego do osoby wywołującej. Dlatego printHi otrzymuje void typ powrotu.

Po wywołaniu main wywołania printHi, kod w printHi wykonuje się i zostaje wydrukowane „Hi”. Na koniec printHi sterowanie powraca do main i program kontynuuje działanie.

Funkcja, która nie zwraca wartości, nazywa się a funkcja nie zwracająca wartości (lub funkcja pusta).

Funkcja Void nie potrzebuje instrukcji return

Funkcja void automatycznie powróci do osoby wywołującej na końcu funkcji. Nie ma instrukcji return. wymagane.

Instrukcja return (bez wartości zwracanej) może zostać użyta w funkcji void -- taka instrukcja spowoduje powrót funkcji do osoby wywołującej w momencie wykonania instrukcji return. To samo dzieje się na końcu funkcji. W związku z tym umieszczanie pustej instrukcji return na końcu funkcji void jest zbędne:

#include <iostream>

// void means the function does not return a value to the caller
void printHi()
{
    std::cout << "Hi" << '\n';

    return; // tell compiler to return to the caller -- this is redundant since the return will happen at the end of the function anyway!
} // function will return to caller here

int main()
{
    printHi();

    return 0;
}

Funkcji pustych nie można używać w wyrażeniach wymagających wartości

Niektóre typy wyrażeń wymagają wartości. Na przykład:

#include <iostream>

int main()
{
    std::cout << 5; // ok: 5 is a literal value that we're sending to the console to be printed
    std::cout << ;  // compile error: no value provided

    return 0;
}

W powyższym programie wartość do wydrukowania musi zostać podana po prawej stronie std::cout <<. Jeśli nie zostanie podana żadna wartość, kompilator zgłosi błąd składniowy, ponieważ drugie wywołanie std::cout tego nie zrobi podaj wartość do wydrukowania, powoduje to błąd.

Rozważmy teraz następujący program:

#include <iostream>

// void means the function does not return a value to the caller
void printHi()
{
    std::cout << "Hi" << '\n';
}

int main()
{
    printHi(); // okay: function printHi() is called, no value is returned

    std::cout << printHi(); // compile error

    return 0;
}

Pierwsze wywołanie printHi() jest wywoływane w kontekście, który nie wymaga wartości. Ponieważ funkcja nie zwraca wartości, jest to w porządku.

Drugie wywołanie funkcji printHi() nie zostanie nawet skompilowane. Funkcja printHi posiada parametr void zwraca typ, co oznacza, że nie zwraca wartości próbuje wysłać wartość zwracaną przez printHi Do std::cout do wydrukowania. std::cout nie wie, jak sobie z tym poradzić (jaką wartość wyśle?). W związku z tym kompilator oznaczy to jako błąd. Będziesz musiał skomentować ten wiersz kodu, aby kod się skompilował.

#include <iostream>

// Function that does not return a value
void returnNothing()
{
}

// Function that returns a value
int returnFive()
{
    return 5;
}

int main()
{
    // When calling a function by itself, no value is required
    returnNothing(); // ok: we can call a function that does not return a value
    returnFive();    // ok: we can call a function that returns a value, and ignore that return value

    // When calling a function in a context that requires a value (like std::cout)
    std::cout << returnFive();    // ok: we can call a function that returns a value, and the value will be used
    std::cout << returnNothing(); // compile error: we can't call a function that returns void in this context

    return 0;
}

Zwracanie wartości z funkcji void jest błędem kompilacji

Próba zwrócenia wartości z funkcji, która nie zwraca wartości, zakończy się błędem kompilacji:

void printHi() // This function is non-value returning
{
    std::cout << "In printHi()" << '\n';

    return 5; // compile error: we're trying to return a value
}

Czas quizu

Pytanie nr 1

Sprawdź następujące programy i określ, co generują, lub czy nie zostaną skompilowane.

1a)

#include <iostream>

void printA()
{
    std::cout << "A\n";
}

void printB()
{
    std::cout << "B\n";
}

int main()
{
    printA();
    printB();

    return 0;
}

Pokaż rozwiązanie

1b)

#include <iostream>

void printA()
{
    std::cout << "A\n";
}

int main()
{
    std::cout << printA() << '\n';

    return 0;
}

Pokaż rozwiązanie