Question

我想从另一个std::optional初始化std::optional以及一些其他参数，前提是后者std::optional不为空。不幸的是std::optional::optional 4）和5）不合适，因为参数的数量不同。

我能够提出以下内容，但仍然感觉过度。我特别不喜欢明确指定lambda的返回类型。

是否有更好的（如更简洁，更具表现力）的方式来实现这一目标？

#include <iostream>
#include <optional>
#include <tuple>

struct A {
    A(std::optional<int> oi, float f, char c)
    :
        val{
            [&] () -> decltype(val) /* I don't like specifying type here */ {
                if (oi)
                    return {{*oi, f, c}};
                else
                    return std::nullopt;            
            }()
        }
    {
    }

    std::optional<std::tuple<int, float, char>> val;
};

int main()
{
    auto print = [](auto& r) {
        if (r)
            std::cout
                << std::get<0>(*r) << "; "
                << std::get<1>(*r) << "; "
                << std::get<2>(*r) << std::endl;
        else
            std::cout << "nullopt" << std::endl;
    };

    auto one = A({}, 1.0, 'c');
    print(one.val);

    auto two = A(10, 2.0, 'c');
    print(two.val);
}

Live example

Answer 1

只要相信编译器做正确的事情：

A(std::optional<int> oi, float f, char c) {
    if (oi) {
        val.emplace(*oi, f, c);
    }
}

对于map()成员函数^†来说，这当然也是一个很好的用例，您可以将其作为非成员函数编写：

A(std::optional<int> oi, float f, char c)
    : val(map(oi, [&](int i){ return std::tuple(i, f, c); }))
{ }

^†最近由TartanLlama在P0798提出。

从另一个std :: optional和其他东西初始化std :: optional的惯用方法

1 个答案: