具有值的变量的定义和声明

Question

刚开始使用 K & R 在第二章中，有这样一行：

声明列出了要声明的变量 使用过并说明它们的类型以及 也许它们的初始值是什么。

所以：

int x = 42 是一个定义。

int x 是一个声明，但也是一个定义，因为每个定义都是一个声明 >。

但是当我们分配一个像 K & 这样的初始值时R 说，这不是使声明成为定义吗？

Answer 1

基本上，您可以说声明只是告诉编译器某处存在具有该名称和类型的变量。它确实会生成任何代码，并且在 C 中，这必须使用变量上的 extern 关键字来完成。函数原型（没有实现）也只是声明，不需要 extern 关键字，但您仍然可以提供它。
定义生成代码，例如在堆栈或堆上为变量分配内存，或为方法分配主体。

从这个意义上说，你的两个陈述都是定义，任何定义也是一种声明。

我认为这可能是 K&R 的一个错误......

Answer 2

您会混淆两件事：

1. 声明声明（声明）对象的*类型、名称和范围是什么
2. 定义定义对象的内容是什么

* 对象如：变量，函数等，而不是 OOP 对象。

因此，定义通常也是声明，因为当您不声明对象的类型时，您无法定义对象中的内容。最容易记住的是：“每个定义都是声明，但并非每个声明都是定义”

对于变量

只有一种方法可以在不定义变量的情况下进行声明：

extern typeX variable_name

这告诉编译器有一个变量名为variable_name，类型为typeX，但不知道从哪里获取它。
声明变量的所有其他方式也是一种定义，因为它告诉编译器为其保留空间，并且可能给它一个初始值。

结构和函数的区别更加明显：

对于结构

声明：

struct some_struct{
    int a;
    int b;
}

这向编译器声明 some_struct，其中 a 和 b 都是 int 类型的结构变量。

仅当您定义它们时，才会保留空间并且您可以使用它们：

void foo(){
    struct some_struct s;
    s.a = 1; // For this to work s needs to be defined
}

对于函数：

区别在于更清晰的

声明：

// This tells the compiler that there is a function called "foo" that returns void and takes void arguments
void foo();

定义可以类似于上面的定义（在结构部分）