ISO C ++草案（n3290）中的一点：3.4.3.2/2命名空间成员

Question

ISO C ++草案（n3290）中的一点：3.4.3.2/1命名空间成员

  

对于名称空间X和名称m，名称空间限定的查找集    S（X，m）定义如下：让 S`（X，m）成为所有的集合   m中X的声明和X的内联命名空间集（7.3.1）。如果    S`（X，m）不为空， S（X，m）是 S`（X，m）;否则， S（X，m）   是所有名称空间 N_i 的 S（N_i，m）的并集   X中的 using-directives 及其内联命名空间集。

有人可以用简单的英语向我解释这个条款，将其翻译成这个数学说法吗？

编辑：请..........任何人都能为我提供一个例子..解释上述观点..PLEASE .............

Answer 1

如果在命名空间X中，至少存在一个名称为m的声明，则这些声明将用于查找集。

否则，将以与上述相同的方式检查名称空间using中来自X指令的所有名称空间的名称m的声明。

或者换句话说：您为名称X递归检查名称空间using及其m指令，并在名称{{1}的声明级别停止递归找到了。