Add support for property initialization during cloning

Author: kocsismate

Zend/tests/clone_initializer/clone_initializer_error1.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Test that the property initializer list is required when "with" is given
+--FILE--
+<?php
+
+class Foo
+{
+    public function withProperties()
+    {
+        return clone $this with;
+    }
+}
+
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected token ";", expecting "{" in %s on line %d

Zend/tests/clone_initializer/clone_initializer_error2.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Test that the property initializer list cannot contain integer keys
+--FILE--
+<?php
+
+class Foo
+{
+    public function withProperties()
+    {
+        return clone $this with {1: "value"};
+    }
+}
+
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected integer "1" in %s on line %d

Zend/tests/clone_initializer/clone_initializer_error3.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Test that the property initializer list can only contain literals
+--FILE--
+<?php
+
+class Foo
+{
+    public function withProperties()
+    {
+        $property = "string";
+
+        return clone $this with {$property: "value"};
+    }
+}
+
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected variable "$property" in %s on line %d

Zend/tests/clone_initializer/clone_initializer_error4.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Test that the clone property initializer respects visibility
+--FILE--
+<?php
+
+class Foo
+{
+    private $bar;
+}
+
+$foo = new Foo();
+
+try {
+$foo = clone $foo with {bar: 1};
+} catch (Error $exception) {
+    echo $exception->getMessage() . "\n";
+}
+
+?>
+--EXPECT--
+Cannot access private property Foo::$bar

Zend/tests/clone_initializer/clone_initializer_success1.phpt

@@ -0,0 +1,38 @@
+--TEST--
+Test that declared properties can be initialized during cloning
+--FILE--
+<?php
+
+class Foo
+{
+    public int $property1;
+    public string $property2;
+
+    public function withProperties()
+    {
+        return clone $this with {
+            property1: 1,
+            property2: "foo",
+        };
+    }
+}
+
+$foo = new Foo();
+var_dump($foo);
+$bar = $foo->withProperties();
+var_dump($bar);
+
+?>
+--EXPECT--
+object(Foo)#1 (0) {
+  ["property1"]=>
+  uninitialized(int)
+  ["property2"]=>
+  uninitialized(string)
+}
+object(Foo)#2 (2) {
+  ["property1"]=>
+  int(1)
+  ["property2"]=>
+  string(3) "foo"
+}

Zend/tests/clone_initializer/clone_initializer_success2.phpt

@@ -0,0 +1,31 @@
+--TEST--
+Test that dynamic properties can be initialized during cloning
+--FILE--
+<?php
+
+class Foo
+{
+    public function withProperties()
+    {
+        return clone $this with {
+            property1: 1,
+            property2: "foo",
+        };
+    }
+}
+
+$foo = new Foo();
+var_dump($foo);
+$bar = $foo->withProperties();
+var_dump($bar);
+
+?>
+--EXPECT--
+object(Foo)#1 (0) {
+}
+object(Foo)#2 (2) {
+  ["property1"]=>
+  int(1)
+  ["property2"]=>
+  string(3) "foo"
+}

Zend/tests/clone_initializer/clone_initializer_success3.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Test that the property initializer list can be empty
+--FILE--
+<?php
+
+class Foo
+{
+    public function withProperties()
+    {
+        return clone $this with {};
+    }
+}
+
+$foo = new Foo();
+var_dump($foo);
+$bar = $foo->withProperties();
+var_dump($bar);
+
+?>
+--EXPECT--
+object(Foo)#1 (0) {
+}
+object(Foo)#2 (0) {
+}

Zend/tests/clone_initializer/clone_initializer_success4.phpt

@@ -0,0 +1,27 @@
+--TEST--
+Test that the "clone with" is still chainable
+--FILE--
+<?php
+
+class Foo
+{
+    public $bar = 1;
+
+    public function withProperties()
+    {
+        return (clone $this with {})->bar;
+    }
+}
+
+$foo = new Foo();
+var_dump($foo);
+$bar = $foo->withProperties();
+var_dump($bar);
+
+?>
+--EXPECT--
+object(Foo)#1 (1) {
+  ["bar"]=>
+  int(1)
+}
+int(1)

Zend/tests/clone_initializer/clone_initializer_success5.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Test that the "clone with" works with dynamic properties
+--FILE--
+<?php
+
+class Foo
+{
+}
+
+$foo = new Foo();
+$foo = clone $foo with {bar: 1, baz: ""};
+var_dump($foo);
+
+?>
+--EXPECT--
+object(Foo)#2 (2) {
+  ["bar"]=>
+  int(1)
+  ["baz"]=>
+  string(0) ""
+}

Zend/zend_ast.c

@@ -1602,6 +1602,11 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
 		case ZEND_AST_MATCH_ARM_LIST:
 			zend_ast_export_list(str, (zend_ast_list*)ast, 0, 0, indent);
 			break;
+		case ZEND_AST_PROPERTY_INITIALIZER_LIST:
+			smart_str_appends(str, " {");
+			zend_ast_export_list(str, (zend_ast_list*)ast, 0, 0, indent);
+			smart_str_appends(str, " }");
+			break;
 		case ZEND_AST_CLOSURE_USES:
 			smart_str_appends(str, " use(");
 			zend_ast_export_var_list(str, (zend_ast_list*)ast, indent);
@@ -2079,6 +2084,12 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
 			ast = ast->child[1];
 			goto tail_call;
 
+		case ZEND_AST_INITIALIZER_EXPR:
+			smart_str_append(str, zend_ast_get_str(ast->child[0]));
+			smart_str_appends(str, "= ");
+			ast = ast->child[1];
+			goto tail_call;
+
 		/* 3 child nodes */
 		case ZEND_AST_METHOD_CALL:
 		case ZEND_AST_NULLSAFE_METHOD_CALL: