PHPで代入すると結果がかわる事象について

Question

質問の経緯

PHP の empty() でわけのわからない仕様を見つけました。
下記を実行してみてください。

実行：https://3v4l.org/ZeZFk

<?php
class Car
{
    protected array $tags;

    public function __get(string $prop): mixed
    {
        if (property_exists($this, $prop)) {
            return $this->{$prop};
        }
    }

    public function __set(string $prop, mixed $val): void
    {
        if (property_exists($this, $prop)) {
            $this->$prop = $val;
        }
    }
}

class CarMapper
{
    public function test(Car $car): void
    {
        echo 'そのままだとtrueになる'.PHP_EOL;
        var_dump(empty($car->tags)); // bool(true)

        echo '代入するとfalseになる'.PHP_EOL;
        $tags = $car->tags;
        var_dump(empty($tags)); // bool(false)
    }
}

$car = new Car();
$car->tags = ['tag1'];
$carMapper = new CarMapper();
$carMapper->test($car);

なんと、「そのままだとtrueになる」のに、「代入するとfalseになる」のです。わけがわかりません…。

調べたこと

一応マニュアルにはこのような記載がございましたが、別に __isset() なんて宣言していませんのでこの記載は関係ないと思いますし。（つまり __isset() が宣言されていなければ empty() は平常運転するだろうと解釈できますし。）

オブジェクトのアクセス不能なプロパティに対して empty() を使用した場合は、もしオーバーロードメソッド __isset() が宣言されていればそれをコールします。
https://www.php.net/manual/ja/function.empty.php

それにもし「> アクセス不能なプロパティに対して empty() を使用」していることが何か関係しているとしても、そもそも最初の var_dump() は「アクセス不能なプロパティを __get() で取得した結果に empty() を使用」していると捉えるべきだと思うのです。

つまりこうではなくて、

empty(アクセス不能なプロパティ)

こう捉えるべきだと思うのです。

empty(アクセス不能なプロパティを __get() で取得した結果)

なぜならこの outer() は、inner() の結果を利用しているためです。empty() だって中の結果を利用してよ！と思います。なんで中の結果を作る前にアクセスの不能性を判定するのでしょうか。わけがわかりません…。

echo outer(inner());
function inner(){return 'inner';}
function outer($str){return 'outer'.$str;}

質問事項

改めまして質問は２つです。

➀いったいどういうロジックで「そのままだとtrueになる」のに、「代入するとfalseになる」という事象になるのでしょうか？
➁そしてどのようにして「$car->tags のような値（配列のプロパティ）が空配列であること」を確認すべきなのでしょうか？

お詳しい方、よろしくお願い致します。

※尚、empty() だけでなく isset() も同様の事象でした。

補足

質問の➁について、ひとまず Car に以下のような __isset() を置いて解決できました。

    public function __isset(string $prop): bool
    {
        return property_exists($this, $prop);
    }

ならば改めて質問になりますが

➂この __isset() はすべてのクラスで絶対に置いておくべきだと思ったのですが、あって困ることはございますか？

もし「オレは empty() や isset() は絶対に通さないのだ！」というなら不要でしょうけれど、あって困ることがなければ備えて置いておくべきだと思いました。（もちろんこれを置かず、➁への回答としてより良いものあれば引き続き➁も募集したいです。）

Comments

[melian]

※ 削除

[yambejp]

質問に追記されるとどこで回答していいかわからなくなります

＞ __isset() はすべてのクラスで絶対に置いておくべきだと思ったのですが、あって困ることはございますか？

オーバーロードを利用するなら__issetで整合性を担保してください

Answer 1

• PHP: オーバーロード - Manual

__set()/__get()はアクセス不能または存在しないプロパティへデータを書き込む/読み込むので、protectedまたはprivate宣言されたプロパティは値は参照できてもissetではfalse、emptyではtrueを返します

class Car{
  public    $t1;
  private   $t2;
  protected $t3;
  function __construct(){
    $this->t1=1;
    $this->t2=2;
    $this->t3=3;
  }
  public function __get($prop){
    return $this->{$prop};
  }
  public function __set($prop,$val){
    $this->$prop = $val;
  }
}
$car = new Car();
var_dump([isset($car->t1),isset($car->t2),isset($car->t3),isset($car->t4)]);
// true,false,false,false

普通に評価したいならマジックメソッドではない普通のゲッタで処理することです

class Car{
  private   $t2;
  function __construct(){
    $this->t2=2;
  }
  public function __get($prop){
    return $this->{$prop};
  }
  public function get($prop){
    return $this->{$prop};
  }
}
$car = new Car();
var_dump([$car->get("t2"),$car->t2]); //int(2),int2(2)
var_dump([empty($car->get("t2")),empty($car->t2)]); // false,true

Comments

[origa3]

丁寧なサンプルコードをありがとうございます。オーバーロードの場合は __isset() を用意し、普通の場合は専用のゲッタを用意する。という感じですね。

Answer 2

PHPマニュアルにもノートが付いていますし、3v4lを少し書き換えて検証してみたのですが、emptyでは__getを呼ばないようです。

Comments

[maisumakun]

> ➁そしてどのようにして「$car->tags のような値（配列のプロパティ）が空配列であること」を確認すべきなのでしょうか？

$car->tags == [] // PHPで配列は値型なので、空配列同士を==で比較できる

[origa3]

emptyでは__getを呼ばないとは…。まさかでした。ノートとサンプルコードまでありがとうございます。理解が捗りました。

適切な比較式もありがとうございます。そのようにさせて頂きます。

Answer 3

empty()は「変数」をパラメータに取るとされています。

$car->tagsは「変数」ではないので、変数をパラメータとして与えた場合に得られる結果が得られないのはしかたがないです。

なぜか実行時エラーになったり警告などが出たりしないのはちょっと納得いきません。ただドキュメントでは「変数が存在しない場合でも警告を発しません」と説明されています。たしかに$car->tagsという「変数」は「存在」しない (なぜなら変数ではないから) ので、一応筋は通っているような……。だめでしょうか。

Comments

[origa3]

なるほど。変数か否かで決まるのだと言われれば納得できます。マニュアルに対する適切な読解だと思いました。
私が最も納得のいかなかった outer() と inner() との違いについて言及されたご回答で、大変助かりました。ありがとうございます。

Answer 4

アクセス不能なプロパティに対して empty() を実行しようとした場合には、__get() ではなく __isset() が呼ばれます。

PHP: Overloading - Manual

__isset() is triggered by calling isset() or empty() on inaccessible (protected or private) or non-existing properties.

なので、

Car に以下のような __isset() を置いて〜

は適切な対応と言えます。

Comments

[origa3]

なるほど。isset() で良かったのですね。ありがとうございます。