Welcome to Software Development on Codidact!
Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.
Are there references in C?
When reading posts at programming sites such as this one, I frequently encounter people saying things like:
"There is no pass-by-reference in C, everything is passed by value."
People claiming such tend to be of the C++ programmer variety and are used to the C++ syntax distinction between pointers int* and references int&, which doesn't exist in C. And the argument usually goes:
void func (int* x);
...
int* p = &data;
func(p); // here the pointer p is passed by value
And sure, there is no denying that the pointer in this example is passed by value.
Questions: Are there references in C? Is it possible to pass variables by reference in C?
3 answers
You are accessing this answer with a direct link, so it's being shown above all other answers regardless of its score. You can return to the normal view.
C does have references, but it does not have pass by reference.
A reference is simply an expression that references an object (object here is meant in the general sense, not in the OO sense; for example, a variable is an object). In C, references are implemented using pointers.
However C does not have pass by reference. Note that pass by reference is not just the ability to pass references to functions (C certainly can do that), but refers to a mechanism by which the compiler turns an expression referring to an object (in C speak, an lvalue) used as argument to a function into a reference to that object named by that function's parameter.
C doesn't have that; if you want to pass a reference to an object you always have to be explicit about it, by passing a pointer (which then is passed by value) and dereferencing it in the called function.
C++ does have pass by reference via its reference types. Other languages allow pass by reference via special syntax (like var parameters in Pascal) or do it for all parameters (e.g. FORTRAN 77).
Note that pass by reference is mainly a syntactic thing (it makes a difference in language ability only in languages that don't allow passing references in any other way, like FORTRAN 77).
Yes there are references and pass-by-reference in C, though the language has no explicit syntax item called "reference" like C++. In a C context, it is irrelevant that C++ happens to have something called references, which are basically glorified, read-only pointers.
The general computer science term reference pre-dates C and C++ both. Therefore, saying "pass by reference" is perfectly acceptable in any computer science context. It is a broad and general term.
As explained in that Wikipedia link, it is analogous to indirect access, which is a term used in assembler on the low-level machine code layer. There, direct addressing means accessing a value directly from a given address, but indirect addressing means accessing it through a provided index register containing the address. These CPU core index registers are where C and C++ compilers prefer to store the higher level concepts of pointers and references. But there is no distinction between pointers and references in the machine code - it's all translated to raw addresses.
If we look at the formal definitions of terms in the current ISO 9899:2018 C standard, we find this at 6.2.5/20:
A pointer type may be derived from a function type or an object type, called the referenced type. A pointer type describes an object whose value provides a reference to an entity of the referenced type. A pointer type derived from the referenced type "T" is sometimes called “pointer to T”.
A pointer type is a so-called derived type, meaning that it is always based on one of the object types (like int).
Given these formal definitions, then we can look at the code example in the question:
void func (int* x);
- The pointer type is
int*, here represented by the variablex, and it is passed by value. - The referenced type is
intand an object of that type, allocated elsewhere, is passed by reference.
int* p = &data;
-
pis a pointer type. -
datais a complete object type, presumably of typeint.
func(p);
-
pis passed by value. -
datais passed by reference.
1 comment thread
This question most often comes up in relation to C++. That language has something that is called reference in the standard. They work like pointers, with a few differences.
- They have to be initialized, because (2)
- They cannot be reassigned. They will always point to the same object.
- They cannot point to null.
- They are always implicitly dereferenced. No dereferenciation is required or even allowed.
So C++ references are quite similar to const pointers, which should not be mixed up with pointer to const. A const pointer does not technically need to be initialized, but it's rather point(haha)less to not do it, because then they're completely useless. In C++, you will get a compiler error for both uninitialized references and const pointers.
The answer is yes or no, depending on how you want to interpret the phrase "pass by reference". It's both practical and common to talk about that in C, but it is also important to know the difference to "real" pass by reference. For instance, this code is guaranteed* to print 42 in C regardless of how foo() is defined, but that's not the case in C++.
int x = 42;
foo(x);
printf("%d\n", x);
* I'm not 100% sure that there isn't a way to provide a counterexample, but that would probably be some real fancy schmancy stuff.
0 comment threads
1 comment thread