"结构化绑定"与"分解声明"

Question

观察:

• 在P0217R3提案(2016-06-24)中,使用了结构化绑定术语.
• 在当前工作的C++ 1z草案(2016-11-28)中,使用了分解声明术语.
• 在P0615R0提案(2017-03-01)中,分解声明被重命名为结构化绑定.
• 引人注目的是,这篇博文(2017-01-09)包含以下文字:

分解声明.[..]最初被称为"结构化绑定".

• 同样,这个问题(2017-03-04)包含以下文字:

[..] C++ 17分解声明(该功能以前称为"结构化绑定").

问题:

• 这两个中的哪一个是我们应该使用的正确和最新术语？
• 为什么同一个概念有两个名字？
• 如果分解声明真的被重命名为结构化绑定,那么原因是什么？

Answer 1

根据P0615中的措辞,新的正确名称将是"结构化绑定声明" .基本上,在:

auto [x,y] = Point(4,2);

完整的语句被称为"结构化绑定声明",而标识x和y被称为"结构化绑定".这些将是C++ 17中的官方术语.实际上,最新的草案部分现在标题为结构化绑定声明.

问题是有两个概念,需要两个不同的名称 - 所以原始的措辞文件使用了声明声明的分解声明(术语"结构化绑定"根本没有出现在措辞中).然而,对于大多数用户来说,这是愚蠢的,因为只有一个概念 - 结构化绑定 - 所以有两个不同的名称更难学.如果编译器错误消息在其消息中使用"分解声明",则特别令人困惑.无论使用术语"分解声明",该功能的名称始终是结构化绑定.

在科纳,EWG决定坚持这两个名字,但至少让它们听起来密切相关.