|
|
|
|
|
|
by nitrix
2110 days ago
|
|
|
The Standard disagree. C11 6.5.3.2p3 “The unary & operator yields the address of its operand. If the operand has type ‘type’, the result has type ‘pointer to type’.” I understand the intention to warn about the abstraction C introduces, but you’ve confused things. Pointers and addresses are perfectly covered. What you really want to bring is what the Standard calls the “C abstract machine”, for which the memory model can be surprising. |
|
|