Dlaczego można określić rozmiar tablicy w parametrze funkcji?

Question

Nie rozumiem dlaczego poniższy przykład kompiluje i działa:

void printValues(int nums[3], int length) { 
    for(int i = 0; i < length; i++) 
     std::cout << nums[i] << " "; 
    std::cout << '\n'; 
} 

Wydaje się, że rozmiar 3 jest całkowicie ignorowany, ale kładąc nieprawidłowych wyników rozmiarze w błąd kompilacji. Co tu się dzieje?

Answer 1

W C++ (a także w C), parametry zadeklarowane z typem tablicy zawsze natychmiast zanikują do typu wskaźnika. Następujące trzy deklaracje są równoważne

void printValues(int nums[3], int length); 
void printValues(int nums[], int length); 
void printValues(int *nums, int length); 

tj. rozmiar nie ma znaczenia. Jednak nadal nie oznacza to, że można tam użyć nieważnej deklaracji tablicy, tzn. Nie można na przykład określić ujemnego lub zerowego rozmiaru.

(BTW, to samo odnosi się do parametrów typu funkcji - to natychmiast rozpada się wskaźnik do funkcji typ.)

Jeśli chcesz wymusić dopasowanie rozmiaru tablicy między argumentów i parametrów, należy pointer- lub odniesienie typy -to-tablicy w deklaracji parametrów

void printValues(int (&nums)[3]); 
void printValues(int (*nums)[3]); 

oczywiście, w tym przypadku rozmiar staną się w czasie kompilacji stała i nie ma sensu przechodzenia length więcej.

Answer 2

Rozmiar tablicy nie jest ignorowany, jest częścią typu argumentu. Powinieneś otrzymać błąd kompilatora, jeśli spróbujesz przekazać tablicę o dowolnym innym rozmiarze do tej funkcji.

Z drugiej strony C i C++ nie sprawdzają granic dostępu do tablicy, więc są ignorowane jako. Ale tak samo jest w każdym innym kontekście, nie tylko w przypadku parametrów funkcji.

Answer 3

nie widzę co skompilować błąd którego się odnosimy - tablice przekazywane do funkcji rozpadu do wskazówek i tracisz informacje typu array. Mogłeś również stosowane:

void printValues(int* nums, int length); 

Można uniknąć próchnicy do wskaźników za pomocą odwołań:

void printValues(int (&nums)[3], int length); 

Albo po prostu użyć wskaźników, jeśli nie chcą stałej wielkości tablic.