Support new in initializers

Author: nikic

Zend/tests/constexpr/new.phpt

@@ -0,0 +1,62 @@
+--TEST--
+new in constant expressions
+--FILE--
+<?php
+
+try {
+    eval('const A = new DoesNotExist;');
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+const B = new stdClass;
+var_dump(B);
+
+try {
+    eval('const C = new stdClass([] + 0);');
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+class Test {
+    public function __construct(public $a, public $b) {}
+}
+
+try {
+    eval('const D = new Test(new stdClass, [] + 0);');
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+const E = new Test(new stdClass, 42);
+var_dump(E);
+
+class Test2 {
+    public function __construct() {
+        echo "Side-effect\n";
+        throw new Exception("Failed to construct");
+    }
+}
+
+try {
+    eval('const F = new Test2();');
+} catch (Exception $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECT--
+Class "DoesNotExist" not found
+object(stdClass)#2 (0) {
+}
+Unsupported operand types: array + int
+Unsupported operand types: array + int
+object(Test)#4 (2) {
+  ["a"]=>
+  object(stdClass)#1 (0) {
+  }
+  ["b"]=>
+  int(42)
+}
+Side-effect
+Failed to construct

Zend/tests/constexpr/new_anon_class.phpt

@@ -0,0 +1,10 @@
+--TEST--
+New with anonymous class is not supported in constant expressions
+--FILE--
+<?php
+
+const X = new class {};
+
+?>
+--EXPECTF--
+Fatal error: Cannot use anonymous class in constant expression in %s on line %d

Zend/tests/constexpr/new_arg_eval.phpt

@@ -0,0 +1,44 @@
+--TEST--
+Check that const exprs are pre-evaluated in new arguments
+--FILE--
+<?php
+
+class C {
+    public function __construct(public $x) {}
+}
+function test(
+    $a = new C(__CLASS__),
+    $b = new C(__FUNCTION__),
+    $c = new C(x: __FILE__),
+) {
+    var_dump($a, $b, $c);
+}
+test();
+
+// Check that nested new works as well.
+function test2($p = new C(new C(__FUNCTION__))) {
+    var_dump($p);
+}
+test2();
+
+?>
+--EXPECTF--
+object(C)#1 (1) {
+  ["x"]=>
+  string(0) ""
+}
+object(C)#2 (1) {
+  ["x"]=>
+  string(4) "test"
+}
+object(C)#3 (1) {
+  ["x"]=>
+  string(%d) "%snew_arg_eval.php"
+}
+object(C)#3 (1) {
+  ["x"]=>
+  object(C)#2 (1) {
+    ["x"]=>
+    string(5) "test2"
+  }
+}

Zend/tests/constexpr/new_arg_unpack.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Argument unpacking in new arguments in const expr (not yet supported)
+--FILE--
+<?php
+
+const X = new stdClass(...[0]);
+
+?>
+--EXPECTF--
+Fatal error: Argument unpacking in constant expressions is not supported in %s on line %d

Zend/tests/constexpr/new_dynamic_class_name.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Dynamic class name in new is not supported
+--FILE--
+<?php
+
+const FOO = new (BAR);
+
+?>
+--EXPECTF--
+Fatal error: Cannot use dynamic class name in constant expression in %s on line %d

Zend/tests/constexpr/new_in_property.phpt

@@ -0,0 +1,69 @@
+--TEST--
+Behavior of new in non-static property
+--FILE--
+<?php
+
+class Test {
+    public function __construct() {
+        static $i = 0;
+        $i++;
+        echo "Instantiating object $i\n";
+    }
+}
+
+class Test2 {
+    public $prop = new Test();
+}
+
+// Two distinct objects should be created.
+$o1 = new Test2;
+$o2 = new Test2;
+var_dump($o1->prop === $o2->prop);
+echo "\n";
+
+class Test3 {
+    public function __construct() {
+        throw new Exception("Failed to construct");
+    }
+
+    public function __destruct() {
+        echo "Destructor\n";
+    }
+}
+
+class Test4 {
+    public $prop = new Test3();
+    public $prop2 = new Test3();
+}
+
+try {
+    var_dump(new Test4);
+} catch (Exception $e) {
+    echo $e, "\n";
+}
+
+class Test5 extends DateTime {
+    public $prop = new Test3();
+    public $prop2 = new Test3();
+}
+
+try {
+    var_dump(new Test5);
+} catch (Exception $e) {
+    echo $e, "\n";
+}
+
+?>
+--EXPECTF--
+Instantiating object 1
+Instantiating object 2
+bool(false)
+
+Exception: Failed to construct in %s:%d
+Stack trace:
+#0 %s(%d): Test3->__construct()
+#1 {main}
+Exception: Failed to construct in %s:%d
+Stack trace:
+#0 %s(%d): Test3->__construct()
+#1 {main}

Zend/tests/constexpr/new_in_typed_context.phpt

@@ -0,0 +1,44 @@
+--TEST--
+new as typed property/parameter default
+--FILE--
+<?php
+
+class Test {
+    public stdClass $prop = new stdClass;
+}
+var_dump(new Test);
+
+class Test2 {
+    public stdClass $prop = new Test;
+}
+try {
+    var_dump(new Test2);
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+function test(stdClass $arg = new stdClass) {
+    var_dump($arg);
+}
+test();
+
+function test2(stdClass $arg = new Test) {
+    var_dump($arg);
+}
+try {
+    test2();
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECTF--
+object(Test)#1 (1) {
+  ["prop"]=>
+  object(stdClass)#2 (0) {
+  }
+}
+Cannot assign Test to property Test2::$prop of type stdClass
+object(stdClass)#1 (0) {
+}
+test2(): Argument #1 ($arg) must be of type stdClass, Test given, called in %s on line %d

Zend/tests/constexpr/new_invalid_operation_in_arg.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Invalid operation in new arg in const expr
+--FILE--
+<?php
+
+const X = new stdClass($foo);
+
+?>
+--EXPECTF--
+Fatal error: Constant expression contains invalid operations in %s on line %d

Zend/tests/constexpr/new_named_params.phpt

@@ -0,0 +1,51 @@
+--TEST--
+Named params in new in const expr (not supported yet)
+--FILE--
+<?php
+
+class Vec {
+    public function __construct(public float $x, public float $y, public float $z) {}
+}
+
+const A = new Vec(x: 0.0, y: 1.0, z: 2.0);
+var_dump(A);
+
+const B = new Vec(z: 0.0, y: 1.0, x: 2.0);
+var_dump(B);
+
+const C = new Vec(0.0, z: 1.0, y: 2.0);
+var_dump(C);
+
+try {
+    eval('const D = new Vec(x: 0.0, x: 1.0);');
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECT--
+object(Vec)#1 (3) {
+  ["x"]=>
+  float(0)
+  ["y"]=>
+  float(1)
+  ["z"]=>
+  float(2)
+}
+object(Vec)#2 (3) {
+  ["x"]=>
+  float(2)
+  ["y"]=>
+  float(1)
+  ["z"]=>
+  float(0)
+}
+object(Vec)#3 (3) {
+  ["x"]=>
+  float(0)
+  ["y"]=>
+  float(2)
+  ["z"]=>
+  float(1)
+}
+Named parameter $x overwrites previous argument

Zend/tests/constexpr/new_positional_after_named.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Positional argument after named argument in new arguments
+--FILE--
+<?php
+
+const X = new stdClass(x: 0, 1);
+
+?>
+--EXPECTF--
+Fatal error: Cannot use positional argument after named argument in %s on line %d