相互依赖的constexpr构造函数

Question

我有两个类，每个类都可以彼此构造。

示例：

class B;

class A{
 public:
  double val;
  constexpr A(B b): val(b.val){};
};

class B{
 public:
  double val;
  constexpr B(A a): val(a.val){};
};

我需要转发declare b类，所以一个知道它。当这些构造函数不是constexpr时，我可以将它们的定义移至源文件中，并愉快地编译。

但是，要使它成为constexpr，必须在标题中定义它们。 b可以从a构造，因为它看到了a的完整定义。 a无法从b构造，因为它只会看到声明，因此对b :: val一无所知。

我只剩下类B constexpr。是否有两种课程的方法？

Answer 1

使用GCC我会得到错误（ https://godbolt.org/z/qvp7absdr

<source>:6:15: error: 'b' has incomplete type
    6 | constexpr A(B b) : val(b.val){};
      |             ~~^
<source>:1:7: note: forward declaration of 'class B'
    1 | class B;
      |       ^
<source>: In constructor 'constexpr A::A(B)':
<source>:6:11: error: invalid type for parameter 1 of 'constexpr' function 'constexpr A::A(B)'
    6 | constexpr A(B b) : val(b.val){};
      |           ^
Compiler returned: 1

）失败是因为类型b在使用时是不完整的，这是构造函数a :: a（b b）的定义。

为了处理此问题，我们可以等到我们声明b才能完全定义构造函数并使用B。从本质上讲，将构造函数的定义移出类a课堂后b

class B;

class A{
 public:
  double val;
  constexpr A(B b);
};

class B{
 public:
  double val;
  constexpr B(A a): val(a.val){};
};

constexpr A::A(B b) : val(b.val){};

请参阅没有汇编问题的示例：
https://godbolt.org/z/4444fbcr8sh