String Array Cast

Description

Hi there!

I would like to propose the feature that would allow to cast an array of objects into an array of strings:

/** @var Uuid[] $templateIds */
$templateIdStrings = (string[])$templateIds;

Basically this is a syntax sugar to a more verbose form identical to this:

/** @var Uuid[] $templateIds */
$templateIdStrings = array_map(static fn (Uuid $value): string => (string)$value, $templateIds);

Please, let me know what you think about it.

この issue ではファイル、テスト、エントリーポイントが指定されていません。まず PHP がキャストをパースして配列を扱う方法を追跡し、次に提案された構文を、示されている array_map の動作と比較してください。機能の構文、意味論、互換性が定義され、テストでカバーされていれば完了です。