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 không nêu tên tệp, bài kiểm thử hoặc entry point nào. Hãy bắt đầu bằng cách truy vết cách PHP phân tích cú pháp các cast và xử lý mảng, sau đó so sánh cú pháp được đề xuất với hành vi array_map được minh họa. Được xem là hoàn tất khi cú pháp, ngữ nghĩa và tính tương thích của tính năng được xác định và được bao phủ bởi các bài kiểm thử.