为什么代码 "foo::foo::foo::foob" 能够编译通过？

Question

一位同事意外地编写了以下代码：

struct foo {
  foo() : baz(foobar) {}
  enum bar {foobar, fbar, foob};
  bar baz;
};

void f() {
  for( auto x : { foo::foobar,
                  foo::fbar,
                  foo::
                  foo::
                  foo::foob } );
    // ...
}

GCC 5.1.0可以编译此内容。

是什么规则使得这个内容能够被编译？

- sbi

---

你能否更具体地说明哪一部分你不希望编译成功？ - neuhaus

它不会：https://godbolt.org/g/j2AbVn - Timbo

除了缺少一个包含文件和for循环缺少一个语句之外，它可以编译。 - Johan

这可以简化为 struct foo { static const int v{42}; }; auto x{foo::foo::foo::foo::foo::v};。 - user7860670

@sbi 你哪部分不太明白？是注入的类名还是基于范围的for循环？ - songyuanyao

Answer 1

这里使用了injected-class-name。

在类的定义中，类名作为公共成员类型别名自身用于lookup（除非用于命名constructor）：这被称为注入类名。

然后

foo::
foo::
foo::foob

即foo::foo::foo::foob与foo::foob相同。

然后for (auto x : {foo::foobar, foo::fbar, foo::foob })是一个基于范围的for循环（自C++11起），它迭代由3个枚举器形成的初始化列表。

- songyuanyao

Answer 2

我将代码更改为：

#include <initializer_list>
#include <iostream>
struct foo {
  foo() : baz(foobar) {}
  enum bar {foobar, fbar, foob};
  bar baz;
};

int main() {
  for( auto x : { foo::foobar,
                  foo::fbar,
                  foo::
                  foo::
                  foo::foob } )
                  {
                      std::cout << "x=" << x << std::endl;
                  }
  return 0;
}

for循环运行3次。输出结果为："x=1 x=2 x=3"。

---

foo::foo::foo::foob 和 foo::foob 是相同的。 因此。

for( auto x : { foo::foobar,
                  foo::fbar,
                  foo::
                  foo::
                  foo::foob } )

相同

for( auto x : { foo::foobar, foo::fbar, foo::foob } )
{
}

这意味着x在范围{ foo::foobar, foo::fbar, foo::foob }内。

- Gor Asatryan