PHP RFC: Final Property Promotion

• Version: 0.1
• Date: 2025-03-24
• Author: Daniel Scherzer, daniel.e.scherzer@gmail.com
• Status: Implemented (PHP 8.5)
• First Published at: https://wiki.php.net/rfc/final_promotion
• Implementation: https://github.com/php/php-src/pull/17861

When property-hooks added property hooks, it also added a mechanism for properties to be declared as final. However, the final modifier is not currently supported for properties that are created via constructor property promotion. This RFC proposes that final properties also be allowed in constructor property promotion.

The reasoning is basically the same as from the original constructor_promotion RFC - reducing boilderplate.

When a constructor parameter is marked with final, it is considered “promoted” and treated like other promoted properties, with the resulting property also being marked as final.

Since properties declared as final do not need an explicit visibility set (defaulting to public), no visibility is required in the promotion if final is used, though visibility (including asymmetric visibility) and other features (like property hooks) can be used and combined with final.

None, all prior code that was valid is executed the same

As with all RFCs that make code that previously had a compile-time error become valid, this RFC requires updates to static analyzers and IDEs to understand the semantics of constructor parameters marked as final.

Next version of PHP (PHP 8.5 or PHP 9.0)

Since final was not valid for property promotion previously, the behavior of existing legal code is unchanged.

https://github.com/php/php-src/pull/17861

After the project is implemented, this section should contain

1. the version(s) it was merged into
2. a link to the git commit(s)
3. a link to the PHP manual entry for the feature
4. a link to the language specification section (if any)

• property-hooks
• constructor_promotion
• Discussion thread that led to RFC: https://externals.io/message/126475