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

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 中提出。