What's the low-level difference between a pointer an a reference?

Question

If we have this code:

int foo=100;
int& reference = foo;
int* pointer = &reference;

There\'s no actual binary difference in the ref

Answer 1

Just to amplify, while it might be true that references are the same as pointers under the hood on nearly all compilers, it is a serious mistake to depend on that behavior. Not only is it likely to bite you on the ass when you least expect it, but it's also incorrect use of references. If it's a pointer you need, use a pointer.

Answer 2

There is absolutely nothing reliable about the relationship between C++ code and what machine code a compiler generates.

Some people say "in my experience ... etc. etc. etc." but this is more unreliable than you may realize. Not many people have actual experience in any substantial cross-section of all the possible compiler/architecture combinations. [Edit: I think that Crashworks proves me wrong though. :-)]

Consider the following list of C++ compilers:

• C++ Builder
• Turbo C++ Explorer
• C++ Compiler
• Borland C++
• Turbo C++ for DOS
• Clang
• Comeau C/C++
• CoSy compiler development system
• Digital Mars
• Djgpp
• EDGE ARM C/C++
• MinGW
• GCC C++ (G++)
• HP aC++
• Intel C++ Compiler
• Microtec
• MULTI
• Open Watcom
• Open64
• PathScale
• PGI Workstation
• ProDev WorkShop
• RealView C/C++ Compiler (armcc)
• SAS/C C++
• Sun Studio
• TenDRA
• VectorC
• Visual C++
• VisualAge C++
• XL C/C++

Now multiply this list by the following short list of machine architectures:

• ARM
• Atmel AVR
• Blackfin
• HC12
• H8/300
• IA-32 (x86)
• x86-64
• IA-64
• Motorola 68000
• MIPS
• PA-RISC
• PDP-11
• PowerPC
• R8C/M16C/M32C
• SPU
• System/390/zSeries
• SuperH
• SPARC
• VAX
• A29K
• ARC
• ETRAX CRIS
• D30V
• DSP16xx
• FR-30
• FR-V
• Intel i960
• IP2000
• M32R
• 68HC11
• MCORE
• MMIX
• MN10200
• MN10300
• Motorola 88000
• NS32K
• ROMP
• Stormy16
• V850
• Xtensa
• AVR32

Now multiply by operating system and optimization flags, and you may find that everyone's experience is woefully lacking.

Answer 3

Pointers and references have different semantics in C++, but the code generated is the same.

Answer 4

Theoretically, they could be implemented in different ways.

In practice, every compiler I've seen compiles pointers and references to the same machine code. The distinction is entirely at the language level.

But, like cdiggins says, you shouldn't depend on that generalization until you've verified it's true for your compiler and platform.