我不明白两者的意义。
当前回答
从C99标准，6.7(5):
声明指定一组标识符的解释和属性。标识符的定义是该标识符的声明:
对于一个对象，使存储空间为该对象保留; 对于函数，包括函数体; 类的(唯一)声明 标识符。
来自c++标准3.1(2):
声明是定义，除非它声明了一个函数而没有指定函数体，它包含extern说明符或链接规范，但既没有初始化式也没有函数体，它在类声明中声明了静态数据成员，它是类名声明，或者它是typedef声明，using-declaration，或using-directive。
下面是一些例子。
有趣的是(也许不是，但我有点惊讶)typedef int myint;是C99中的定义，但在c++中只是声明。
其他回答
从C99标准，6.7(5):
声明指定一组标识符的解释和属性。标识符的定义是该标识符的声明:
对于一个对象，使存储空间为该对象保留; 对于函数，包括函数体; 类的(唯一)声明 标识符。
来自c++标准3.1(2):
声明是定义，除非它声明了一个函数而没有指定函数体，它包含extern说明符或链接规范，但既没有初始化式也没有函数体，它在类声明中声明了静态数据成员，它是类名声明，或者它是typedef声明，using-declaration，或using-directive。
下面是一些例子。
有趣的是(也许不是，但我有点惊讶)typedef int myint;是C99中的定义，但在c++中只是声明。
声明说"这个东西存在于某个地方"
int sampleFunc(); // function
extern int car; // variable
定义说，这个东西存在于这里;为它留下记忆"
int sampleFunc() {} // function
int car; // variable
在定义对象时，初始化是可选的，并表示“这是这个东西的初始值”:
int car = 0; // variable
在这里找到类似的答案:C语言的技术面试问题。
声明为程序提供了一个名称;定义提供程序中实体(例如类型、实例和函数)的唯一描述。声明可以在给定的作用域中重复，它在给定的作用域中引入一个名称。
声明是定义，除非:
声明声明了一个函数，但没有指定函数体， 声明包含一个extern说明符，没有初始化式或函数体， 声明是没有类定义的静态类数据成员的声明， 声明是类名定义，
定义是声明，除非:
定义定义一个静态类数据成员， Definition定义一个非内联成员函数。
c++ 11更新
由于我没有看到与c++ 11相关的答案，这里有一个。
声明是定义，除非声明了/n:
opaque enum - enum X: int; 模板参数-模板参数- MyArray 参数声明- x和y在int add(int x, int y); 别名声明-使用IntVector = std::vector<int>; - static_assert(sizeof(int) == 4， "Yikes!") 属性声明(实现定义的) 空声明;
以上列表从c++ 03继承的附加子句:
函数声明- add in int add(int x, int y); Extern说明符包含声明或链接说明符- Extern int a;或extern "C"{…}; 类中的静态数据成员-类C中的x{静态int x;}; 类/struct声明- struct Point; typedef int int; 使用声明-使用std::cout; 使用命名空间NS;
模板声明是一种声明。如果模板声明定义了函数、类或静态数据成员，那么模板声明也是定义。
以下例子来自于区分声明和定义的标准，我发现这些例子有助于理解它们之间的细微差别:
// except one all these are definitions
int a; // defines a
extern const int c = 1; // defines c
int f(int x) { return x + a; } // defines f and defines x
struct S { int a; int b; }; // defines S, S::a, and S::b
struct X { // defines X
int x; // defines non-static data member x
static int y; // DECLARES static data member y
X(): x(0) { } // defines a constructor of X
};
int X::y = 1; // defines X::y
enum { up , down }; // defines up and down
namespace N { int d; } // defines N and N::d
namespace N1 = N; // defines N1
X anX; // defines anX
// all these are declarations
extern int a; // declares a
extern const int c; // declares c
int f(int); // declares f
struct S; // declares S
typedef int Int; // declares Int
extern X anotherX; // declares anotherX
using N::d; // declares N::d
// specific to C++11 - these are not from the standard
enum X : int; // declares X with int as the underlying type
using IntVector = std::vector<int>; // declares IntVector as an alias to std::vector<int>
static_assert(X::y == 1, "Oops!"); // declares a static_assert which can render the program ill-formed or have no effect like an empty declaration, depending on the result of expr
template <class T> class C; // declares template class C
; // declares nothing
为了理解声明和定义之间的区别，我们需要查看程序集代码:
uint8_t ui8 = 5; | movb $0x5,-0x45(%rbp)
int i = 5; | movl $0x5,-0x3c(%rbp)
uint32_t ui32 = 5; | movl $0x5,-0x38(%rbp)
uint64_t ui64 = 5; | movq $0x5,-0x10(%rbp)
double doub = 5; | movsd 0x328(%rip),%xmm0 # 0x400a20
movsd %xmm0,-0x8(%rbp)
这只是定义:
ui8 = 5; | movb $0x5,-0x45(%rbp)
i = 5; | movl $0x5,-0x3c(%rbp)
ui32 = 5; | movl $0x5,-0x38(%rbp)
ui64 = 5; | movq $0x5,-0x10(%rbp)
doub = 5; | movsd 0x328(%rip),%xmm0 # 0x400a20
movsd %xmm0,-0x8(%rbp)
正如你所看到的，没有任何变化。
声明与定义不同，因为声明提供的信息仅供编译器使用。例如uint8_t告诉编译器使用asm函数movb。
看到:
uint def; | no instructions
printf("some stuff..."); | [...] callq 0x400450 <printf@plt>
def=5; | movb $0x5,-0x45(%rbp)
声明没有等价的指令，因为它不是要执行的东西。
此外，声明告诉编译器变量的作用域。
我们可以说，声明是编译器用来确定正确使用变量的信息，以及某些内存属于某个变量多长时间。
