Make interface constants overridable by default

kocsismate · kocsismate · commit 62a329f39c7d · 2021-05-13T23:22:09.000+02:00
diff --git a/Zend/tests/constants/final_constants/final_const4.phpt b/Zend/tests/constants/final_constants/final_const4.phpt
@@ -0,0 +1,17 @@
+--TEST--
+Interface constants can be overridden directly
+--FILE--
+<?php
+
+interface I
+{
+    const X = 1;
+}
+
+class C implements I
+{
+    const X = 2;
+}
+
+?>
+--EXPECT--
diff --git a/Zend/tests/constants/final_constants/final_const5.phpt b/Zend/tests/constants/final_constants/final_const5.phpt
@@ -0,0 +1,18 @@
+--TEST--
+Final interface constants cannot be overridden directly
+--FILE--
+<?php
+
+interface I
+{
+    final public const X = 1;
+}
+
+class C implements I
+{
+    const X = 2;
+}
+
+?>
+--EXPECTF--
+Fatal error: C::X cannot override final constant I::X in %s on line %d
diff --git a/Zend/tests/constants/final_constants/final_const6.phpt b/Zend/tests/constants/final_constants/final_const6.phpt
@@ -0,0 +1,16 @@
+--TEST--
+Final interface constants can be inherited
+--FILE--
+<?php
+
+interface I
+{
+    final public const X = 1;
+}
+
+class C implements I
+{
+}
+
+?>
+--EXPECT--
diff --git a/Zend/tests/constants/final_constants/final_const7.phpt b/Zend/tests/constants/final_constants/final_const7.phpt
@@ -0,0 +1,19 @@
+--TEST--
+Interface constants can be overridden indirectly
+--FILE--
+<?php
+
+interface I
+{
+    const X = 1;
+}
+
+class C implements I {}
+
+class D extends C
+{
+    const X = 2;
+}
+
+?>
+--EXPECT--
diff --git a/Zend/tests/inter_01.phpt b/Zend/tests/inter_01.phpt
diff --git a/Zend/zend_API.c b/Zend/zend_API.c
@@ -4316,7 +4316,7 @@ ZEND_API zend_class_constant *zend_declare_class_constant_ex(zend_class_entry *c
 	zend_class_constant *c;
 
 	if (ce->ce_flags & ZEND_ACC_INTERFACE) {
-		if (access_type != ZEND_ACC_PUBLIC) {
+		if (!(access_type & ZEND_ACC_PUBLIC)) {
 			zend_error_noreturn(E_COMPILE_ERROR, "Access type for interface constant %s::%s must be public", ZSTR_VAL(ce->name), ZSTR_VAL(name));
 		}
 	}
diff --git a/Zend/zend_inheritance.c b/Zend/zend_inheritance.c
@@ -1479,7 +1479,14 @@ static bool do_inherit_constant_check(HashTable *child_constants_table, zend_cla
 
 	if (zv != NULL) {
 		old_constant = (zend_class_constant*)Z_PTR_P(zv);
-		if (old_constant->ce != parent_constant->ce) {
+
+		if ((ZEND_CLASS_CONST_FLAGS(parent_constant) & ZEND_ACC_FINAL)) {
+			zend_error_noreturn(E_COMPILE_ERROR, "%s::%s cannot override final constant %s::%s",
+				ZSTR_VAL(old_constant->ce->name), ZSTR_VAL(name), ZSTR_VAL(iface->name), ZSTR_VAL(name)
+			);
+		}
+
+		if (old_constant->ce != parent_constant->ce && old_constant->ce->ce_flags & ZEND_ACC_INTERFACE) {
 			zend_error_noreturn(E_COMPILE_ERROR, "Cannot inherit previously-inherited or override constant %s from interface %s", ZSTR_VAL(name), ZSTR_VAL(iface->name));
 		}
 		return 0;
diff --git a/tests/classes/interface_constant_inheritance_002.phpt b/tests/classes/interface_constant_inheritance_002.phpt
diff --git a/tests/classes/interface_constant_inheritance_003.phpt b/tests/classes/interface_constant_inheritance_003.phpt

Original file line number	Diff line number	Diff line change
`@@ -4316,7 +4316,7 @@ ZEND_API zend_class_constant zend_declare_class_constant_ex(zend_class_entry c`
`4316`	`4316`	`zend_class_constant *c;`
`4317`	`4317`
`4318`	`4318`	`if (ce->ce_flags & ZEND_ACC_INTERFACE) {`
`4319`		`- if (access_type != ZEND_ACC_PUBLIC) {`
	`4319`	`+ if (!(access_type & ZEND_ACC_PUBLIC)) {`
`4320`	`4320`	`zend_error_noreturn(E_COMPILE_ERROR, "Access type for interface constant %s::%s must be public", ZSTR_VAL(ce->name), ZSTR_VAL(name));`
`4321`	`4321`	`}`
`4322`	`4322`	`}`