c ++前向声明+ ifndef也需要指针[关闭]

Question

数组：

#ifndef ARRAY_H
#define ARRAY_H

#include <bits/stdc++.h>
using namespace std;

namespace Maifee{

class Value;

class Array {
public:
    Array();
    vector<Value> _elements;
};

}

#endif // ARRAY_H

对象：

#ifndef OBJECT_H
#define OBJECT_H


#include <bits/stdc++.h>
#include "value.h"
using namespace std;

namespace Maifee{

class Value;

class Object{
public:
    Object();
    map<string, Value> _members;
};

}


#endif // OBJECT_H

价值：

#ifndef VALUE_H
#define VALUE_H

#include <bits/stdc++.h>
#include "array.h"
#include "object.h"
using namespace std;

namespace Maifee{
    
class Array;
class Object;

class Value {
public:
    Value();
    Value(Object *__object);
    Array *_array;
    Object *_object;
};

}

#endif // VALUE_H

我正在尽我最大的努力学习 C++。凭借我对 C++ 的一点点了解，我正在尝试编写一些代码。我移动 C++ 的第一个原因，指针需要很多时间。

在这里我正在编写这些代码，其中需要前向声明，因此即使在使用前向声明和 ifndef 之后，我也需要使用指针，我真的不想要。

谁能真正帮我解决这个问题，我怎样才能消除循环依赖？

我需要回到 C 吗？

在使用指针时，我遇到了很多问题，例如，我的地图中只有一个键值对，但在下一行，大小变成了一个非常大的数字，不知从何而来。

main 中的代码：

    Object object=Object();
    cout << "pop obj tem len" << object._members.size() << endl; //gives 0 as expected
    object._members = members;
    cout << "pop obj tem len" << object._members.size() << endl; //gives the expected number
    Value val=Value(&object);
    cout << val._object->_members.size() << "size here" << endl; //gives a random number

带有 Object 参数的 Value 构造函数：

Value::Value(Object *__object)
{
    Object object;
    object._members.insert(__object->_members.begin(), __object->_members.end());
    _object = &object;
}

Answer 1

在这种情况下，你无法避免前向声明和指针。

class Object 有一个 map<string, Value> 成员，class Array 有一个 vector<Value> 成员。这意味着Value 在编译Object 和Array 时必须是完全定义的完整类型，因为map 和vector 需要知道它们元素类型的总大小。如果Value 有非指针Array 和Object 成员，则Object 和Array 需要Value 才能成为完整类型，但Value 需要Object 和@987654341 @ 是完整的类型。第 22 条军规！

因此，您必须对 Value 成员使用前向声明和指针/引用，以使这种循环引用正常工作，因为允许对不完整类型的指针/引用。

---

更新：在采用Object* 参数的Value 构造函数中，您将_object 成员设置为指向超出范围的本地Object 实例并且是当构造函数退出时被销毁，从而使_object 悬空。这就是为什么main() 中的后续val._object->_members.size() 表达式会产生垃圾（幸运的是代码没有直接崩溃）-val._object 指向无效内存，因此它的members 不是有效的map 对象所以阅读它的size() 是未定义的行为。这可以追溯到我发布的原始评论：

您可能正在访问一个无效的指针。

要解决这个问题，根据您的实际设计目标，Value 构造函数需要：

• 动态构造一个新的Object，以后必须是delete。您还必须提供适当的复制构造函数和复制赋值运算符：

Value::Value()
{
    _object = NULL;
    _array = NULL;
}

Value::Value(Object *__object)
{
    _object = new Object;
    _array = NULL;
    if (__object)
        _object._members = __object->_members;
}

Value::Value(const Value &__value)
{
    _object = new Object;
    _array = NULL;
    if (__value._object)
        _object._members = __value._object->_members;
}

Value::~Value()
{
    delete _object;
}

Value& Value::operator=(const Value &__value)
{
    if (&__value != this)
    {
        Value tmp(__value);
        std::swap(_object, tmp._object);
        std::swap(_array, tmp._array);
    }
    return *this;
}

• 只需存储给定的Object* 指针：

Value::Value(Object *__object)
{
    _object = __object;
    _array = NULL;
}