主页 / 问题 / 1013941
Accepted
MGNeo
Asked:2020-08-15 22:04:12 +0800 CST2020-08-15 22:04:12 +0800 CST

C++ 和循环依赖

  • 772

我想了解是否有任何单一的方法来处理循环依赖？

问题：出于某种原因，项目中的类型之间存在交叉引用。尽管事先对架构进行了规划，但有时仍会发生这种情况。这样的引用并不总是错误的。

这种情况最令人沮丧的是，在大多数情况下，编译器会给你大量的通知。同时，通知指向错误的地方，只有经验有助于或多或少地快速了解原因是循环依赖。

此外，许多人经常忘记它#pragma once可以防止多重包含，而不是防止循环依赖。

例如，有一个场景有一个打架，有一个打架，打架包含一个到父场景的链接：

// BattleScene.hpp
class BattleScene
{
    private:
    Battle battle;
};

// Battle.hpp
class Battle
{
    private:
    BattleScene &parent;
};

处理此类问题的一般方法是什么？

c++ циклические-зависимости

3 个回答

  1. Best Answer

    为了让编译器不发誓，使用前向声明就足够了：

    class BattleScene;
class Battle
{
private:
    BattleScene &parent;
};

    请注意，已声明但尚未定义的类不能按值使用，只能通过引用或指针使用。

    然而，循环引用还有第二个问题：循环数据结构不能被简单地复制或传输。

    因此，如果您尝试这样做：

    BattleScene copy = someOtherScene;

    原来，copy.battle.parent指向的不是to copy，而是to someOtherScene！因此，不要忘记禁止复制和移动！

    class BattleScene;
class Battle
{
private:
    BattleScene &parent;

    Battle(const Battle&) = delete;
    Battle(Battle&&) = delete;
    Battle& operator=(const Battle&) = delete;
    Battle& operator=(Battle&&) = delete;
};

    循环结构的另一个问题是可能失去恒定性。因此，如果您有一个变量const BattleScene scene，那么您可以获取- 并获得对!scene.battle.parent的非常量引用scene

    除此之外，额外的链接在记忆中效率很低。

    因此，我建议您考虑另一种方法 - 将父对象作为参数传递给子对象的方法：

    class BattleScene;
class Battle
{
public:
    void Foo(BattleScene& parent);
};

class BattleScene
{
private:
    Battle battle;

public:
    void Bar()
    {
        battle.Foo(*this);
    }
};

    如果您需要在某处单独传递到 Battle 的链接，您可以制作一个包装器：

    class BattleScene;
class Battle
{
public:
    void Foo(BattleScene& parent);
};

class BattleRef
{
    BattleScene& scene;
    Battle& battle;
public:
    BattleRef(BattleScene& scene, Battle& battle) : scene(scene), battle(battle) { }

    void Foo()
    {
        battle.Foo(scene);
    }
};
    • 8 
  2. // BattleScene.hpp
#include "Battle.hpp"

// Battle.hpp
class BattleScene;

class Battle
{
 private:
  BattleScene &parrent;
};
    • 2

  3. 可以创建一种处理循环依赖的通用方法，但首先您需要了解声明的顺序以及它们之间的依赖关系。

    第一个简单元素是前向类型声明。然后是类声明及其元素和方法。只是没有在里面声明类方法！这可能会导致编译失败。进一步这些相同的内联函数。然后定义简单的静态方法。

    假设有两个类包含对彼此的引用以及具有另一个类的类型参数的方法。这是一个如何正确声明所有内容的示例：

    A.hpp：

    # pragma once
// предварительное объявление класса B
class B ;

class A {
public :
  A ( B & ) ;
  B & theB();
  // аргументом по значению тоже можно
  void  Argument_B_by_value ( B );
private :
  B & b ;
} ;

    b.hpp：

    # pragma once
// предварительное объявление класса A
class A ;

class B {
public :
  B ( A & ) ;
  A & theA();
  // аргументом по значению тоже можно
  void  Argument_A_by_value ( A );
private :
  A & a ;
} ;

    爱.hpp：

    // порядок не важен
# include "A.hpp"
# include "B.hpp"

inline B & A :: theB ( ) {
  return b ; }

inline void  A :: Argument_B_by_value ( B ) {
  }

    比.hpp：

    // порядок не важен
# include "B.hpp"
# include "A.hpp"

inline A & B :: theA ( ) {
  return a ; }

inline void  B :: Argument_A_by_value ( A ) {
  }

    A.cpp：

    // порядок не важен
# include "A.hpp"
# include "B.hpp"
// порядок не важен
# include "Ai.hpp"
# include "Bi.hpp"

A :: A ( B & x ) : b { x } { }

    b.cpp：

    // порядок не важен
# include "B.hpp"
# include "A.hpp"
// порядок не важен
# include "Bi.hpp"
# include "Ai.hpp"

B :: B ( A & x ) : a { x } { }

    结果是具有不同文件名的三个级别：

    1. 其他类型的前向声明。类定义。

    2. 内联方法。

    3. 静态方法。

    第二级包括第一级的标题。第三级包括第一级和第二级的标题。

    • 1

相关问题