Table of Contents

PHP RFC: Stringable Enums

Introduction

Enumerations (enums) were introduced in PHP 8.1 (enumerations). The RFC specified that magic methods other than __call(), __callStatic(), and __invoke() would not be permitted in enums, noting that most other magic methods involve state, which enum instances do not have. However, the exclusion also applies to __toString(), which does not need to involve state. This RFC proposes allowing the __toString() magic method on enums.

<?php
 
enum Foo: string {
	case Bar = "Baz";
 
	public function __toString() {
		return __CLASS__ . '::' . $this->name . ' = ' . $this->value;
	}
}
 
echo Foo::Bar; // produces "Foo::Bar = Baz"
 
?>

Proposal

The error when trying to implement __toString() on an enumeration is removed. The default validation of that magic method (visibility, arguments, return type) is applied if the method is present, and if present the Stringable interface is added as normal (stringable).

Examples

Simple example for a unit enum:

<?php
 
enum Foo {
	case Bar;
 
	public function __toString() {
		return $this->name . ' is a case of the ' . __CLASS__ . ' enum';
	}
}
 
echo Foo::Bar; // produces "Bar is a case of the Foo enum"
 
?>

Simple example for a backed enum:

<?php
 
enum Foo: string {
	case Bar = "Baz";
 
	public function __toString() {
		return __CLASS__ . '::' . $this->name . ' = ' . $this->value;
	}
}
 
echo Foo::Bar; // produces "Foo::Bar = Baz"
 
?>

Backward Incompatible Changes

There should be no backward incompatible changes - this is the removal of an existing error.

Proposed PHP Version(s)

Next PHP version (PHP 8.6).

RFC Impact

To the Ecosystem

Analysis tools that warn about trying to define a __toString() method on enums would need to be updated to not warn when the code is for PHP 8.6+.

To Existing Extensions

There are some built-in enums, e.g. \Random\IntervalBoundary - in the future, they may have __toString() methods, but this RFC does not include such additions.

Future Scope

Perhaps some of the other magic methods should also be allowed.

Voting Choices

Please consult the php/policies repository for the current voting guidelines.

Default title
Real name Yes No Abstain
Final result: 0 0 0
This poll has been closed.

Patches and Tests

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

Implementation

After the RFC 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

References

Links to external references, discussions, or RFCs.

Rejected Features

Automatic implementation

In writing this RFC I was pointed to auto-implement_stringable_for_string_backed_enums, which proposed that string-backed enums automatically provide __toString() methods that just returned their underlying values. That RFC was eventually withdrawn without a vote, but some concerns raised there are worth addressing. That RFC proposed that

E.g. defining an enum like this one:

enum Suit: string {
  case Hearts = 'H';
  // ...
}


Would virtually define this:

enum Suit: string implements Stringable {
  case Hearts = 'H';
  // ...
  public function __toString(): string
  {
    return $this->value;
  }
}

However, such automatic implementations assume that the value of a string-backed enum is a good string representation of the object. For the given example of card suits, a better representation might be the name (“Hearts”) instead of the value (“H”).

That RFC also specified that

This RFC proposes that string-backed enums auto-implement Stringable, while still disallowing user-land implementations of the method.

Automatic implementations in this manner would thus continue to restrict userland code from specifying desired string representations of enums. While the prohibition on user-land implementations could be removed, the default automatic implementation could be confusing.

Automatic implementation might also result in confusion regarding int-backed enums. After all, if all string-backed enums can be cast to strings, why can't int-backed enums be cast to ints? By avoiding the automatic implementation, we align the casting of enums with the casting of objects - you can't cast either to an int, and can only cast them to strings if they implement the __toString() method.

Changelog

If there are major changes to the initial proposal, please include a short summary with a date or a link to the mailing list announcement here, as not everyone has access to the wikis' version history.