一尘不染

定义和声明之间有什么区别?

c

两者的含义使我难以理解。


阅读 618

收藏
2020-07-14

共1个答案

一尘不染

甲声明引入的标识符和描述了它的类型,无论是类型,对象,或功能。声明是编译器需要接受对该标识符的引用的内容。这些是声明:

extern int bar;
extern int g(int, int);
double f(int, double); // extern can be omitted for function declarations
class foo; // no extern allowed for type declarations

甲定义实际实例化/器具该标识符。这是什么样的连接器需要以链接引用这些实体。这些是与上述声明相对应的定义:

int bar;
int g(int lhs, int rhs) {return lhs*rhs;}
double f(int i, double d) {return i+d;}
class foo {};

可以使用定义代替声明。

可以根据需要多次声明标识符。因此,以下内容在C和C ++中是合法的:

double f(int, double);
double f(int, double);
extern double f(int, double); // the same as the two above
extern double f(int, double);

但是,必须定义一次。如果忘记定义已在某处声明和引用的内容,则链接器将不知道将引用链接到什么内容,并且会抱怨缺少符号。如果定义不止一次,则链接器将不知道将引用链接到哪个定义,并抱怨重复的符号。

由于关于C 中的类声明和类定义的争论不断(在对其他问题的回答和评论中)不断出现,因此我将在此处粘贴C 标准的引号。
在3.1 / 2,C ++ 03表示:

声明是定义,除非它是类名声明。

3.1 / 3然后给出一些例子。其中:

``
[Example: […]
struct S { int a; int b; }; // defines S, S::a, and S::b […]
struct S; // declares S
—end example
```
概括起来:C 标准认为struct x;是一个声明和struct x {};一个定义。(换句话说,“前向声明”是不正确的用词,因为C 中没有其他形式的类声明。)

2020-07-14