C++ 中的命名空间别名

Question

众所周知，向命名空间 std 添加声明/定义会导致未定义的行为。此规则的唯一例外是模板专业化。

那么下面的“黑客”呢？

#include <iostream>

namespace std_
{
  void Foo()
  {
    std::clog << "Hello World!" << std::endl;
  }

  using namespace std;
}

int main()
{
  namespace std = std_;

  std::Foo();
}

就标准而言，这真的是明确定义的吗？当然，在这种情况下，我实际上没有向命名空间 std 添加任何内容。我测试过的每个编译器似乎都很乐意接受这一点。

---

在有人发表类似“你为什么要这样做？”之类的评论之前——这只是为了满足我的好奇心……

Answer 1

只要您不在全局声明区域中，就可以将 std 重新定义为别名：

在声明性区域中，命名空间别名定义可用于重新定义在该声明性区域中声明的命名空间别名，以仅引用它已引用的命名空间。

由于您在 main() 中定义了别名，因此它会隐藏全局 std 名称。这就是为什么它可以工作，应该可以工作，并且根据标准来说完全没问题。您没有向 std 命名空间添加任何内容，这种“黑客”只会让代码的人类读者感到困惑。

Answer 2

在 main 内部，在命名空间别名定义之后，std 引用 std_ 命名空间的别名 std。 “通常的”std 命名空间是隐藏的，就像函数局部变量隐藏同名的全局变量一样。

Answer 3

您没有向 std:: 添加任何内容。您要添加到 std_::，然后声明一个名为 std:: 的别名。

我从来不知道有一条规则不能添加到 std:: 中。这是正确的吗？如果是这样，我猜测该规则的存在只是为了保留命名空间以供将来扩展。因此，如果您确实想增强 std::，则实际上不必破解任何内容。

如果您知道不允许这样的事情的编译器，有人会发帖...