Argumenty funkce typu odkazu

Často je efektivnější funkcím předávat reference namísto velkých objektů. To umožňuje kompilátoru předat adresu objektu při zachování syntaxe, která by byla použita k přístupu k objektu. Prohlédněte si následující příklad používající strukturu Date:

// reference_type_function_arguments.cpp
#include <iostream>

struct Date
{
    short Month;
    short Day;
    short Year;
};

// Create a date of the form DDDYYYY (day of year, year)
// from a Date.
long DateOfYear( Date& date )
{
    static int cDaysInMonth[] = {
        31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31
    };
    long dateOfYear = 0;

    // Add in days for months already elapsed.
    for ( int i = 0; i < date.Month - 1; ++i )
        dateOfYear += cDaysInMonth[i];

    // Add in days for this month.
    dateOfYear += date.Day;

    // Check for leap year.
    if ( date.Month > 2 &&
        (( date.Year % 100 != 0 || date.Year % 400 == 0 ) &&
        date.Year % 4 == 0 ))
        dateOfYear++;

    // Add in year.
    dateOfYear *= 10000;
    dateOfYear += date.Year;

    return dateOfYear;
}

int main()
{
    Date date{ 8, 27, 2018 };
    long dateOfYear = DateOfYear(date);
    std::cout << dateOfYear << std::endl;
}

Předchozí kód ukazuje, že k členům struktury předané odkazem se přistupuje pomocí operátoru výběru člena (.) místo operátoru výběru ukazatele (->).

I když argumenty předané jako odkazové typy sledují syntaxi jiných typů než ukazatele, zachovají si jednu důležitou charakteristiku typů ukazatelů: jsou upravitelné, pokud nejsou deklarovány jako const. Jelikož účelem předcházejícího kódu není upravit objekt date, je vhodnějším prototypem funkce tento prototyp:

long DateOfYear( const Date& date );

Tento prototyp zaručuje, že funkce DateOfYear nezmění svůj argument.

Každá funkce prototypovaná jako odkazový typ může přijmout objekt stejného typu na svém místě, protože existuje standardní převod z typename na typename&.

Viz také

Odkazy