理解令人困惑的 typedef 语法

Question

考虑以下代码片段，

typedef int type;
int main()
{
   type *type; // why is it allowed?
   type *k ;// which type?
}

我收到错误'k' is not statements in thisscope。编译器将 type *k 解析为 type* 和 k 之间的乘法。这样的语法是不是很混乱呢？

为什么 C++ 标准允许 type *type ？因为语法是这么说的？为什么？

Answer 1

type *type; // why is it allowed?

C++11 3.3.2/1 说：

名称的声明点紧接在其完整声明符（第 8 条）之后和其初始值设定项（如果有）之前

因此变量名称 type 直到使用类型名称 之后才会引入>类型；类型名称是声明符中 type 的唯一可用含义。

type *k ;// which type?

局部变量名称隐藏了全局类型名称，因此在此选择。 C++11 3.3.10/1 中对此进行了描述：

可以通过在嵌套声明区域或派生类中显式声明同名来隐藏名称。

当然，完全限定的类型名称 ::type 仍然可用。

Answer 2

问题实际上是关于变量名何时被定义为标识符，并且语言确定它就在代码中声明变量的点之后：

typedef int type;
int main() {
   type t;   // type refers to ::type
   int       // type still refers to ::type
   type;     // variable declared, this shadows ::type
   type + 1; // type is a variable of type int.
}

在其他上下文中也有类似的规则，这只是一个问题决定何时声明标识符。还有其他类似的情况，例如在类的初始化列表中：

struct test {
   int x;          // declare member
   test( int x )   // declare parameter (shadows member)
   : x(            // refers to member (parameter is not legal here)
        x )        // refers to parameter
   {};
};

或者在成员函数定义中的标识符范围中：

struct test {
   typedef int type;
   type f( type );
};
test::type         // qualification required, the scope of the return type is
                   // at namespace level
test::f(
         type t )  // but the scope of arguments is the class, no qualification
                   // required.
{}

至于决定的理由，我不能告诉你，但它是一致且简单的。

Answer 3

这很令人困惑，但这是访问 type 变量的唯一方法。
如果你想使用 type 类型，你可以这样做：

typedef int type;
int main() {
    type *type;
    ::type *k ;
    return 0;
} 

大多数语法怪物都来自于与 C 的向后兼容性。

Answer 4

保持命名空间（不是 C++ 意义上的，而是变量/类型命名空间）分离的基本原理是相当明显的：当您不使用类型名称污染变量命名空间时，typedef 上的代码中断就会减少。

假设预先存在的代码带有名为“employee”的变量。如果变量和 typedef 位于同一命名空间中，则为“typedef struct {}雇员；”会破坏现有代码，需要更改变量名称（这在 IDE 出现之前是一个问题）。但是，如果它们不共享命名空间，则没有问题，并且人们在大型代码库中选择类型名称时可以少担心一个问题。

Answer 5

我认为这是允许的，可能是因为它为程序员在为其声明的变量选择名称时提供了灵活性。在 C# 中，您可以声明与类型同名的属性：

//C# code
class Manager
{
   public Name Name {get;set;}
};

当我用 C# 编写代码时，我发现此功能非常有用。因为我有更多的名字可供选择。否则，如果我有一个名为 Name 的类型，那么我将无法创建同名的属性，我将被迫选择不同的名称，比如 Name_、_Name、name、NAME 等 - 所有这些都不吸引我。

---

至于您的代码，由于在范围内（在声明 object type 之后），type 已经是一个变量，因此 type< /em> `类型不能直接引用。但我认为这应该可以很好地编译并根据标准：

typedef int type;
int main()
{
   type *type; // why is it allowed?
   ::type *k ;// which type?
}

演示： http://ideone.com/chOov