Question

看起来在类中声明命名空间别名是不可能的;但是我们可以在功能级别（使用g ++ 4.3.4测试）这样做：

namespace A
{
}

class C
{
  namespace N = A; // error: expected unqualified-id before `namespace'
};

class D
{
  void f();
};

void D::f()
{
  namespace N = A; // OK
}

知道为什么存在这样的限制？这似乎与可以在类中声明的typedef非常一致。

Answer 1

根据C ++标准3.3.6

以下规则描述了在类中声明的名称范围。

1）在类中声明的名称的潜在范围不仅包括名称声明符后面的声明性区域，还包含该类中所有函数体，默认参数和构造函数初始值设定项（包括嵌套类）。   ...........

因此，您只能在类范围内声明此列表中的内容。在类范围内声明任何其他内容无效。不仅是命名空间联盟，还有命名空间。例如

class myClass
{
    //compilation error !!!
    namespace myNamespace
    {
    }
    using namespace std;//another compilation error
}

修改：

知道为什么存在这样的限制？这似乎与可以在类中声明的typedef非常一致。

因为在类中使用typedef是非常有用的（例如vector<int>::iterator），而对于名称空间，它是无用的。请考虑以下代码

class myClass
{
   namespce N=std;
};

//now let's use N
MyClass::N::vector<int> v;//don't you think, that this syntax is horrible, and useless?????

为了比较，看看它在功能中的作用

void f()
{
    namespace bnu= boost::numeric::ublas;
    bnu::matrix<int> m;//and now we can use short name bnu
}

对于类，我们可以在cpp文件中声明名称空间联盟，并且在类声明中有 NO NEED 来表示它。

Answer 2

我不是C ++标准的专家，但我会坚持不懈地回答你的问题。我假设在类声明中使用namespace N = A违反了如何定义类成员的定义。

C ++标准将类成员定义为

member-specification:
  member-declaration member-specification_opt
  access-specifier : member-specification_opt
member-declaration:
  decl-specifier-seq_opt member-declarator-list_opt ;
  function-definition ;opt
  ::opt nested-name-specifier templateopt unqualified-id ;
  using-declaration
  static_assert-declaration
  template-declaration
member-declarator-list:
  member-declarator
  member-declarator-list , member-declarator
member-declarator:
  declarator pure-specifier_opt
  declarator constant-initializer_opt
  identifier_opt : constant-expression
pure-specifier:
  = 0
constant-initializer:
  = constant-expression

重要的一点是声明中的=，编译器期望使用pure-specifier或constant-initializer语句，并且由于该行不以零结尾，我们不应用pure-specifier在这种情况下。

分析编译器将其视为

的namespace N = A声明

declarator = constant-expression

由于namespace是关键字，因此无法使用。

允许

typedef，因为（来自标准）

嵌套类型是类中定义的类和枚举，和使用typedef声明声明为成员的任意类型。

Answer 3

我不同意类中的命名空间声明完全没用。能够在类中的命名空间内声明枚举是有用的。这将使您可以使用特定数组的逻辑索引访问不同数组的元素。

class myClass
{
   private:
        namespace TransAndRotIdx {
            enum { U, V, W, P, Q, R }; };
        namespace RotIdx {
            enum { P, Q, R }; };
        double tr[6];
        double r[3];

    public:
        double getTranslationMag(void)
        {
            using namespace TransAndRotIdx;
            return sqrt(tr[U]*tr[U]+tr[V]*tr[V]+tr[W]*tr[W]);
        }
        double getRotationMag(void)
        {
            using namespace RotIdx;
            return sqrt(tr[P]*tr[P]+tr[Q]*tr[Q]+tr[R]*tr[R]);
        }
}

为什么我们不能在类中声明命名空间别名？

3 个答案: