[RFC] Implement structs (WIP)

Zend/tests/data_classes/assign_op.phpt

@@ -0,0 +1,27 @@
+--TEST--
+Assign op on data classes
+--FILE--
+<?php
+
+data class Box {
+    public function __construct(
+        public $value,
+    ) {}
+}
+
+$a = new Box(0);
+$b = $a;
+$b->value += 1;
+var_dump($a);
+var_dump($b);
+
+?>
+--EXPECT--
+object(Box)#1 (1) {
+  ["value"]=>
+  int(0)
+}
+object(Box)#2 (1) {
+  ["value"]=>
+  int(1)
+}

Zend/tests/data_classes/assign_ref.phpt

@@ -0,0 +1,27 @@
+--TEST--
+Assign ref on data classes
+--FILE--
+<?php
+
+data class Box {
+    public $value;
+}
+
+$a = new Box();
+$a->value = 1;
+$b = $a;
+$c = 2;
+$b->value = &$c;
+var_dump($a);
+var_dump($b);
+
+?>
+--EXPECT--
+object(Box)#1 (1) {
+  ["value"]=>
+  int(1)
+}
+object(Box)#2 (1) {
+  ["value"]=>
+  &int(2)
+}

Zend/tests/data_classes/assign_to_self.phpt

@@ -0,0 +1,32 @@
+--TEST--
+Send data classes
+--FILE--
+<?php
+
+data class Box {
+    public function __construct(
+        public $value,
+    ) {}
+}
+
+$a = new Box(42);
+$a->value = $a;
+var_dump($a);
+
+$b = new Box(42);
+$b->value = &$b;
+var_dump($b);
+
+?>
+--EXPECT--
+object(Box)#2 (1) {
+  ["value"]=>
+  object(Box)#1 (1) {
+    ["value"]=>
+    int(42)
+  }
+}
+object(Box)#3 (1) {
+  ["value"]=>
+  *RECURSION*
+}

Zend/tests/data_classes/basic.phpt

@@ -0,0 +1,33 @@
+--TEST--
+Basic data classes
+--FILE--
+<?php
+
+data class Point {
+    public function __construct(
+        public int $x,
+        public int $y,
+    ) {}
+}
+
+$a = new Point(1, 1);
+$b = $a;
+$b->x = 2;
+$b->y = 2;
+var_dump($a);
+var_dump($b);
+
+?>
+--EXPECT--
+object(Point)#1 (2) {
+  ["x"]=>
+  int(1)
+  ["y"]=>
+  int(1)
+}
+object(Point)#2 (2) {
+  ["x"]=>
+  int(2)
+  ["y"]=>
+  int(2)
+}

Zend/tests/data_classes/interior_immutability.phpt

@@ -0,0 +1,43 @@
+--TEST--
+Basic data classes
+--FILE--
+<?php
+
+data class Child {
+    public function __construct(
+        public $value,
+    ) {}
+}
+
+class Parent_ {
+    public function __construct(
+        public Child $writableChild,
+        public readonly Child $readonlyChild,
+    ) {}
+}
+
+$parent = new Parent_(new Child(1), new Child(1));
+$parent->writableChild->value = 2;
+try {
+    $parent->readonlyChild->value = 2;
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+var_dump($parent);
+
+?>
+--EXPECT--
+Cannot modify readonly property Parent_::$readonlyChild
+object(Parent_)#1 (2) {
+  ["writableChild"]=>
+  object(Child)#2 (1) {
+    ["value"]=>
+    int(2)
+  }
+  ["readonlyChild"]=>
+  object(Child)#3 (1) {
+    ["value"]=>
+    int(1)
+  }
+}

Zend/tests/data_classes/is_identical.phpt

@@ -0,0 +1,73 @@
+--TEST--
+=== on data classes
+--FILE--
+<?php
+
+data class Box {
+    public function __construct(
+        public $value,
+    ) {}
+}
+
+$a = new Box(1);
+$b = new Box(2);
+$c = $a;
+$d = $a;
+$d->value++;
+$e = new Box('1');
+
+$values = [$a, $b, $c, $d, $e];
+foreach ($values as $l) {
+    foreach ($values as $r) {
+        echo var_export($l->value, true)
+            . ' === '
+            . var_export($r->value, true)
+            . ' => '
+            . ($l === $r ? 'true' : 'false')
+            . "\n";
+    }
+}
+
+#[\AllowDynamicProperties]
+data class Point {}
+
+$a = new Point();
+$a->x = 1;
+$a->y = 1;
+$b = new Point();
+$b->y = 1;
+$b->x = 1;
+var_dump($a === $b);
+unset($b->y);
+$b->y = 1;
+var_dump($a === $b);
+
+?>
+--EXPECT--
+1 === 1 => true
+1 === 2 => false
+1 === 1 => true
+1 === 2 => false
+1 === '1' => false
+2 === 1 => false
+2 === 2 => true
+2 === 1 => false
+2 === 2 => true
+2 === '1' => false
+1 === 1 => true
+1 === 2 => false
+1 === 1 => true
+1 === 2 => false
+1 === '1' => false
+2 === 1 => false
+2 === 2 => true
+2 === 1 => false
+2 === 2 => true
+2 === '1' => false
+'1' === 1 => false
+'1' === 2 => false
+'1' === 1 => false
+'1' === 2 => false
+'1' === '1' => true
+bool(false)
+bool(true)

Zend/tests/data_classes/iter.phpt

@@ -0,0 +1,84 @@
+--TEST--
+Iteration of data classes
+--FILE--
+<?php
+
+#[AllowDynamicProperties]
+data class Box {
+    public $value;
+}
+
+$box = new Box();
+$box->value = 1;
+$copy = $box;
+
+echo "Iteration by value\n";
+
+foreach ($box as $value) {
+    var_dump($value);
+}
+
+echo "\nIteration by ref\n";
+
+foreach ($box as $prop => &$value) {
+    if ($prop === 'value' && $value === 1) {
+        $box->dynamic = 1;
+    }
+    $value++;
+    var_dump($value);
+}
+
+echo "\nIteration by ref on copy\n";
+
+$copy2 = $copy;
+$copy2Ref = &$copy2;
+
+foreach ($copy2Ref as $prop => &$value) {
+    $value++;
+    var_dump($value);
+}
+
+echo "\nIteration by ref on ref with separation\n";
+
+function &getBox() {
+    global $box;
+    $box2 = $box;
+    return $box2;
+}
+
+foreach (getBox() as $prop => &$value) {
+    $value++;
+    var_dump($value);
+}
+
+echo "\nDone\n";
+
+var_dump($box, $copy);
+
+?>
+--EXPECT--
+Iteration by value
+int(1)
+
+Iteration by ref
+int(2)
+int(2)
+
+Iteration by ref on copy
+int(2)
+
+Iteration by ref on ref with separation
+int(3)
+int(3)
+
+Done
+object(Box)#2 (2) {
+  ["value"]=>
+  int(2)
+  ["dynamic"]=>
+  int(2)
+}
+object(Box)#1 (1) {
+  ["value"]=>
+  int(1)
+}

Zend/tests/data_classes/mutatin_in_ordinary_class.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Mutating keyword in ordinary class
+--FILE--
+<?php
+
+class Point {
+    public mutating function zero() {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Mutating modifier may only be added to data class methods in %s on line %d

Zend/tests/data_classes/mutating_call_verification.phpt

@@ -0,0 +1,38 @@
+--TEST--
+Mutating method calls on data classes
+--FILE--
+<?php
+
+data class D {
+    public function nonMutating() {
+        echo __FUNCTION__, "\n";
+    }
+
+    public mutating function mutating() {
+        echo __FUNCTION__, "\n";
+    }
+}
+
+$d = new D();
+
+$d->nonMutating();
+$d->mutating!();
+
+try {
+    $d->nonMutating!();
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+try {
+    $d->mutating();
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECT--
+nonMutating
+mutating
+Non-mutating method must not be called with $object->func!() syntax
+Mutating method must be called with $object->func!() syntax