Question

当然，答案是＆＃34; no＆＃34;，因为撰写它的人认为它很难，但我想知道原因。

考虑到（无模板）类通常在头文件中声明，然后将它们包含在几个单独编译的文件中，再考虑这两个文件：

file1.c中

#include <cstddef>

struct Foo {
public:
   int pub;
private:
   int priv;
};

size_t getsize1(Foo const &foo) {
  return sizeof(foo);
}

file2.c中

#include <cstddef>

struct Foo {
public:
   int pub;
private:
   int priv;
};

size_t getsize2(Foo const &foo) {
  return sizeof(foo);
}

一般情况下，Foo将在头文件中声明并包含在两者中，但效果如上所示。（也就是说，包括一个标题是没有魔力的，它只是将标题内容放在该行上。）我们可以编译它们并将它们链接到以下内容：

main.cc

#include <iostream>
struct Foo {
public:
   int pub;
private:
   int priv;
};

size_t getsize1(Foo const &);
size_t getsize2(Foo const &);

int main() {
    Foo foo;
    std::cout << getsize1(foo) << ", " << getsize2(foo) << ", " << sizeof(foo) << '\n';
}

一种方法是使用g ++：

g++ -std=c++11 -c -Wall file1.cc 
g++ -std=c++11 -c -Wall file2.cc 
g++ -std=c++11 -c -Wall main.cc 
g++ -std=c++11 -Wall *.o -o main

并且（在我的架构和环境中），显示：8,8,8。对于file1.cc，file2.cc和main.cc的每个编译，sizeof＆s是相同的

但是c ++ 11标准是否能保证这一点，真的可以期待与所有3个Foo的布局兼容吗？ Foo包含私有和公共字段，因此它不是c ++ 11标准（工作草案）第9条第7项中定义的标准布局结构：

标准布局类是一个类：


没有非标准布局类（或此类类型的数组）或引用类型的非静态数据成员，

没有虚函数（10.3），没有虚基类（10.1），

对所有非静态数据成员具有相同的访问控制（第11条），

没有非标准布局基类

在大多数派生类中没有非静态数据成员，并且最多只有一个具有非静态数据成员的基类，或者没有包含非静态数据成员的基类，并且

没有与第一个非静态数据成员相同类型的基类。

由于我们正在使用结构，并且要彻底，下一个标准说：

标准布局结构是使用类键结构或类键类定义的标准布局类。标准布局联合是使用类 - 键联合定义的标准布局类。

据我所知，该标准仅定义了标准布局中结构之间的布局兼容性（第9.2条，第18条）。

如果两个标准布局结构（第9类）类型具有相同数量的非静态数据成员，并且相应的非静态数据成员（按声明顺序）具有布局兼容类型（3.9），则它们是布局兼容的。 / p>

所以保证所有三个Foo都是布局兼容的，更重要的是为什么？

为什么在编译期间为Foo创建不同布局的（非确定性）编译器不是c ++ 11编译器？

Answer 1

三个Foo是布局兼容的，因为它们是相同的类型，struct ::Foo。

[basic.types]

11 - 如果T1和T2两种类型相同，则T1和T2是布局兼容类型。

类是相同的类型，因为它们具有相同的（完全限定的）名称并具有外部链接：

[基本]

9 - 在多个翻译单元中使用的名称可能会引用这些翻译单元中的同一实体，具体取决于每个翻译单元中指定名称的链接（3.5）。

在命名空间范围内声明的未在未命名的命名空间中声明（递归）的类名具有外部链接：

[basic.link]

2 - 当一个名称可能表示与另一个范围内的声明引入的名称相同的[...]类型时，该名称具有联系性：
   - 当名称具有外部链接时，其表示的实体可以通过其他翻译单元的范围或同一翻译单元的其他范围中的名称来引用。 [...]
  4 - 未命名的命名空间或在未命名的命名空间中直接或间接声明的命名空间具有内部链接。所有其他名称空间都有外部链接。如果名称为[...]的话，具有未在上面给出内部链接的命名空间范围的名称与封闭命名空间具有相同的链接    - 命名类（第9节），或在typedef声明中定义的未命名类，其中类具有用于链接目的的typedef名称（7.1.3）[...]

请注意，只要定义由相同的标记序列组成，就允许在不同的翻译单元中出现多个类类型的定义：

[basic.def.odr]

6 - 在一个程序中可以有多个类类型（第9条）[...]的定义，前提是每个定义出现在不同的翻译单元中，并提供每个定义[。 ..]应由相同的令牌序列[...]
组成

因此，如果Foo具有不同的名称，则它们的类型不同;如果它们出现在匿名命名空间内或函数定义中（除了内联函数;请参阅 [dcl.fct.spec] / 4）它们没有外部链接和所以不会是同一类型。在任何一种情况下，只有当它们是标准布局时，它们才是布局兼容的。

一些例子：

// tu1.cpp
struct Foo { private: int i; public: int j; };

// tu2.cpp
struct Foo { private: int i; public: int j; };

两个Foo的类型相同。

// tu1.cpp
struct Foo { private: int i; public: int j; };

// tu2.cpp
struct Foo { private: int i; public: int k; };

ODR违规;未定义的行为。

// tu1.cpp
struct Foo { private: int i; public: int j; };

// tu2.cpp
struct Bar { private: int i; public: int j; };

不同的名字，所以不同的类型。不兼容布局。

// tu1.cpp
struct Foo { int i; int j; };

// tu2.cpp
struct Bar { int i; int j; };

不同的名称，不同的类型，但布局兼容（自标准布局以来）。

// tu1.cpp
namespace { struct Foo { private: int i; public: int j; }; }

// tu2.cpp
namespace { struct Foo { private: int i; public: int j; }; }

内部联系;不同类型。

// tu1.cpp
static void f() { struct Foo { private: int i; public: int j; }; }

// tu2.cpp
static void f() { struct Foo { private: int i; public: int j; }; }

没有联系;不同类型。

// tu1.cpp
inline void f() { struct Foo { private: int i; public: int j; }; }

// tu2.cpp
inline void f() { struct Foo { private: int i; public: int j; }; }

相同的类型 [dcl.fct.spec] / 4。

c ++ 11（工作草案）标准中的布局兼容性是否太弱？

file1.c中

file2.c中

main.cc

1 个答案:

[basic.types]

[基本]

[basic.link]

[basic.def.odr]