<分区>
我的帖子以我感兴趣的问题开始:
Q1:声明在表示类型的翻译单元中引入一个或多个名称是否属实?
Q2:(如果Q1的答案是肯定的)编译器如何确定声明引入的名称类型?考虑以下声明:
当我开始阅读 c++ working draft 的 3rd clause 时出现了这个问题。
An entity is a value, object, reference, function, enumerator, type, class member, template, template specialization, namespace, parameter pack, or this.
A name is a use of an identifier (2.11), operator-function-id (13.5), literal-operator-id (13.5.8), conversion function-id (12.3.2), or template-id (14.2) that denotes an entity or label (6.6.4, 6.1).
List<Observer *> *_observers;
此声明将 _observers
引入了当前范围。我想了解编译器如何确定 _observers
的类型?我对 c++
规范中描述的正式算法很感兴趣。