我可以在不首先默认构造所述成员的情况下将参数放入 class 成员中吗？

Question

template <typename StoredT>
class InternalObject {
public:
    using RefCountT = unsigned short;

    template <typename... CtorTs>
    static void* emplace(CtorTs&&...);

    Types type;
    RefCountT reference_count;
    bool is_immovable;
    StoredT stored_value;
    
    InternalObject();
    InternalObject(StoredT);
    ~InternalObject();
};

我的 class 有一个成员 StoredT stored_value 我希望能够使用 emplace 和 return 和 void* 来构造它。

但是，如果我想这样做，我将不得不做 InternalObject<StoredT> *io_ptr = new InternalObject<StoredT>; 这将迫使我默认构造 stored_value.

我尝试的解决方案是分配适当数量的 space 作为 unsigned char 的数组（returned 指针是堆指针）。然后，我尝试将指针增加适当的数量并修改那里的值。

一个更可重现和更完整的示例，它不会为 two.

生成有效（非 POD）值

#include <iostream>
#include <vector>

struct S {
    int one;
    std::vector<int> two;
};

int main() {
    unsigned char *s_ptr = new unsigned char[sizeof(S)];
    S *s = reinterpret_cast<S*>(s_ptr);
    
    *s_ptr = 100; // Fine

    std::vector<int> *vec_ptr = reinterpret_cast<std::vector<int>*>(s_ptr + sizeof(int));
    *vec_ptr = {5,6,7};
    
    std::cout << s->two.capacity() << "\n"; // big ol' number

    return 0;
}

Answer 1

考虑使用 std::optional<StoredT>，这将允许您推迟构建您想要持有的 StoredT：

#include <optional>
template <typename StoredT>
class InternalObject {
public:
    using RefCountT = unsigned short;

    template <typename... CtorTs>
    void emplace(CtorTs&&... args) {
        stored_value.emplace(args...);
    }

    Types type;
    RefCountT reference_count;
    bool is_immovable;
    std::optional<StoredT> stored_value;
    
    InternalObject();
    InternalObject(StoredT);
    ~InternalObject();
};

我可以在不首先默认构造所述成员的情况下将参数放入 class 成员中吗？

Can I emplace arguments into a class member without first default-constructing said member?

c++

default-constructor

emplace