Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

[TypeInfo] Add ArrayShapeType examples to type_info.rst#20998

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Open
makraz wants to merge1 commit intosymfony:7.3
base:7.3
Choose a base branch
Loading
frommakraz:patch-1

Conversation

makraz
Copy link
Contributor

@makrazmakraz commentedMay 25, 2025
edited
Loading

Fixes#20763

Update the Symfony TypeInfo component documentation to reflect the new ArrayShapeType and StringTypeResolver capabilities .

@OskarStark
Copy link
Contributor

Friendly ping@mtarld

Comment on lines +107 to +108
* Nested array shapes
* Union types for values
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

I don't think it worth mentioning these, as array shape basically supportsany type as values.

* Required and optional keys
* Nested array shapes
* Union types for values
* Exact key ordering validation
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

This type does not perform any key ordering validation.


The ``ArrayShapeType`` method was introduced in Symfony 7.3.

Array shape types support:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

You can also add a word about the "sealed" concept.
Indeed,array{0: int} is sealed whereasarray{0: int, ...} is not. This means that the second type accepts extra values and the first does not. It is also worth mentioning that you can define the type of extra keys/values:array{0: int, ...<string, bool>}.

This data is held byextraKeyType andextraValueType in theArrayShapeType and is validated in theaccept method.

Comment on lines +121 to +125
// With optional keys (denoted by "?" suffix)
$type = Type::arrayShape([
'required_id' => Type::int(),
'optional_name?' => Type::string()
]);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

This does not work like that. If you want to create optional keys, you must do:

$type = Type::arrayShape(['required_id' => Type::int(),'optional_name' => ['type' => Type::string(),'optional' =>true],]);

Comment on lines +121 to +125
// With optional keys (denoted by "?" suffix)
$type = Type::arrayShape([
'required_id' => Type::int(),
'optional_name?' => Type::string()
]);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

You can also add examples for$sealed,$extraKeyType, and$extraValueType of:

publicstaticfunction arrayShape(array$shape,bool$sealed =true, ?Type$extraKeyType =null, ?Type$extraValueType =null):ArrayShapeType

* Union types for values
* Exact key ordering validation

The ArrayShapeType support Associative Array definition::
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

Suggested change
The ArrayShapeTypesupport Associative Array definition::
The ArrayShapeTypesupports associative array definition:

Comment on lines +142 to +143
$type->is(typeof(['name' => 'Alice', 'age' => 30, ])); // true
$type->is(typeof(['name' => 'Alice', 'age' => '30', ])); // false (wrong age type)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others.Learn more.

This code does not work as well. The valid one is:

$type->accepts(['name' =>'Alice','age' =>30]);// true$type->accepts(['name' =>'Alice','age' =>'30']);// false (invalid age type)

Plus, I don't think it should be under theStringTypeResolver section.

@makraz
Copy link
ContributorAuthor

thanks@mtarld for the feedback, I will adjust the PR with following your comment 🙌🏼

javiereguiluz reacted with thumbs up emoji

Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment
Reviewers

@mtarldmtarldmtarld requested changes

Assignees
No one assigned
Projects
None yet
Milestone
7.3
Development

Successfully merging this pull request may close these issues.

[TypeInfo] AddArrayShapeType class
4 participants
@makraz@OskarStark@mtarld@carsonbot

[8]ページ先頭

©2009-2025 Movatter.jp