Почему в функцию передаётся только первый элемент массива?

Question

[Александр Василенко]

Вопрос крайне нубасовский.

Есть массив:
int my_array[5] = { 1, 2, 3, 4, 5 };

Есть функция, которая создана для распечатывания в консоль этого массива:

void print_array(int my_array[]){
	using namespace std;
	cout << "ARRAY = { ";
	int size_of_array = sizeof(my_array) / sizeof(int);
	for (int i = 0; i < size_of_array; i++){
		cout << my_array[i] << " ";
	}
	cout << "}" << endl;
}

Используем эту функцию:
print_array(my_array);
По неведомой мне причине передаётся только первый элемент массива (1).

ARRAY = { 1 }

Но почему?

Answer 1

[AxisPod]

Видимо компилируете 32битный бинарник, был бы 64битный, показало бы 2 элемента. Потому что sizeof(my_array) в вашем случае вернет не размер массива, а размер указателя на массив, а он всегда равен sizeof(int) в вашем случае. Размер надо прокидывать снаружи. Компилятор не таскает размер массива вместе с массивом.

Comments

[Александр Василенко]

Оу! Мерси боку! Осознал))

[Александр Василенко]

Да уж. Мне как Java-обезьяне такие вещи в новинку, однако.

[AxisPod]

Sirikid: Начиная с C++11, но вот не всегда он еще и подходит. На деле я бы предложил использовать итераторы, вызов становится посложнее, но зато работать будет с любым контейнером. ideone.com/azVx9U

[Александр Василенко]

AxisPod: Sirikid: Пока что нельзя array<тип, размер>))) Лаба))

[Александр Василенко]

Sirikid: Кстати, это приятная боль. Мне нравится гибкость плюсов. Надеюсь, пригодится.

[Даниил Демидко]

Ivan Sokolov: А как же лишнее копирование в стеке? Указатели на массив как раз позволяют этого избежать. Тем более в тех случаях когда в массиве много элементов

[Даниил Демидко]

Ivan Sokolov: Тем более что в Java массивы на самом деле тоже передаются как указатели.

[Александр Василенко]

Даниил Демидко: я б сказал, что там всё указатели или ссылки. В принципе, это удобно.

[AxisPod]

Даниил Демидко: передать можно и константную ссылку на std::array, какая проблема.

[Александр Василенко]

Ivan Sokolov: я бы сказал, что действительно это похоже на крестовую ссылку &

Answer 2

[Даниил Демидко]

Ну, в плюсах массивы не передаются по значению. Всегда передается указатель на массив, будь то массив или даже матрица. А если точнее, то указатель на первый элемент. Это наследие Си, где массивы тесно связанны с указателями. Помимо прочего благодаря этой особенности лишний раз не выделяется память в стеке - при передаче аргументов.
void anyFunc(int myArray[]) в таком случае просто удобный синтаксис что бы показать, что передается именно указатель на массив, void anyFunc(int *myArray) тоже самое.
Можно, как рекомендует в таких случаях Страуструп определить структуру хранящую указатель на массив и его размер и принимать ее в функции.

struct Arr{ 
    int *arrPtr;
    int Size;
}

void print_array(const Arr &arr){ ... }

И вызов вашей функции сведется к такому действию:

print_array( { my_array, sizeof(my_array) / sizeof(int) } );

Но лучше всего использовать std::vector везде где нет ограничений по памяти.

Comments

[Денис Загаевский]

Ну да, поумничал, а ошибку совершил ту же самую. Учи матчасть.

[Ksardax]

Денис Загаевский:

Где он сделал ошибку? Все работает. Вот пример:

#include <iostream>

struct Arr
{ 
	int *arrPtr;
	int Size;
};

void print_array(const Arr &arr)
{
	std::cout << "arr size: " << arr.Size << std::endl;
}

int main()
{
	int my_array[] = { 1, 2, 3, 4, 5, 6, 7 };

	Arr a = { my_array, sizeof(my_array) / sizeof(int) };

	print_array(a);
}

Вывод: arr size: 7