C++不完整的类型

时间:2023-03-09 09:30:31
C++不完整的类型

今天写C++primer 5th中文版第422页的程序时,出现了”不允许使用不完整的类型“的错误,下面我就用类A 与 类B 作为代表,重现一下该错误,并且提出解决方案。

一、带问题的类设计A:

1、类A放在A.h 与 A.cpp中

2、由于B需要访问A的私有成员,故声明B是其友元类

3、A中需要利用自身作为参数去创建一个新的B类实例。

代码如下:A.cpp中就是一个空的析构函数的实现。。。没什么,我把主要实现都写在了A.h中

 #pragma once
#include<iostream> class B; // 声明B 从而能够在下文声明为友元类
class A
{
public:
friend class B; // 声明B为友元类
A(int a) :data(a){} B Pirnt() // 打印一行文字并且调用B的构造函数:B(A &a, int secParam = 5)创建一个B的实例
{
std::cout << "hehe " << std::endl;
return B(*this);
}
~A();
private:
int data;
};

二、带问题的类设计B

1、B 接受一个A 引用参数,达成构造B的目的

同样的,B.cpp中也是一个空的构造函数与一个空的析构函数,下面展示的是B.h中的代码:

 #pragma once
#include "A.h"
class B
{
public:
B(A &a, int secParam = ) :data(a.data){}
B();
~B(); private:
int data;
};

三、问题提示:

在A.h的第11 与 14行使用B的地方提示”B不是完整的数据类型“

四、分析

首先,我们需要在类A中将B声明为友元类,此时类B尚未定义,故仅在class A前面声明了class B;然后在此利用B进行代码编写,但是带来了问题:

这种声明叫做 前向声明,它在声明之后,定义之前的这段时间,它都是不完整的,对于类A中的代码来讲,他们不知道B什么时候定义,所以编译器直接认为B是不完整的。。。

如果分别在A.h与B.h中包含对方的头文件,又造成了循环包含。

五、解决方案。

1、将A  B写在一个头文件中

2、声明A,定义B

3、定义A

代码:

A.h

#pragma once
#include<iostream>
class A; // 声明A class B
{
public:
B(A &a, int secParam = ); // 只可声明,不能在此处定义,具体定义在B.cpp中写
~B(); private:
int data;
}; class A
{
public:
friend class B; // 声明B为友元类
A(int a) :data(a){} B Pirnt() // 打印一行文字并且调用B的构造函数:B(A &a, int secParam = 5)创建一个B的实例
{
std::cout << "hehe " << std::endl;
return B(*this);
}
~A();
private:
int data;
};

B.cpp

#include "A.h"
B::B(A &a, int secParam) :data(a.data)
{
} B::~B()
{
}

对于A.cpp,还是空的构造函数与析构函数

原因:

1、上文说道在类声明与定义之间的时间内,其是不完整的,不可使用的,但是  可以定义指向这种类型的指针和引用,可以声明(不能定义)以不完整类型作为参数或者返回类型的函数。

故,可以先在B中的构造函数里使用 A& 这个参数.

不过使用A&作为参数的那个构造函数的实现(定义)需要在cpp中写,因此执行到CPP的时候,A已经是完整的了。

2、 执行到A时,B的各成员声明已经完整。