Make array() a function

Author: TimWolla

Zend/zend_ast.c

@@ -2173,9 +2173,20 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
 			zend_ast_export_list(str, (zend_ast_list*)ast, 1, 20, indent);
 			break;
 		case ZEND_AST_ARRAY:
-			smart_str_appendc(str, '[');
-			zend_ast_export_list(str, (zend_ast_list*)ast, 1, 20, indent);
-			smart_str_appendc(str, ']');
+			switch (ast->attr) {
+				case ZEND_ARRAY_SYNTAX_LONG:
+				case ZEND_ARRAY_SYNTAX_FUNCTION:
+					smart_str_appends(str, "array(");
+					zend_ast_export_list(str, (zend_ast_list*)ast, 1, 20, indent);
+					smart_str_appendc(str, ')');
+					break;
+				case ZEND_ARRAY_SYNTAX_SHORT:
+				default:
+					smart_str_appendc(str, '[');
+					zend_ast_export_list(str, (zend_ast_list*)ast, 1, 20, indent);
+					smart_str_appendc(str, ']');
+					break;
+			}
 			break;
 		case ZEND_AST_ENCAPS_LIST:
 			smart_str_appendc(str, '"');

Zend/zend_builtin_functions.c

@@ -69,6 +69,43 @@ zend_result zend_startup_builtin_functions(void) /* {{{ */
 }
 /* }}} */
 
+ZEND_FUNCTION(array)
+{
+	zval *args;
+	uint32_t argc;
+	HashTable *named_params;
+
+	ZEND_PARSE_PARAMETERS_START(0, -1)
+		Z_PARAM_VARIADIC_WITH_NAMED(args, argc, named_params);
+	ZEND_PARSE_PARAMETERS_END();
+
+	if (EXPECTED(argc == 0)) {
+		if (EXPECTED(named_params != NULL)) {
+			GC_ADDREF(named_params);
+			RETURN_ARR(named_params);
+		} else {
+			RETURN_EMPTY_ARRAY();
+		}
+	} else {
+		HashTable *entries;
+
+		ALLOC_HASHTABLE(entries);
+		zend_hash_init(entries, argc + (named_params ? zend_hash_num_elements(named_params) : 0), NULL, NULL, false);
+		for (uint32_t i = 0; i < argc; i++) {
+			zend_hash_index_add_new(entries, i, &args[i]);
+		}
+		if (named_params != NULL) {
+			zend_string *key;
+			zval *val;
+			ZEND_HASH_FOREACH_STR_KEY_VAL(named_params, key, val) {
+				zend_hash_update(entries, key, val);
+			} ZEND_HASH_FOREACH_END();
+		}
+
+		RETURN_ARR(entries);
+	}
+}
+
 ZEND_FUNCTION(exit)
 {
 	zend_string *str = NULL;

Zend/zend_builtin_functions.stub.php

@@ -7,6 +7,8 @@ class stdClass
 {
 }
 
+function _array(mixed ...$entries): array {}
+
 function exit(string|int $status = 0): never {}
 
 /** @alias exit */

Zend/zend_builtin_functions_arginfo.h

@@ -1053,6 +1053,7 @@ ZEND_API zend_string *zend_type_to_string(zend_type type);
 #define ZEND_ARRAY_SYNTAX_LIST 1  /* list() */
 #define ZEND_ARRAY_SYNTAX_LONG 2  /* array() */
 #define ZEND_ARRAY_SYNTAX_SHORT 3 /* [] */
+#define ZEND_ARRAY_SYNTAX_FUNCTION 4 /* [] */
 
 /* var status for backpatching */
 #define BP_VAR_R			0

Zend/zend_compile.h

@@ -286,6 +286,7 @@ static YYSIZE_T zend_yytnamerr(char*, const char*);
 %type <ast> function_name non_empty_member_modifiers
 %type <ast> property_hook property_hook_list optional_property_hook_list hooked_property property_hook_body
 %type <ast> optional_parameter_list
+%type <ast> non_empty_array_function_argument_list array_function_argument
 
 %type <num> returns_ref function fn is_reference is_variadic property_modifiers property_hook_modifiers
 %type <num> method_modifiers class_const_modifiers member_modifier optional_cpp_modifiers
@@ -1447,11 +1448,30 @@ ctor_arguments:
 
 dereferenceable_scalar:
 		T_ARRAY '(' array_pair_list ')'	{ $$ = $3; $$->attr = ZEND_ARRAY_SYNTAX_LONG; }
+	|	T_ARRAY '(' non_empty_array_function_argument_list possible_comma ')'
+			{ $$ = $3; $$->attr = ZEND_ARRAY_SYNTAX_FUNCTION; }
+	|	T_ARRAY '(' T_ELLIPSIS ')' {
+			zend_ast *name = zend_ast_create_zval_from_str(ZSTR_KNOWN(ZEND_STR_ARRAY));
+			name->attr = ZEND_NAME_FQ;
+			$$ = zend_ast_create(ZEND_AST_CALL, name, zend_ast_create_fcc());
+	}
 	|	'[' array_pair_list ']'			{ $$ = $2; $$->attr = ZEND_ARRAY_SYNTAX_SHORT; }
 	|	T_CONSTANT_ENCAPSED_STRING		{ $$ = $1; }
 	|	'"' encaps_list '"'			 	{ $$ = $2; }
 ;
 
+non_empty_array_function_argument_list:
+		array_function_argument
+			{ $$ = zend_ast_create_list(1, ZEND_AST_ARRAY, $1); }
+	|	non_empty_array_function_argument_list ',' array_function_argument
+			{ $$ = zend_ast_list_add($1, $3); }
+;
+
+array_function_argument:
+		identifier ':' expr
+			{ $$ = zend_ast_create(ZEND_AST_NAMED_ARG, $1, $3); }
+;
+
 scalar:
 		T_LNUMBER 	{ $$ = $1; }
 	|	T_DNUMBER 	{ $$ = $1; }

Zend/zend_language_parser.y

@@ -1009,6 +1009,9 @@ class FunctionName implements FunctionOrMethodName {
     private /* readonly */ Name $name;
 
     public function __construct(Name $name) {
+        if ($name->name === '_array') {
+            $name = new Name('array', $name->getAttributes());
+        }
         $this->name = $name;
     }
 

build/gen_stub.php

@@ -0,0 +1,56 @@
+--TEST--
+Test array() function
+--FILE--
+<?php
+var_dump(\array(1, 2, 3));
+var_dump(\array(foo: "bar", baz: "quux"));
+var_dump(array(foo: "bar", baz: "quux"));
+
+try {
+	assert(false && \array(foo: "bar", baz: "quux"));
+} catch (AssertionError $e) {
+	echo $e->getMessage(), PHP_EOL;
+}
+
+var_dump(array_map(array(...), [1, 2, 3]));
+
+?>
+--EXPECT--
+array(3) {
+  [0]=>
+  int(1)
+  [1]=>
+  int(2)
+  [2]=>
+  int(3)
+}
+array(2) {
+  ["foo"]=>
+  string(3) "bar"
+  ["baz"]=>
+  string(4) "quux"
+}
+array(2) {
+  ["bar"]=>
+  string(3) "foo"
+  ["quux"]=>
+  string(3) "baz"
+}
+assert(false && \array(foo: 'bar', baz: 'quux'))
+array(3) {
+  [0]=>
+  array(1) {
+    [0]=>
+    int(1)
+  }
+  [1]=>
+  array(1) {
+    [0]=>
+    int(2)
+  }
+  [2]=>
+  array(1) {
+    [0]=>
+    int(3)
+  }
+}