概述
前置声明是指对类、函数、模板或者结构体进行声明,仅仅是声明,不包含相关具体的定义。在很多场合我们可以用前置声明来代替#include语句。类的前置声明只是告诉编译器这是一个类型,但无法告知类型的大小,成员等具体内容。在未提供完整的类之前,不能定义该类的对象,也不能在内联成员函数中使用该类的对象。而头文件则一一告之。如:
class person;
前置声明,也称前向声明(forward declaration)。在声明之后,定义之前,类person是个不完整类型(incomplete type),即已知person是一个类型,但是不知道包含哪些成员。
不完全类型只能以有限方式使用。不能定义该类型的对象。不完全类型只能用于定义指向该类型的指针及引用,或者用于声明(而不是定义)使用该类型作为形参类型或返回类型的函数。可以通过前置声明配合指针或引用类型声明来减少编译依赖。
前置声明是C/C++开发中比较常用的技巧,主要用在三种情形:
- 变量/常量,例如
extern int var1;
- 函数,例如
void foo();
,注意类的成员函数无法单独做前置声明; - 类,例如
class Foo;
,也可以前置声明模板类:
template class<typename T1, int SIZE>Foo;
。
如果类包含在名字空间中,需在名字空间内做前置声明:
namespace tlanyan {class Foo;}
,而不能这样:class tlanyan::Foo;
。
前置声明主要作用:
- 避免重复定义变量;
- 避免引入函数定义/声明文件,从而函数文件发生更改时不会重新编译依赖文件;
- 解决循环依赖问题。
函数前置声明
#include <iostream>
using namespace std;
void fun(int *pValue, double dValue);
void main()
{
int nValue = 100;
double dValue = 111.22;
fun(&nValue, dValue);
system("pause");
}
void fun(int *pValue, double dValue)
{
return;
}
类的前置声明:
两个类要互相引用,就会出现“未定义”尴尬,此时可以用前置声明来解决。
因为类Animal中用到了类person,而类person的声明出现在类Animal的后面。如果没有类B的前置说明,下面的程序将不同通过编译.
class person; //类的前置声明
class Animal
{
public:
void eat(person& pn);
};
class person
{
public:
friend Animal::eat(person& pn);
};
但前置声明不包括类的详细信息(没有给出相关的定义),所以编译器无法得到前置声明类的size,成员等详细信息,不能试图通过前置声明解决类成员的调用。不能试图通过前置声明来定义类的对象,只能改为定义类对象的指针(指针大小是固定的)。
class person; //类的前置声明
class Animal
{
public:
person pn; //编译报错,类的前置声明不足以创建对象
};
class person
{
public:
string name;
friend Animal::eat(person& pn);
};
如上示例代码,在Animal前做了person类的前置声明,编译器只译到person的前置声明,person类的size和成员都是未知的,所以无法在Animal类中做对象的定义。此时只能定义person类的指针。