有没有办法在没有默认构造函数的情况下将 function 的成员初始化为 class 成员的无值？

Question

我有一些课程，有一些成员：

#include<variant>   

class A{
   public:
   A() {};
   private:
   B b;
   std::variant<B,C> var;
};

class B{
   public:
   B(C c) : c(c) {};
   private:
   C c;
};

class C{
   public:
   C(int val) val(val) {};
   private:
   int val;
};

现在，这当然不会编译，原因有两个：class B 和变体都没有默认构造函数。 但是我还没有任何 B 或 var 的值，它们将在 A 的方法中初始化。

我想到了以下几点：

• 为 B 定义一个默认构造函数。但是这样我将有一个不必要的构造函数，我也必须为 C 做同样的事情。 由于我可能有多个子类，这将很快导致一系列不必要的构造函数。 另外，对于非自定义类，例如std::variant ，我不能这样做。
• 用虚拟值初始化变量。 虽然在实践中这可能会起作用，因为无论如何我都会快速覆盖这些值，但这不是很干净，并且可能导致一些丑陋的错误。
• 使用指针。 这可能是最现实的一个，也是我认为最合理的一个，但出于某种原因，我真的想避免在这里指点。 另外，当我用指针尝试它时，由于某种原因， B 的成员在返回成员后发生了奇怪的变化。 此外，当尝试使用变体（如var = &C(0); ）执行此操作时，我被告知

“C *”类型的值不能分配给变体类型的实体

来自 Java，有什么方法可以（不使用指针）将值初始化为null之类的值？ 我知道null不存在是 C++，但我正在寻找具有相同效果的东西/缺少默认构造函数的一些解决方法。 或者这是我课程中的设计缺陷，应该完全不同地解决？

Answer 1

您可以在您的变体中使用std::monostate ，直到您选择了要存储的类型。

std::monostate ：

旨在用作std::variant中表现良好的空替代品的单元类型。 特别是，非默认可构造类型的变体可以列出std::monostate作为其第一个选择：这使得变体本身可默认构造。

大纲：

class A {
public:
    A() = default;
    
    A(const B& b) : var(b) {}
    
    A(const C& c) : var(c) {}

    A& operator=(const B& b) {
        var = b;
        return *this;
    }

    A& operator=(const C& c) {
        var = c;
        return *this;
    }

private:
    std::variant<std::monostate, B, C> var;
};

---

如果您想向A添加更多类型而无需为它们全部显式添加构造函数和赋值运算符，则可以使用更通用的版本：

#include <type_traits>
#include <utility>
#include <variant>

template<class... Ts>
class A_impl {
public:
    A_impl() = default;
    
    template<class T>
    requires std::disjunction_v<std::is_same<std::remove_cvref_t<T>, Ts>...>
    A_impl(T&& val) : var(std::forward<T>(val)) {}

    template<class T>
    requires std::disjunction_v<std::is_same<std::remove_cvref_t<T>, Ts>...>
    A_impl& operator=(T&& val) {
        var = std::forward<T>(val);
        return *this;
    }

private:
    std::variant<std::monostate, Ts...> var;
};

using A = A_impl<B, C>;