深入学习C++前向声明

本文探讨了C++中前向声明的重要性,主要为了解决头文件循环引用问题和减少不必要的头文件包含。通过举例说明如何在不引入STL头文件的情况下,使用前向声明解决依赖问题。同时,介绍了前向声明的限制,如不能声明typedef类型的别名,但可以声明命名空间内的类型和模板,并强调了前向声明只能用于声明指针或引用,且不能解引用或进行运算。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1.我们为什么需要前向声明?

1.1我有两点体会,第一,众所周知,避免头文件的循环引用。第二,就是避免引入头文件。

1.2我要对第二点进行举例补充说明,因为我修改了android源码frameworks框架 input模块 InputReader类的源码,在inputReader中添加了一些特殊功能。我并没有使用android源码提供的特有容器,而是采用STL中的容器。在android源码中如何利用STL,请看我另一篇文章。如果我在InputReader.h中包含STL的头文件,那么所有使用InputReader.h的类都需要知道STL的头文件去那里找,而不简单修改input模块Android.mk就能解决的。因为有一些测试类和其他模块的类需要使用InputReader.h,但它们不需要也不清楚那里去找STL头文件。所以我需要把STL的头文件包含到实现文件中,这样使得问题变得简单,但是又引来另一个问题,因为在头文件中我又需要STL中的类型声明。OK,前向声明应运而生!


2.前向声明的几点事项

2.1前向声明不能声明被typedef 的类型明。

     比如在一个文件中typedef int Integer,在另一个文件中 class Integer。编译器分不清,Integer到底是int的别名还是真有一个Integer类型。有办法解决,但不那么直接!

2.2可以前向声明其他命名空间类型

     比如

     namespace std{  class string; }这个例子是个反例,无法通过编译,因为string恰恰是type-def name。

2.3可以前向声明模版

     比如

     namespace std{
     template <typename T,typename U> class vector;
     template <typename T> class allocator;
     }

2.4前向声明是指声明一个在其他中文件定义的类型,一种不完全声明,前向声明时不能含有未声明类型,但可以包含前向声明,所有前向声明需共同遵守前向声明的使用规则。高版本编译器开始支持模板参数使用前向声明。

    比如

     namespace std{
     template <typename T,typename U> class vector;
     template <typename T> class allocator;
     }

     namespace XiaoQiang{

     class Point2D;

      }

    class  std::vector<XiaoQiang::Point2D,std::allocator<XiaoQiang::Point2D> >

2.5我们只能声明或定义不完全类型的指针或引用,而且不能对指针进行运算,不能解引用,亦不能使用。

    比如

    我有一个法宝,但现在不在我身边,虽然记不清法宝的详细信息(忘记尺寸,不能进行指针运算),但我可以告诉你,我的法宝是什么(编译器占位符,有一个类型,之后进行补全)!仅通过名字不能使用它的,但可以写封明信片标示法宝的位置。(无法使用,但可声明指针)

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值