rfc:keywords_as_identifiers

PHP RFC: Extended keyword support

Version: 1.2

Date: 2013-09-14

Author: Bob Weinand, bobwei9@hotmail.com

Status: Declined The implementation was creating too much need for maintenance etc. Don't duplicate that proposal without a better implementation.

First Published at: http://wiki.php.net/rfc/keywords_as_identifiers

Introduction

This RFC aims to remove some restrictions which are due to the fact that keywords are not included in T_STRING (especially for class const, method and class names). This especially could be useful to preserve more BC compatibility whenever new keywords are introduced.

What is now possible

One might want to define an HTTP agent class. And would like to store some HTTP status constants: class HTTP { const CONTINUE = 100 ; // Works with patch // But currently this fails with a parse error, because continue is a keyword. const SWITCHING_PROTOCOLS = 101 ; // etc. ... } Building conditions with “and” or “or” methods class Cond { public static function and ( ... ) { // using an "and" or "or" as name currently fails // some logic here return $andCondition ; } public static function or ( ... ) { // some logic here return $orCondition ; } } Cond :: and ( $cond1 , $cond2 ) ; Prevents unnecessary use of __call magic method (“->keyword_name_for_non_static_method()” works, but “public function keyword_name_for_non_static_method() {}” currently fails) // Ugly, current code class SomeClass { private $list = [ ] ; public function _list ( ) { return $this -> list ; } public function __call ( $func , $args ) { if ( method_exists ( $this , "_" . $func ) ) { return call_user_func_array ( "_" . $func , $args ) ; // or some similar thing, if not underscores etc.... } // some error handling here } } // How we could write it with the patch class SomeClass { private $list = [ ] ; public function list ( ) { return $this -> list ; } }

Details of proposal

Concretely this patch enables: all keywords for method names class constant names declare directive names class names trait names interface names goto label names namespace names

actual language features are preserved: a label (for goto) named default or else won't work (“default:” in switch or “else:” in alternative if structure) a namespace named namespace won't work (a namespace name beginning with “namespace\” is a relative namespace name) a class constant named class can't be defined (“classname::class” has a special meaning) ...

An example what is possible with this patch: namespace Class { class List { const default = 0 ; public $case = array ( array ( self :: default ) ) ; public static function echo ( List $instance ) { var_dump ( $instance -> case ) ; } public function new ( array $entry ) { $this -> case [ ] = $entry ; return $this ; } } } namespace { \ Class \ List :: echo ( ( new Class \ List ) -> new ( array ( 1 ) ) ) ; }

Typehints

Currently when using array or callable as typehint, the old behaviour is preferred over comparing if it's a class/interface named array or callable. I'm not sure if we should just allow both in this special case.

Implementation

The transformation of alphabetic tokens to a T_STRING is done in lexer (post-processing output of lexer). Initially it was done in parser, but that had a few disadvantages: more restricted support for keywords

output of token_get_all() and highlight_*() functions was still using the unconverted tokens That is also why performance is affected, as it is some code which needs to be run on every token.

Impact on performance

There is a slight decrease in compilation performance of up to 10% in worst case. So, actually, when used with opcache (execution only), any impact shouldn't be noticeable. For that benchmark I used an 1.5 megabyte big file wrapped in an if (false) (so that nothing is executed): https://raw.github.com/nikic/PHP-Parser/master/lib/PHPParser/Parser.php Compare actual run time: time ./sapi/cli/php -r 'for($i=0;$i++<5000;)require "Parser.php";' real 0m33.132s user 0m32.816s sys 0m0.313s To run time with patch applied: time ./sapi/cli/php -r 'for($i=0;$i++<5000;)require "Parser.php";' real 0m36.720s user 0m36.400s sys 0m0.316s

Proposed PHP Version(s)

This RFC should go into next PHP 5.x.

Patch

The patch is against master

Pull request is at https://github.com/php/php-src/pull/438

References

Mailing List thread at http://markmail.org/message/7rn4mbwkbytqa3ig

Rejected Features

Initially the patch contained also some support for functions and constants which was removed later due to some resulting syntactic inconsistencies

Vote

Should the extended keyword support patch be merged into master? Real name Yes No bwoebi (bwoebi) cpriest (cpriest) datibbaw (datibbaw) daverandom (daverandom) derick (derick) googleguy (googleguy) guilhermeblanco (guilhermeblanco) indeyets (indeyets) jpauli (jpauli) kalle (kalle) rasmus (rasmus) remi (remi) sebastian (sebastian) seld (seld) stas (stas) zeev (zeev) Final result: 5 11 This poll has been closed. Deadline was Monday, 28th october 2013.

Versions