Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

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.

Comments on Are there references in C?

Parent

Are there references in C?

+9
−0

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?

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

1 comment thread

What's the point? (2 comments)
Post
+7
−4

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.
History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

1 comment thread

Being able to pass "references" (as pointers) is different from "pass-by-reference" mechanism. (1 comment)
Being able to pass "references" (as pointers) is different from "pass-by-reference" mechanism.
Lorenzo Donati‭ wrote over 1 year ago

Sorry to disagree with some points. Yes C has references (in the form of pointers) and you can pass them to functions. However that is not what in computer language theory and practice is known as a "pass-by-reference" mechanism. This latter is the ability of a function to access the object that the caller specified as argument to the function. In C you can only modify local copies of the actual arguments. So you can modify an object indirectly through a passed pointer, but you cannot modify the passed pointer itself.