Question

考虑这种数据结构：

typedef struct {
    float x;
    float y;
} point;

我正在使用此功能来置换坐标：

point permute(point M)
{
    point N;
    N.x = M.y;
    N.y = M.x;
    return N;
}

为什么声明一个名为point）且typedef没有出错的变量？

int main(void)
{
point A;
point B;
int point = 7;

A.x = 0;
A.y = 1;
B = permute(A);

printf("A (%.2f, %.2f)\n", A.x, A.y);
printf("B (%.2f, %.2f)\n", B.x, B.y);
printf("point = %d\n", point);

return 0;
}

输出：http://ideone.com/wCxbjD

A (0.00, 1.00)
B (1.00, 0.00)
point = 7

Answer 1

范围。

在外部作用域中声明的标识符（在您的情况下，在文件作用域，即在任何函数之外）可以在内部作用域中重新声明（在您的情况下，在main函数内）。内部声明隐藏外部声明，直到到达内部范围的末尾。

这一般适用于声明，而不仅仅适用于typedef名称。

一个简单的例子：

#include <stdio.h>

typedef struct { int x, y; } point;

int main(void) {
    point p = { 10, 20 };
    /* p is of type point */

    int point = 42;
    /* This hides the typedef; the name "point"
       now refers to the variable */

    printf("p = (%d, %d), point = %d\n", p.x, p.y, point);
    /* p is still visible here; its type name "point" is not
       because it's hidden. */
}

输出结果为：

p = (10, 20), point = 42

如果我们修改了上述程序，将typedef移动到与变量声明相同的范围内：

#include <stdio.h>
int main(void) {
    typedef struct { int x, y; } point;
    point p = { 10, 20 };
    int point = 42;
    printf("p = (%d, %d), point = %d\n", p.x, p.y, point);
}

我们会收到错误; gcc说：

c.c: In function ‘main’:
c.c:5:9: error: ‘point’ redeclared as different kind of symbol
c.c:3:34: note: previous declaration of ‘point’ was here

（已经定义了C语言以允许这种情况，point的第二个声明隐藏了第一个用于范围的其余部分，但设计者显然觉得隐藏声明从外部范围可能是有用的，但在一个范围内这样做会导致更多的混乱而不是它的价值。）

一个稍微复杂的例子：

#include <stdio.h>
int main(void) {
    typedef struct { int x, y; } point;
    { /* Create an inner scope */
        point p = { 10, 20 };
        /* Now the type name is hidden */
        int point = 42;
        printf("p = (%d, %d), point = %d\n", p.x, p.y, point);
    }
    /* We're outside the scope of `int point`, so the type name is
       visible again */

    point p2 = { 30, 40 };
    printf("p2 = (%d, %d)\n", p2.x, p2.y);
}

这种隐藏可能不是最好的主意;对于两个不同的东西使用相同的名称，虽然编译器没有问题，但可能会让人类读者感到困惑。但是它允许你在块范围内使用名称，而不必担心你所包含的所有头文件可能已经在文件范围引入的所有名称。

Answer 2

这显然是一个范围问题：

typedef struct {
    float x;
    float y;
} point;

point point = {2.0, 3.0};

给出错误

blo.c:6:7: error: ‘point’ redeclared as different kind of symbol
point point = {2.0, 3.0};
      ^
blo.c:4:3: note: previous declaration of ‘point’ was here
 } point;

，而

void blo() {
  typedef struct {
    float x;
    float y;
  } point;

  {
    point point = {2.0, 3.0};
  }
}

是合法的。

使用typedef作为变量名称不会产生任何错误

2 个答案: