Typed Properties

Zend/tests/type_declarations/typed_properties_001.phpt

@@ -0,0 +1,38 @@
+--TEST--
+Test typed properties basic operation
+--FILE--
+<?php
+var_dump(new class(1, 2.2, true, ["four"], new stdClass) {
+	public int $int;
+	public float $float;
+	public bool $bool;
+	public array $array;
+	public stdClass $std;
+
+	public function __construct(int $int, float $float, bool $bool, array $array, stdClass $std) {
+		$this->int = $int;
+		$this->float = $float;
+		$this->bool = $bool;
+		$this->array = $array;
+		$this->std = $std;
+	}
+});
+?>
+--EXPECTF--
+object(class@anonymous)#%d (5) {
+  ["int"]=>
+  int(1)
+  ["float"]=>
+  float(2.2)
+  ["bool"]=>
+  bool(true)
+  ["array"]=>
+  array(1) {
+    [0]=>
+    string(4) "four"
+  }
+  ["std"]=>
+  object(stdClass)#%d (0) {
+  }
+}
+

Zend/tests/type_declarations/typed_properties_002.phpt

@@ -0,0 +1,17 @@
+--TEST--
+Test typed properties error condition (read uninitialized)
+--FILE--
+<?php
+$thing = new class() {
+	public int $int;
+};
+
+var_dump($thing->int);
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property class@anonymous::$int must not be accessed before initialization in %s:6
+Stack trace:
+#0 {main}
+  thrown in %s on line 6
+
+

Zend/tests/type_declarations/typed_properties_003.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Test typed properties error condition (fetch reference)
+--FILE--
+<?php
+$thing = new class() {
+	public int $int;
+};
+
+$var = &$thing->int;
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property class@anonymous::$int must not be referenced in %s:%d
+Stack trace:
+#0 {main}
+  thrown in %s on line %d
+

Zend/tests/type_declarations/typed_properties_004.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Test typed properties error condition (type mismatch)
+--FILE--
+<?php
+new class("PHP 7 is better than you, and it knows it ...") {
+	public int $int;
+
+	public function __construct(string $string) {
+		$this->int = $string;
+	}
+};
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property class@anonymous::$int must be integer, string used in %s:6
+Stack trace:
+#0 %s(2): class@anonymous->__construct('PHP 7 is better...')
+#1 {main}
+  thrown in %s on line 6
+
+

Zend/tests/type_declarations/typed_properties_005.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Test typed properties error condition (type mismatch object)
+--FILE--
+<?php
+class Dummy {}
+
+new class(new Dummy) {
+	public stdClass $std;
+
+	public function __construct(Dummy $dummy) {
+		$this->std = $dummy;
+	}
+};
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property class@anonymous::$std must be an instance of stdClass, Dummy used in %s:8
+Stack trace:
+#0 %s(4): class@anonymous->__construct(Object(Dummy))
+#1 {main}
+  thrown in %s on line 8

Zend/tests/type_declarations/typed_properties_006.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Test typed properties inheritance (scalar)
+--FILE--
+<?php
+class Foo {
+	public int $qux;
+}
+
+class Bar extends Foo {
+	public string $qux;
+}
+?>
+--EXPECTF--
+Fatal error: Type of Bar::$qux must be integer (as in class Foo) in %s on line 8
+

Zend/tests/type_declarations/typed_properties_007.phpt

@@ -0,0 +1,19 @@
+--TEST--
+Test typed properties inheritance
+--FILE--
+<?php
+class Whatever {}
+class Thing extends Whatever {}
+
+class Foo {
+	public Whatever $qux;
+}
+
+class Bar extends Foo {
+	public Thing $qux;
+}
+?>
+--EXPECTF--
+Fatal error: Type of Bar::$qux must be Whatever (as in class Foo) in %s on line 11
+
+

Zend/tests/type_declarations/typed_properties_008.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Test typed properties inheritance (missing info)
+--FILE--
+<?php
+class Foo {
+	public int $qux;
+}
+
+class Bar extends Foo {
+	public $qux;
+}
+?>
+--EXPECTF--
+Fatal error: Type of Bar::$qux must be integer (as in class Foo) in %s on line 8
+
+

Zend/tests/type_declarations/typed_properties_009.phpt

@@ -0,0 +1,23 @@
+--TEST--
+Test typed properties unset leaves properties in an uninitialized state
+--FILE--
+<?php
+class Foo {
+	public int $bar;
+
+	public function __get($name) {
+		var_dump($name);
+		/* return value has to be compatible with int */
+		return 0;
+	}
+}
+
+$foo = new Foo();
+
+unset($foo->bar);
+
+var_dump($foo->bar);
+?>
+--EXPECTF--
+string(3) "bar"
+int(0)

Zend/tests/type_declarations/typed_properties_010.phpt

@@ -0,0 +1,22 @@
+--TEST--
+Test typed properties disallow fetch reference for func arg
+--FILE--
+<?php
+class Foo {
+	public int $bar = 1;
+}
+
+$cb = function(int &$bar) {
+	var_dump($bar);
+};
+
+$foo = new Foo();
+$cb($foo->bar);
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property Foo::$bar must not be referenced in %s:11
+Stack trace:
+#0 {main}
+  thrown in %s on line 11
+
+

Zend/tests/type_declarations/typed_properties_011.phpt

@@ -0,0 +1,19 @@
+--TEST--
+Test typed properties disallow fetch reference for init array
+--FILE--
+<?php
+class Foo {
+	public int $bar = 1;
+}
+
+$foo = new Foo();
+
+$array = [&$foo->bar];
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property Foo::$bar must not be referenced in %s:8
+Stack trace:
+#0 {main}
+  thrown in %s on line 8
+
+

Zend/tests/type_declarations/typed_properties_012.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Test typed properties disallow fetch reference for foreach
+--FILE--
+<?php
+class Foo {
+	public int $bar = 1;
+}
+
+$foo = new Foo();
+foreach ($foo as &$prop);
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed properties exist in Foo: foreach by reference is disallowed in %s:7
+Stack trace:
+#0 {main}
+  thrown in %s on line 7
+
+

Zend/tests/type_declarations/typed_properties_013.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Test typed properties disallow incorrect type initial value (scalar)
+--FILE--
+<?php
+class Foo {
+	public int $bar = "string";
+}
+?>
+--EXPECTF--
+Fatal error: Default value for properties with integer type can only be integer in %s on line 3
+
+
+
+

Zend/tests/type_declarations/typed_properties_014.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Test typed properties disallow incorrect type initial value (array)
+--FILE--
+<?php
+class Foo {
+	public array $bar = null;
+}
+?>
+--EXPECTF--
+Fatal error: Default value for properties with array type can only be an array in %s on line 3
+
+
+

Zend/tests/type_declarations/typed_properties_015.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Test typed properties disallow incorrect type initial value (object)
+--FILE--
+<?php
+class Foo {
+	public stdClass $bar = null;
+}
+?>
+--EXPECTF--
+Fatal error: Default value for properties with class type are disallowed in %s on line 3
+
+
+
+

Zend/tests/type_declarations/typed_properties_016.phpt

@@ -0,0 +1,17 @@
+--TEST--
+Test typed properties initial values
+--FILE--
+<?php
+class Foo {
+	public int $int = 1;
+	public float $flt = 2.2;
+	public array $arr = [];
+	public bool $bool = false;
+}
+echo "ok\n";
+?>
+--EXPECT--
+ok
+
+
+

Zend/tests/type_declarations/typed_properties_017.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Test typed properties disallow void
+--FILE--
+<?php
+class Foo {
+	public void $int;
+}
+
+$foo = new Foo();
+?>
+--EXPECTF--
+Fatal error: Typed property Foo::$int must not be void in %s on line 3
+
+
+
+

Zend/tests/type_declarations/typed_properties_018.phpt

@@ -0,0 +1,22 @@
+--TEST--
+Test typed properties type applies to all props in group
+--FILE--
+<?php
+class Foo {
+	public int $bar,
+				$qux;
+}
+
+$reflector = new ReflectionClass(Foo::class);
+
+$prop = $reflector->getProperty("qux");
+
+var_dump((string) $prop->getType());
+?>
+--EXPECTF--
+string(3) "int"
+
+
+
+
+

Zend/tests/type_declarations/typed_properties_019.phpt

@@ -0,0 +1,27 @@
+--TEST--
+Test typed properties int must not be allowed to overflow
+--FILE--
+<?php
+class Foo {
+	public int $bar = PHP_INT_MAX;
+
+	public function inc() {
+		return ++$this->bar;
+	}
+}
+
+$foo = new Foo();
+
+var_dump($foo->inc());
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: Typed property Foo::$bar must be integer, float used in %s:6
+Stack trace:
+#0 %s(12): Foo->inc()
+#1 {main}
+  thrown in %s on line 6
+
+
+
+
+