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
(clarifications)
 
(4 intermediate revisions by the same user not shown)
Line 4: Line 4:
  
 
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 [https://www.php.net/manual/en/language.references.whatare.php agrees]) is to think of them like hard file links in Unix. Conceptually, <code>$b = &$a</code> means "$b and $a now point to the same content", ''not'' "$b is a pointer to $a's content".
 
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 [https://www.php.net/manual/en/language.references.whatare.php agrees]) is to think of them like hard file links in Unix. Conceptually, <code>$b = &$a</code> 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:
 +
* <code>$A = $B</code> copies $B's '''holder contents''' to $A, so $A and $B have the same value.
 +
* <code>$A =& $B</code> copies $B's '''holder address''' to $A, so $A and $B use the same value-holder.
 
==Clarification==
 
==Clarification==
 
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.
Line 10: Line 14:
 
<syntaxhighlight lang=php>
 
<syntaxhighlight lang=php>
 
// THIS:
 
// THIS:
function &Ref() { $x=3; return $x; }
+
function &Ref(&$a) { $b=$a; return $b; }
// NOT THIS
+
$y =& Ref(); // setting $y now sets $a
function Ref() { $x=3; return &$x; }
+
 
 +
class cThings {
 +
    private $arIn = [];
 +
    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>
 
</syntaxhighlight>
 +
 
==Basics==
 
==Basics==
 
To return a reference instead of a value, use the <code>&</code> operator when referring to the source variable:
 
To return a reference instead of a value, use the <code>&</code> operator when referring to the source variable:
Line 41: Line 62:
 
* Writing a value to a variable that contains a reference overwrites the value of the reference target, rather than replacing the reference.
 
* 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 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 <code>unset()</code> it.
+
** <s>This also implies that the only way to change a reference-holding variable directly is to assign it a new reference or <code>unset()</code> it.</s>
 +
*** Actually, I think if you use <code>=&</code>, that should update the reference? To be checked.
 +
 
 
==Links==
 
==Links==
 
* [https://www.php.net/manual/en/language.references.php References Explained]
 
* [https://www.php.net/manual/en/language.references.php References Explained]

Latest revision as of 19:59, 2 April 2023

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:

// THIS:
function &Ref(&$a) { $b=$a; return $b; }
$y =& Ref(); // setting $y now sets $a

class cThings {
    private $arIn = [];
    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; }

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