前向声明不适用于转换运算符

Question

考虑下一个代码：

#include <iostream>
using namespace std;


class B;

class A
{
public:

    A() { p = 1;}
    int p;
    operator B() {B b; b.x = this->p; return b;}
};


class B
{
public:
    int x;
};

int main()
{

    A a;
    B b = a;
    return 0;
}

我试图将 A 转换为 B ，但我得到以下编译器尖叫声：

..\main.cpp:13: error: return type 'struct B' is incomplete

当我这样做时：

#include <iostream>
using namespace std;

class B
{
public:
    int x;
};

class A
{
public:

    A() { p = 1;}
    int p;
    operator B() {B b; b.x = this->p; return b;}
};


int main()
{
    A a;
    B b = a;
    return 0;
}

代码编译了，但问题是：是否可以使用我上面写的前向声明来做到这一点？

非常感谢 罗南

Answer 1

是的，这是可能的，只要A::operator B的定义遵循class B的定义。

#include <iostream>
using namespace std;


class B;

class A
{
public:

    A() { p = 1;}
    int p;
    operator B();
};


class B
{
public:
    int x;
};

inline A::operator B() {B b; b.x = this->p; return b;}


int main()
{

    A a;
    B b = a;
    return 0;
}

Answer 2

不会。您的 A::operator B() 创建一个 B 类型的对象。编译器需要知道 B 的定义，以便能够创建 B 类型的对象（例如，它需要知道执行 stack 的大小） - 指针计算。它需要知道是否需要调用自定义构造函数。）

Answer 3

该行：

operator B() {B b; return b;}

创建 B 的对象。这不可能发生，因为 B 未定义。

前向声明允许您声明指向对象的指针，这些对象可以在知道对象定义后创建，但您不能立即创建对象。

Answer 4

不，这是不可能的。您不能声明未完全定义的类型的对象。

Answer 5

您不能使用前向声明来执行此操作，因为编译器需要知道运算符返回类型的 B （及其默认构造函数）的大小。如果没有完整的类型，它就无法知道大小。

是的，它可能可以从您下面提供的定义中获取此信息，但由于历史原因，C 和 C++ 编译器仅考虑翻译单元中之前的定义。

Answer 6

如果不知道类的定义，就不可能创建类的对象。

将您的实现分为 .h 和 .cpp 文件。因此，您可以在 Ah 中有一个前向声明 class B 并将其定义包含在 A.cpp 中