Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:117022
To: "internals@lists.php.net" <internals@lists.php.net>
Thread-Topic: Adding `class UnsupportedOperationException extends
 RuntimeException` to php?
Thread-Index: AQHYIOpeOla0owmmM0OvsT6zmE2Z4Q==
Date: Sun, 13 Feb 2022 15:50:37 +0000
Message-ID:
 <DM6PR14MB41557A1D56484251B5F9AF37F9329@DM6PR14MB4155.namprd14.prod.outlook.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
suggested_attachment_session_id: 8f5efefb-a907-eace-05cd-4b8b62f878b6
x-tmn:
 [OdIp3CFEuea+qFd1Ton/+8Sfo63C4K/4vuPFFWmhuaCqN0pQV0tR5QvFgE8aJoV21z5No7V2+lc=]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 07b4ea01-056a-4de5-0f93-08d9ef089405
x-ms-traffictypediagnostic: BY5PR14MB3815:EE_
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 0UPQgInYJstvQGur1YadTC8NcJqqznNGZl+6EFDkjLAe9HnU9qyOMX7KRV1tp1JcWFastjopWLJ8iLOCpOeO1g6Ek5Q2m6mdw0fILNC8YD3tY8PqRYeW2QTS+vOoVSOSx8FtwrpGz+zXCT7g+zA1mCnAMM8vviBjwJlpKnPVSZ+YIgQ79XXs0x3VAcdof0h1UDV7Ta+JKZTe4mgmp5Go6DTxZP0BJdxEp1SP0tPHt60F0ExzmO/P70i/asgHdI/9GVNpGlrsOUrWzVefFl7/kZI3Z0yp9pX7fttDvYL8GJ+D0/qDhevtaleIi2iFfi34U6wRld/lzM6NSCedE53GQHxwEwDQBDwlisll5AF8pxOjBmOEIt8y0rjxgf+ZbGt/7g2zN2AihUjU1dF56w+hqPpHkS3E2582osF/og/FrjXTLmZGttrWLeG1F17jX/drH49eeFmlm09iAK06cJTxCkaroowlm31MX58jsgE2fPpvCAok0X4Kj1WiYSkFF2YZDJBE6bvbGGoQTA2lh1DdoXqWWGzpRmJWj7ICC1Ve37lDJlOHFX+81s8nWueE1M7kbBIsr8f0vxXWpyXnBOQ4qAho9U93Z2uVS9XVXbixmtMgkyMT4TB5Riv6K5Hf6Ns2jeJwHCh+ync88giUUR1Kio7BfcWsJbwgC9DmoVlba1Q=
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0:
 =?iso-8859-1?Q?8R5kr7QlZevRwpk8z5XdOZITIyO46dDTcqDvRHBkkLJbwcKT5h4ETYFLut?=
 =?iso-8859-1?Q?pbY3OnJktchK+ic19i7WEVWKxngXlV0bkfcuMkk8Jrz9elgGAIhSvj8dPY?=
 =?iso-8859-1?Q?88AQ/nFTYFHqZ3uwWoWOGR1YyGjSwJfwhEzg8i8h5uTFmzrwsR+jsn9San?=
 =?iso-8859-1?Q?TGd5uTtzjNjFZPvVh2W2NxwuOGLRUfVHFfFGBOAIlaDE0KztHNrBI+kYPV?=
 =?iso-8859-1?Q?mznGmlt0d/+jTl9PNZLl5v7isLePxASsC53kbRcMXYWTijhZ91ZxIBjQCa?=
 =?iso-8859-1?Q?UIH7ljADDqrMRbdLDcEJ5+eGF1CmqzmqycUYHsKhTG0rbL9BBs7ymL4cf8?=
 =?iso-8859-1?Q?B5udxvuf6CqM79A+PvPnHva6zuUXOm4wfXK923s/sxvOsAiX/gcQbXP4aL?=
 =?iso-8859-1?Q?kTzyu7jVkDiy1qCaTqHX4Ul9kDnVSNOzeYWzk47jBvTWilFhZEmSE1AcZh?=
 =?iso-8859-1?Q?64tw8sZzXfpUbpqa4YUNT7GCt7z9Mu2F3IAu7eh6KFYuGlMw3cOdyJF8jw?=
 =?iso-8859-1?Q?UtWKi5ZQ29FPRU1i8xdYwl7/87hEoRZ9LYNxFVCTM5fY24tj/D8DBQ+jRh?=
 =?iso-8859-1?Q?viivmRg/9UYewI60UXOlrGNbqI4z8HQNJ90MIBht+HFtscuFLO1cyIVT8v?=
 =?iso-8859-1?Q?1ZjtE2X9vFjuAON6q4t3663B1WSK15PppInU4sEwKsa/klsQnD/3C77e4O?=
 =?iso-8859-1?Q?EgsQDiwiw14REksRpGfId6ulb6bJWXEfJssEphzVgKPCj4t8g17Hiq/vOV?=
 =?iso-8859-1?Q?xN5QVDqaqRI4yT+5QcHfTna9QiIjSj2KPk/1TFDox6H2qRg9hTy+RHT12z?=
 =?iso-8859-1?Q?cscESj9NSkZdWjn9itRCcCwjXjuaytiud47l3ViObEshcgGTCwEoh7Fdvz?=
 =?iso-8859-1?Q?/1P3a1l4J/HTay5XtK3vMD4oJNvR+mNcSPU3ZgilegigI2aH398v1mZcRK?=
 =?iso-8859-1?Q?H7zSCqcanY7PVFmILL4Ys2MDRYvVrI+79fTQR3MJGRj6aYuMqk3wTk3Cj4?=
 =?iso-8859-1?Q?6XZcM0v/yXsq8ZwpAV9C9uqbNcaEBGXrozmnFv/4kZnTDRa9wa8YUDB4Vd?=
 =?iso-8859-1?Q?0g=3D=3D?=
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: sct-15-20-4755-11-msonline-outlook-cd57b.templateTenant
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: DM6PR14MB4155.namprd14.prod.outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: 07b4ea01-056a-4de5-0f93-08d9ef089405
X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Feb 2022 15:50:37.1147
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY5PR14MB3815
Subject: Adding `class UnsupportedOperationException extends RuntimeException`
 to php?
From: tysonandre775@hotmail.com (tyson andre)

Hi internals,=0A=
=0A=
Currently, there doesn't seem to be an exact fit for indicating that a meth=
od isn't supported on an object by design (and will throw unconditionally).=
=0A=
(For example, when implementing an interface or overriding a base class, e.=
g. an Immutable datastructure not implementing offsetSet/offsetUnset,=0A=
an object that does not support serialization and overrides __serialize/__u=
nserialize to forbid it, etc.)=0A=
=0A=
- BadMethodCallException - Exception thrown if a callback refers to an unde=
fined method or if some arguments are missing.=0A=
- DomainException/RangeException - Seemingly refer to argument values=0A=
- LogicException - "Exception that represents error in the program logic. T=
his kind of exception should lead directly to a fix in your code."=0A=
  I don't believe it's quite that, because code designed for the interface =
implementing the method (e.g. ArrayAccess) might have correct logic,=0A=
  it's the choice of implementation/subclass at runtime that caused the exc=
eption.=0A=
- RuntimeException and its subclasses are also used for unpredictable error=
s such as missing files, network/db errors, etc,=0A=
  making the meaning of `try { ... } catch (RuntimeException $e) {}` less c=
lear.=0A=
- BadMethodCallException - Exception thrown if a callback refers to an unde=
fined method or if some arguments are missing.'=0A=
  seems misleading as well since the method is defined and has its argument=
s, and existing uses in CachingIterator/Phar are checking the object's prop=
erties or arguments.=0A=
  (Uncaught BadMethodCallException: CachingIterator does not fetch string v=
alue (see CachingIterator::__construct) in %s:%d)=0A=
=0A=
RuntimeException (or a userland subclass) is the most common exception type=
 I see used for this purpose,=0A=
but RuntimeException is already used for many other things and has many sub=
classes.=0A=
https://www.php.net/manual/en/spl.exceptions.php#spl.exceptions.tree https:=
//www.php.net/manual/en/class.exception.php=0A=
(RuntimeException and subclasses are also used for unpredictable errors suc=
h as missing files, network/db errors, some types of errors in destructors,=
 etc,=0A=
making writing `try { ... } catch (RuntimeException $e) {}` to catch this a=
lso catch other issues that should instead be rethrown.)=0A=
=0A=
It would be useful to provide this instead of having extensions or userland=
 code throw RuntimeException or=0A=
implement their own exceptions https://www.php.net/manual/en/class.solrille=
galoperationexception=0A=
=0A=
IDEs/type checkers would also have more information to indicate that a meth=
od call is probably invalid in a use=0A=
case and it would allow userland code to be have more specific api document=
ation/type info than `@throws RuntimeException`=0A=
(rather than deliberately invoking a shared helper method to throw exceptio=
ns).=0A=
- Type checkers already check this - e.g. https://psalm.dev/docs/running_ps=
alm/configuration/#ignoreexceptions https://github.com/phan/phan/wiki/Issue=
-Types-Caught-by-Phan#phanthrowcommentintostring=0A=
=0A=
Thoughts on adding UnsupportedOperationException to the spl?=0A=
=0A=
Thanks,=0A=
Tyson=