c++中有一些有趣的边缘情况(在C中也有一些)。考虑

T t;

它可以是一个定义，也可以是一个声明，取决于T是什么类型:

typedef void T();
T t; // declaration of function "t"

struct X { 
  T t; // declaration of function "t".
};

typedef int T;
T t; // definition of object "t".

在c++中，当使用模板时，还有另一种边缘情况。

template <typename T>
struct X { 
  static int member; // declaration
};

template<typename T>
int X<T>::member; // definition

template<>
int X<bool>::member; // declaration!

最后一个声明不是定义。它声明了X<bool>的静态成员的显式特化。它告诉编译器:“如果要实例化X<bool>::member，那么不要从主模板实例化成员的定义，而是使用在其他地方找到的定义”。要使其成为定义，必须提供初始化式

template<>
int X<bool>::member = 1; // definition, belongs into a .cpp file.

从C99标准，6.7(5):

声明指定一组标识符的解释和属性。标识符的定义是该标识符的声明:

对于一个对象，使存储空间为该对象保留; 对于函数，包括函数体; 类的(唯一)声明 标识符。

来自c++标准3.1(2):

声明是定义，除非它声明了一个函数而没有指定函数体，它包含extern说明符或链接规范，但既没有初始化式也没有函数体，它在类声明中声明了静态数据成员，它是类名声明，或者它是typedef声明，using-declaration，或using-directive。

下面是一些例子。

有趣的是(也许不是，但我有点惊讶)typedef int myint;是C99中的定义，但在c++中只是声明。

从wiki.answers.com:

术语声明(在C语言中)意味着你告诉编译器关于类型，大小，如果是函数声明，任何变量的参数的类型和大小，或者程序中用户定义的类型或函数。在声明时，内存中不为任何变量保留空间。然而，编译器知道在这种类型的变量被创建的情况下要保留多少空间。

例如，以下是所有的声明:

extern int a; 
struct _tagExample { int a; int b; }; 
int myFunc (int a, int b);

另一方面，定义意味着除了声明所做的所有事情之外，内存中还保留了空间。你可以说“DEFINITION = DECLARATION + SPACE RESERVATION”，下面是定义的例子:

int a; 
int b = 0; 
int myFunc (int a, int b) { return a + b; } 
struct _tagExample example; 

看到答案。

我最喜欢的例子是int Num = 5这里你的变量是1。定义为int 2。声明为Num和3。实例化值为5。我们

定义对象的类型，可以是内置的，也可以是类或结构。 声明一个对象的名字，这样任何有名字的东西都被声明了，包括变量、函数等。

类或结构允许您在以后使用时更改对象的定义方式。例如

可以声明没有特别定义的异构变量或数组。 在c++中使用偏移量可以定义一个没有声明名称的对象。

当我们学习编程时，这两个术语经常被混淆，因为我们经常同时做这两个。

声明向编译器提供了一个符号名。定义是为符号分配空间的声明。

int f(int x); // function declaration (I know f exists)

int f(int x) { return 2*x; } // declaration and definition

你不能用最一般的术语说，声明是一个没有分配存储空间的标识符，而定义实际上是从声明的标识符分配存储空间吗?

一个有趣的想法是:只有类或函数与类型信息链接起来，模板才能分配存储空间。那么模板标识符是声明还是定义呢?它应该是一个声明，因为没有分配存储空间，您只是在对模板类或函数进行“原型化”。