Difference between revisions of "PHP/referencing"

from HTYP, the free directory anyone can edit if they can prove to me that they're not a spambot
< PHP
Jump to navigation Jump to search
(→‎Clarification: examples corrected and simplified)
Line 11: Line 11:
 
There are no reference ''types'' (you can't declare, for example, <code>&array</code> or <code>&int</code> variables or return values); there are only reference ''operations'' -- and the reference operation is basically a qualifier (indicated by <code>&</code>) on a variable-access.
 
There are no reference ''types'' (you can't declare, for example, <code>&array</code> or <code>&int</code> variables or return values); there are only reference ''operations'' -- and the reference operation is basically a qualifier (indicated by <code>&</code>) on a variable-access.
  
This is seemingly at odds with the fact that functions which return references are declared using the "&" prefix on the ''function name'' rather than on the ''return variable'':
+
This is seemingly at odds with the fact that functions which return references are declared using the "&" prefix on the ''function name'' rather than on the ''return variable'', but if you think of "return" as a function which returns a reference whenever one is available (i.e. when returning a variable) and only reverts to returning a value when that's all it's got, then it makes more sense. The function having returned a reference, you want to be sure to capture that (and not just the value) by using <code>=&</code>.
<syntaxhighlight lang=php>
+
===correct===
// THIS:
+
* <syntaxhighlight lang=php inline>function &Ref(&$a) { $b=$a; return $b; }</syntaxhighlight>// Ref() returns a reference to $a
function &Ref(&$a) { $b=$a; return $b; }
+
* <syntaxhighlight lang=php inline>$y =& Ref($x);</syntaxhighlight>// setting $y now sets $x
$y =& Ref(); // setting $y now sets $a
+
===wrong===
 
+
* <code>function <span style="color:red;">R</span>ef(&$a) { $b=$a; return $b; }</code> - missing "&" before "Ref"
class cThings {
+
* <code>function &Ref(<span style="color:red;">$</span>a) { $b=$a; return $b; }</code> - missing "&" before "$a"
    private $arIn = [];
+
* <code>function &Ref(&$a) { $b=$a; return <span style="color:red;">&</span>$b; }</code> - extra "&" after "return"
    function &InputArray() : array { return $this->arIn; }
 
    function Stuff() {
 
      $ar =& $this->InputArray();
 
      $ar = $_GET; // sets $this->arIn
 
    }
 
}
 
 
 
// -- BUT --
 
 
 
// NEITHER this
 
function Ref(&$a) { $b=$a; return &$b; }
 
// NOR this
 
function &Ref($a) { $b=$a; return $b; }
 
 
 
</syntaxhighlight>
 
  
 
==Basics==
 
==Basics==

Revision as of 13:11, 19 August 2024

In PHP, a variable can be accessed either by value or by reference. All PHP variables are references; the question is what you're accessing – the location of the value or what's stored there. By default, you're accessing the value; referencing syntax allows you to refer to the location instead. Unlike with a pointer, however, the location's address is never accessible to PHP code; it can only be copied.

Concepts

Each variable in PHP is a reference to a storage location; the details of this are generally hidden. When one variable is assigned a reference to another (rather than just the value) they then both refer to the same storage location. This storage location will continue to exist as long as at least one variable is using it.

References do allow some of the functionality provided by pointers in other languages (like C/C++), but unlike pointers they are always de-referenced from the standpoint of the PHP code. A better analogy (the PHP manual agrees) is to think of them like hard file links in Unix. Conceptually, $b = &$a means "$b and $a now point to the same content", not "$b is a pointer to $a's content".

A better cognitive model, perhaps, is to think of "=" and "=&" as what it says on the tin: different operations applied to the same variables:

  • $A = $B copies $B's holder contents to $A, so $A and $B have the same value.
  • $A =& $B copies $B's holder address to $A, so $A and $B use the same value-holder.

Clarification

There are no reference types (you can't declare, for example, &array or &int variables or return values); there are only reference operations -- and the reference operation is basically a qualifier (indicated by &) on a variable-access.

This is seemingly at odds with the fact that functions which return references are declared using the "&" prefix on the function name rather than on the return variable, but if you think of "return" as a function which returns a reference whenever one is available (i.e. when returning a variable) and only reverts to returning a value when that's all it's got, then it makes more sense. The function having returned a reference, you want to be sure to capture that (and not just the value) by using =&.

correct

  • function &Ref(&$a) { $b=$a; return $b; }// Ref() returns a reference to $a
  • $y =& Ref($x);// setting $y now sets $x

wrong

  • function Ref(&$a) { $b=$a; return $b; } - missing "&" before "Ref"
  • function &Ref($a) { $b=$a; return $b; } - missing "&" before "$a"
  • function &Ref(&$a) { $b=$a; return &$b; } - extra "&" after "return"

Basics

To return a reference instead of a value, use the & operator when referring to the source variable:

$vtest = 'test value';
$vref = &$vtest;
echo "VTEST: ";
var_dump($vtest);
echo '<br>';
echo "VREF: ";
var_dump($vref);
echo '<br>';
$vref = 'another test';
echo "VTEST: ";
var_dump($vtest);
echo '<br>';

Output:

VTEST: string(10) "test value"
VREF: string(10) "test value"
VTEST: string(12) "another test"

This illustrates some key points:

  • The var_dump() function can't tell the difference between a variable that was given a reference and one that was given a value.
    • ...because there isn't one, actually.
  • Writing a value to a variable that contains a reference overwrites the value of the reference target, rather than replacing the reference.
    • This is kind of essential to how references work: spooky action at a distance, basically.
    • This also implies that the only way to change a reference-holding variable directly is to assign it a new reference or unset() it.
      • Actually, I think if you use =&, that should update the reference? To be checked.

Links