C/C++编程：翻译单元和链接

翻译单元

在C++中，符号（比如函数名或者变量）可以在其作用域内多次声明，但是只能定义一次。这就是ODR（一个定义规则）。如果名称表示一个变量，但是定义会对其显式初始化。函数定义包括签名和函数体。类定义包括类名、后跟一个列出所有类成员的块（可以选择在另一个文件中单独定义成员函数的主体）

下面的示例演示了一些声明：

int i;
int f(int x);
class C;

下面的示例演示了一些定义：

int i{42};
int f(int x){ return x * i; }
class C {
public:
   void DoSomething();
};

• 程序由一个或者多个翻译单元组成。
• 翻译单元由实现文件以及它直接或者间接包含的所有标头组成。
  • 实现文件通常具有 cpp 或 .cxx 的文件扩展名。
  • 标头文件通常具有 h 或 hpp 扩展名。
• 每个翻译单元都是由编译器单独编译的。
• 编译完成之后，链接器会将编译的翻译单元合并到一个程序中
• ODR规则的冲突通常显示为连接器错误。当同一名称在不同的翻译单元中具有两个不同的定义时，将会发生链接器错误

通常，使变量周期多个文件中可见的最佳方式是将其放在标头文件中，然后在每个需要声明的cpp文件中添加#include指令。通过在标头内容周围添加include防护，可以确保它声明的名称只定义一次

在C++20中，模块被引入为标头文件的改进替换方法

在某些情况下，可能需要在cpp文件中声明全局变量或者类。在这些情况下，需要一种方法来告诉编译器和链接器名称的链接类型。链接类型指定对象的名称是仅适用于一个文件，还是应用于所有文件。链接的概念仅适用于全局名称。链接的概念不适用于在范围内声明的名称。范围由一组封闭大括号（如在函数或类定义中）指定。

外部链接和内部链接

• 外部链接：它们在程序的任何翻译单元中都可见。比如free()
• 内部链接/无链接：只能在声明它的翻译单元可见
  • 如果名称具有内部链接，则同一名称可能存在另一个翻译单元中
  • 在类定义或者函数体中声明的变量没有链接

可以通过将全局名称显示声明为static来强制要求使用内部链接。

默认情况下，下列对象具有内部链接

• const对象
• constexpr对象
• typedefs
• 命名空间范围内的静态对象

如果要为常量对象外部链接，请将其声明为extern并为其赋值：

extern const int value = 42;