Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Is C++ Array passed by reference or by pointer?

In school, our lecturer taught us that the entire array was passed by reference when we pass it to a function,.

However, recently I read a book. It says that arrays are passed by pointer by default when passing the entire array to a function. The book further mention that "passing by pointer is very similar to passing by reference", which means that passing by pointer and passing by reference are actually different.

It appears that different source stated differently.

So my question is: In C++, are arrays passed by reference or by pointer when we pass the entire array to a function?

For Example:

void funcA(int []); //Function Declaration

int main()
{
    int array[5];
    funcA(array); //Is array passed by ref or by pointer here?
}
like image 217
user3437460 Avatar asked Jun 05 '14 09:06

user3437460


2 Answers

At worst, your lecturer is wrong. At best, he was simplifying terminology, and confusing you in the process. This is reasonably commonplace in software education, unfortunately. The truth is, many books get this wrong as well; the array is not "passed" at all, either "by pointer" or "by reference".

In fact, because arrays cannot be passed by value due to an old C restriction, there is some special magic that happens with arrays as function arguments.

The function declaration:

void funcA(int[]);

is silently translated into the following:

void funcA(int*);

and when you write this:

funcA(myArray);

it is silently translated into the following:

funcA(&myArray[0]);

The result is that you're not passing the array at all; you pass a pointer to its first element.

Now, at certain levels of abstraction/simplification, you can call this "passing an array by pointer", "passing an array by reference" or even "passing a handle to an array", but if you want to talk in C++ terms, none of those phrases are accurate.

like image 61
Lightness Races in Orbit Avatar answered Oct 17 '22 04:10

Lightness Races in Orbit


The terminology used by your lecturer is confusing. However, in a function declaration such as

void funcA(int []);

the int[] is just another way of saying int*. So funcA can take any argument that is or can be converted to an int*.

Arrays can decay to pointers to the first element in the right context. This means, for example, that you can assign an array's name to a pointer like this:

int array[42];  // array is of type int[42]
int * arr = array; // array decays to int*

So, when you pass array to funcA,

funcA(array); // array decays to int*

funcA has a pointer to the first element of the array.

But it is also possible to pass arrays by reference. It just requires a different syntax. For example

void funcB(int (&arr)[42]);

So, in your example, you are passing a pointer to the first element of the array, due to the signature of your function funcA. If you called funcB(array), you would be passing a reference.

like image 4
juanchopanza Avatar answered Oct 17 '22 03:10

juanchopanza