11.2 -- Różnicowanie przeciążenia funkcji

W poprzedniej lekcji (11.1 -- Wprowadzenie do funkcji przeciążenie), wprowadziliśmy koncepcję przeciążenia funkcji, która pozwala nam tworzyć wiele funkcji o tej samej nazwie, pod warunkiem, że każda funkcja o identycznej nazwie ma inny typ parametrów (lub funkcje mogą być inaczej zróżnicowane).

W tej lekcji przyjrzymy się bliżej, jak różniczkowane są przeciążone funkcje. Przeciążone funkcje, które nie są odpowiednio zróżnicowane, spowodują, że kompilator wygeneruje błąd kompilacji.

Jak różnicowane są przeciążone funkcje

Zauważ, że typ zwracany przez funkcję nie jest używany do rozróżniania funkcji przeciążonych. Omówimy to szerzej za chwilę.

Przeciążenie w oparciu o liczbę parametrów

Przeciążona funkcja jest różnicowana pod warunkiem, że każda przeciążona funkcja ma inną liczbę parametrów. Na przykład:

int add(int x, int y)
{
    return x + y;
}

int add(int x, int y, int z)
{
    return x + y + z;
}

Kompilator może łatwo stwierdzić, że wywołanie funkcji z dwoma parametrami całkowitymi powinno zostać skierowane do add(int, int) a wywołanie funkcji z trzema parametrami całkowitymi powinno zostać skierowane do add(int, int, int).

Przeciążenie w oparciu o typ parametrów

Funkcję można również różnicować, o ile lista typów parametrów każdej przeciążonej funkcji jest odrębna. Na przykład rozróżniane są wszystkie następujące przeciążenia:

int add(int x, int y); // integer version
double add(double x, double y); // floating point version
double add(int x, double y); // mixed version
double add(double x, int y); // mixed version

Ponieważ aliasy typów (lub typedefs) nie są odrębnymi typami, przeciążone funkcje korzystające z aliasów typów nie różnią się od przeciążeń korzystających z typu aliasu. Na przykład wszystkie poniższe przeciążenia nie są różnicowane (i spowodują błąd kompilacji):

typedef int Height; // typedef
using Age = int; // type alias

void print(int value);
void print(Age value); // not differentiated from print(int)
void print(Height value); // not differentiated from print(int)

W przypadku parametrów przekazywanych przez wartość kwalifikator const również nie jest brany pod uwagę. Dlatego też następujące funkcje nie są uważane za zróżnicowane:

void print(int);
void print(const int); // not differentiated from print(int)

void foo(int x, int y);
void foo(int x, ...); // differentiated from foo(int, int)

Typ zwracany przez funkcję nie jest brany pod uwagę przy różnicowaniu

Typ zwracany funkcji nie jest brany pod uwagę, gdy różnicowanie przeciążonych funkcji.

Rozważmy przypadek, w którym chcesz napisać funkcję zwracającą liczbę losową, ale potrzebujesz wersji, która zwróci liczbę int, i innej wersji, która zwróci wartość double. Możesz ulec pokusie, aby to zrobić:

int getRandomValue();
double getRandomValue();

W programie Visual Studio 2019 powoduje to następujący błąd kompilatora:

error C2556: 'double getRandomValue(void)': overloaded function differs only by return type from 'int getRandomValue(void)'

To ma sens. Gdybyś był kompilatorem i zobaczył tę instrukcję:

getRandomValue();

Którą z dwóch przeciążonych funkcji byś wywołał? Nie jest to jasne.

Najlepszym sposobem rozwiązania tego problemu jest nadanie funkcjom różnych nazw:

int getRandomInt();
double getRandomDouble();

Podpis typu

Typ funkcji podpis (ogólnie nazywany podpisem) definiuje się jako części nagłówka funkcji, które służą do różnicowania funkcji. W C++ obejmuje to nazwę funkcji, liczbę parametrów, typ parametru i kwalifikatory na poziomie funkcji. W szczególności nie obejmuje typ zwracany.

Zniekształcanie nazw