Are there references in C?

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).

posted almost 3 years ago

CC BY-SA 4.0

celtschk‭

771 reputation 8 12 97 2

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.

1. They have to be initialized, because (2)
2. They cannot be reassigned. They will always point to the same object.
3. They cannot point to null.
4. 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.}

posted almost 3 years ago

CC BY-SA 4.0

3y ago

klutt‭

1273 reputation 17 12 162 52

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 variable x, and it is passed by value.
• The referenced type is int and an object of that type, allocated elsewhere, is passed by reference.

int* p = &data;

• p is a pointer type.
• data is a complete object type, presumably of type int.

func(p);

• p is passed by value.
• data is passed by reference.

posted almost 3 years ago

CC BY-SA 4.0

3y ago

Lundin‭

8953 reputation 36 122 1028 166