Assignee expressions can contain rest-patterns.
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 35/100
- Issue 类型
- 文档
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- rust
调研方向
先从 Rust Reference 中关于 assignee expressions 和 struct expressions 的章节开始，然后比较此处描述的 tuple、slice 和 call-expression 情况。阅读链接的 default field values 材料，并复现所提供的示例。完成的标准是解决 compiler 与 Reference 之间的不一致，并用适当的示例记录一条明确无歧义的规则。
由索引模型根据 Issue 内容生成。
描述
See also https://github.com/rust-lang/reference/issues/2209 for more on assignee expressions.
The following two code snippets compile:
struct Thing { _field: i32 }
fn main() {
Thing { .. } = Thing { _field: 1 };
}
macro_rules! foo {
($x:expr) => {}
}
foo!(Thing { .. });
This implies that Thing { .. } is an expression. In particular, since it's valid on the lhs of an assignment expression, Thing { .. } must be an assignee expression.
An assignee expression can be a struct expression. However, struct expressions cannot contain rest-patterns. Therefore, according to the reference, Thing { .. } cannot be an assignee expression.
Thus, either the compiler or the reference is wrong. I think the reference should be somehow amended to match the compiler.
Similar issues affect rest-patterns in tuples ((x, y, ..)), in slices ([x, y, ..]), and in call expressions (tuple structs; Thing(x, y, ..)).
To make things worse, as pointed out by @kpreid, the Thing { .. } syntax is also currently legal in nightly as syntax for default field values. For example, the following code compiles:
#![feature(default_field_values)]
struct Foo {
x: i32 = 0,
}
fn main() {
// creates a struct with default field values, then assigns it to a rest-pattern
Foo { .. } = Foo { .. };
// creates two structs with default field values, then assigns one to another
*&mut Foo { .. } = Foo { .. };
}
I don't know how to specify a disambiguation rule between default field values vs rest-patterns in assignee expressions.
- 主要语言
- Rust
- 星标
- 1.6k
- 派生
- 614
- 平均合并
- 20 小时 25 分钟
- 30 天内合并 PR
- 9
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
rust-lang/reference 的其他 Issue
-
A-const-eval A-undefined-behavior
难度 2/5 1-3 小时 新手友好度 68/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
rust-lang/reference#2266 · 1 条评论 ·
维护者通常 1 天内回复
-
A-resolve
难度 2/5 1-3 小时 新手友好度 62/100
维护者通常 1 天内回复
-
A-coercions
难度 2/5 1-3 小时 新手友好度 65/100
rust-lang/reference#2094 · 1 条评论 ·
维护者通常 1 天内回复
查看 rust-lang/reference 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 69/100
rust-embedded/cortex-m#702 · 1 条评论 ·
-
Make major, minor, and makedev safe on solarish targets可能已有人在做 @xtqqczze 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
improvement/feedback improvement/workflow-project
难度 2/5 1-3 小时 新手友好度 78/100
higress-group/HiRoute#166 ·
维护者通常 1 天内回复
-
Proxy ignores l5d-retry-http and l5d-retry-grpc conditions that follow a comma and space可能已有人在做 @RaphaelFakhri 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 83/100
维护者通常 3 天内回复
-
sncast panics when decoding a `u384` value可能已有人在做 @RaphaelFakhri 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 76/100
foundry-rs/starknet-foundry#4635 ·
维护者通常 3 天内回复