澄清C与C++中结构ODR规则的差异

Question

我知道ODR、链接、static和extern“c”如何使用函数。但是我不确定类型的可见性，因为它们不能声明为static，而且C中没有匿名命名空间。

我特别想知道以下代码如果编译为C和C++的有效性

// A.{c,cpp}
typedef struct foo_t{
    int x;
    int y;
} Foo;

static int use_foo() 
{ 
    Foo f;
    f.x=5;
    return f.x;
}

// B.{c,cpp}
typedef struct foo_t{
    double x;
} Foo;

static int use_foo() 
{ 
    Foo f;
    f.x=5.0;
    return f.x;// Cast on purpose
}

使用以下两个命令（我知道两个编译器都基于扩展自动检测语言，因此名称不同）。

null

我在这里不确定，我已经读到类型被认为是静态的，这将使程序有效。有人能确认一下吗？

如果这些定义在公共头文件中，可能在不同的C库中，而一个C++程序包含了这两个定义，每个定义也在不同的TU中，这会是ODR吗？如何才能防止这种情况呢？extern“c”起什么作用吗？

Answer 1

对于C语言，我将使用C11的n1570草案和C++语言的n4860草案作为参考。

>

C语言

类型在C:6.2.2中没有链接标识符的链接§6:

null

当一个名称可能与另一个范围中的声明引入的名称表示相同的对象、引用、函数、类型、模板、命名空间或值时，称为具有链接

• §4

未命名的命名空间或在未命名的命名空间内直接或间接声明的命名空间具有内部链接。所有其他名称空间都有外部链接。具有命名空间作用域的名称，但上面没有给出内部链接，即
...
命名类...
...
的名称，其链接确定如下:
-如果封闭的命名空间具有内部链接，则该名称具有内部链接；
-否则，如果名称的声明附加到命名模块（10.1）并且没有导出(10.2)，则该名称具有模块链接；
-否则，名称具有外部链接