结构体与作用域中的函数定义

内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用

  • 回答 (2)
  • 关注 (0)
  • 查看 (28)

据我所知,这在C中是合法的:

foo.c

struct foo {
   int a;
};

bar.c

struct foo {
    char a;
};

但与功能相同的事情是非法的:

foo.c

int foo() {
    return 1;
}

bar.c

int foo() {
    return 0;
}

并会导致链接错误(函数的多重定义foo)。

这是为什么?结构名称和函数名称之间的区别是什么使C无法处理一个而不是另一个?这种行为也扩展到C ++吗?

提问于
用户回答回答于

这是为什么?

struct foo {
   int a;
};

定义用于创建对象的模板。它不创建任何对象或功能。除非struct foo在代码中的某处使用,否则就编译器/链接器而言,这些代码行可能不存在。

请不要在C和C ++如何处理不兼容的struct定义方面有所不同。

struct foo只要不混用它们的用法,发布代码中的不同定义在C程序中就可以了。

用户回答回答于

你的函数定义都声明一个被foo外部链接调用的实体,并且C标准说,不能有多于一个具有外部链接的实体的定义。定义的结构类型不是具有外部链接的实体,因此可以有多个定义struct foo

如果使用相同的名称声明了具有外部链接的对象,那么这将是一个错误:

foo.c的

struct foo {
   int a;
};
struct foo obj;

bar.c

struct foo {
    char a;
};
struct foo obj;

现在你有两个叫做对象的对象obj都有外部链接,这是不允许的。

即使其中一个对象只声明了,但没有定义,它仍然是错误的:

foo.c

struct foo {
   int a;
};
struct foo obj;

bar.c

struct foo {
    char a;
};
extern struct foo obj;

这是未定义的,因为两个声明obj引用了同一个对象,但它们没有兼容类型(因为struct foo在每个文件中定义不同)。

C ++具有类似但更复杂的规则来说明inline函数和inline变量,模板以及其他C ++特性。在C ++中,相关要求被称为单定义规则(或ODR)。一个明显的区别是C ++甚至不允许使用两种不同的struct定义,即使它们从未用于声明具有外部链接的对象或以其他方式在翻译单元之间“共享”。

所属标签

可能回答问题的人

  • 嗨喽你好

    7 粉丝480 提问9 回答
  • 富有想象力的人

    3 粉丝0 提问7 回答
  • uncle_light

    5 粉丝518 提问6 回答
  • 人生的旅途

    10 粉丝484 提问6 回答

扫码关注云+社区

领取腾讯云代金券