C++ 中的顶级是什么？

Question

在example 14 under [dcl.init.list] 中，标准在使用列表初始化来描述代码语义时，在缩小转换的范围内使用术语“顶级”。我不知道这是什么意思。

这段代码执行没有错误：

int f(int a) { return 1;}

int main() {
    int a[] = {f(2), f(2.0)};  
    int b[] = {f(2.0), f(2)}; // No error because: double-to-int conversion is not at the top-level
}

我还尝试了以下方法。我认为这与初始化顺序无关：

int f(int a) { return 1;}

int main() {
    int a[] = {f(2), f(2.0)};  
    int b[] = {f(2.0), f(2)}; // double-to-int conversion is not at the top-level
    //int c[] = {f(2147483645.0f), f(2)}; // This is erroring out due to narrowing.
    int d[] = {f(2), f(2.0)};  // Now I'm sure top-level doesn't mean the order of initialization. 
}

我想知道什么是顶级？文档here 和here 没有描述它。

我对这个术语感到好奇的原因是因为我试图了解当隐式调用缩小转换时列表初始化器何时工作。

我也不确定术语。例如，是否存在诸如顶级类、顶级类型或顶级列表初始化器之类的东西？

Answer 1

这不是一个严格定义的术语。但是在您链接的[dcl.init.list]/note-7 中，“在顶层”似乎意味着“直接写在花括号列表中，而不是嵌套表达式中”。

所以，在int x[] = {1.0, f(2.0)}; 中，1.0 位于顶层，因为它直接写在花括号列表中，但2.0 不是因为它嵌套在函数调用表达式中。

Answer 2

这不是一个严格定义的 C++ 标准术语。相反，它只是在草率的英语意义上的意思。您可以想象有人使用其他短语，例如“函数的前面”或“相应的头文件”，这些在技术上不是 C++ 术语，但会被广泛理解。

在这种情况下，它们指的是更高级别的嵌套。例如，考虑这个 sn-p：

void foo() {
    int j[2][2] = {{3, 4}, {5, 6}};
}

显然4 比{3, 4} 嵌套更深，而{{3, 4}, {5, 6}} 嵌套更深。事实上，{{3, 4}, {5, 6}} 根本没有嵌套。您阅读的文本的作者会将其称为“顶级”。

另一位作者可能会争辩说foo 处于“顶层”，因此它在一定程度上取决于上下文。在你发布的报价中，意思很清楚。

Answer 3

这只是一个英文短语，要根据上下文来理解。

[dcl.init.list] 的规则告诉我们列表初始化器中的项目如何不能涉及缩小转换。注释 7 继续提醒我们这一点，使用术语“顶级”来描述它正在谈论的那些事情（列表的直接“成员”）。

您所指的示例 14 还包括一个示例，其中带有列表初始化的语句恰好包含缩小转换，但注释提醒我们这很好，因为转换发生在“较低级别”的嵌套，再次使用术语“顶级”来描述在初始化列表中立即列出的实体。不需要对实际列表项应用缩小转换。

“顶级”一词没有正式的定义；在考虑可能的嵌套时，它应该被解释为英语。

Answer 4

前段时间我对此感到困惑，但我想我现在已经很好地理解了这个概念。

在我去解释这个概念之前，必须注意的是，不是顶层或低级的对象，而是顶层或低级的“const”取决于它在表达式或上下文中的位置。

顶级 const 表示(that) "const" 使对象本身成为 const（无论该对象指向什么）。

低级 const 表示(that) "const" 表示被引用（/指向）的对象是 const。

例如

const int i = 10; // const is indicating that i itself is const so it (const) is top level.

const int const *p = &i; // leftmost const is indicating that "pointed to" is const, so that const is low-level, other const in the expr is top-level.

此外，顶级 const 可以出现在任何 obj 类型（内置类型、类类型、指针类型）中，而低级 const 出现在复合类型的基类型中，例如指针＆参考。

在指针中，low-level 和 top-level 都可以出现，但是在 refs 中，consts 总是低级的，因为 refs 隐含地具有 top-level consts（一旦初始化，refs 就不能绑定到其他 objs ，所以从某种意义上说，它们隐含了顶级常量）。

希望对您有所帮助。