主页 / coding / 问题 / 79119005
Accepted
Igor G
Asked: 2024-10-24 01:12:23 +0800 CST

如果 T 既不可构造、不可复制、也不可移动，那么我可以拥有 std::optional<T> 吗？

  • 772

[optional.optional.general] p3std::optional<T>中提到的类模板的类型参数的唯一要求是类型为Destructible。T

假设我有一个非常严格的课程，可以满足以下要求：

class R
{
public:
    ~R() = default;

    // This works thanks to guaranteed copy elision since C++17.
    static R create()
    {
        return R();
    }

    void do_something()
    {
    }

private:
    R() = default;

    R(const R&) = delete;
    R& operator=(const R&) = delete;

    R(R&&) = delete;
    R& operator=(R&&) = delete;
};

但该类仍然可以完全使用：

void test_1()
{
    R           obj = R::create();
    obj.do_something();
}

问题是：我真的能拥有一个可用的类型对象std::optional<R>吗？“可用”是指包含值的对象。如果是，那么我该如何在其中构造该值？

下面的代码显然会失败，因为的每个构造函数都R无法访问：

void test_2()
{
    std::optional<R>        o(R::create());   // Error: no matching constructor
}

Godbolt 示例链接。

编辑：

std::optional如果有一个接受构建器的构造函数那不是很好吗？

template <typename Builder>
optional::optional(disabmiguating_tag, Builder f)
 : my_internal_union(f())
{
}

my_internal_union当然，使用适当的构造函数......

c++

2 个回答

  1. Best Answer

    您可以使用带有 的类型operator R：

    struct Builder {
    operator R() const { return R::create(); }
};

int main() {
    std::optional<R> o(Builder{});
}

    请参阅Compiler Explorer 中的实例

    这是有效的，因为R居住的o是通过调用构造的

    R(std::move(builder))

    ... 其中是我们传入builder的引用。Builder{}

    operator R返回一个 prvalue，因此返回的R::create()和构造的R是同一个对象，这得益于 C++17 保证的复制省略。

    • 17

  2. 我知道问题是，但显然你可以使用这个技巧：

    auto o = std::optional<int>{0}.transform([](int){ return R::create(); });

    其中我们创建一个虚拟的非空可选（在本例中为std::optional<int>）并使用std::optional<T>::transform在其内部应用一个函数；该函数通过int返回所需的对象，该对象在为其有效负载保留的内存中创建。RR::create()std::optional

    由于 C++17强制复制省略，因此它是有效的，因为 lambda 返回类型是R，它与 的类型相同R::create()，而 又是纯右值。我认为这意味着这个R对象是直接在“最终”位置构造的，即您正在构造的 内部std::optional<R> o。

    可能std::construct_at来自是这个技巧的核心，但我不认为你可以从外部使用它，因为你无权访问std::optional存储有效负载的成员，并且你无法通过访问它，.value()因为那是空的 UB std::optional，并且你不能有一个非空的，std::optional<R>因为这正是我们正在讨论的！

    • 6

相关问题