c++ - 一般返回一个可选的<T>/nullopt

Question

我正在尝试实现一个通用的 find_if_opt 方法，该方法实际上与 std::ranges::find_if 相同(但它返回一个可选)

到目前为止，这是我的实现。

    template <typename X, typename Z>
    inline auto find_if_opt(const X& ds, const Z& fn) {
        const auto it = ranges::find_if(ds, fn);
        if (it != end(ds)) {
            return std::make_optional(*it);
        }
        return {};
    }

    auto test() {
        std::vector v{1,2,3,4,5};
        return ranges::find_if_opt(v, [](auto i){
            return i == 2;
        });
    }

这是更大的 std::ranges 的一部分，例如 c++17 算法的包装器。请参阅https://godbolt.org/z/3fEe8bbh9 (对于整个相关 header )

使用 {} 时，编译器错误为:

<source>:29:16: error: cannot deduce return type from initializer list
        return {};
               ^~

我也尝试过使用 std::nullopt，这会导致:

<source>:41:6:   required from here
<source>:30:21: error: inconsistent deduction for auto return type: 'std::optional<int>' and then 'std::nullopt_t'
         return std::nullopt;
                     ^~~~~~~

PS:如果您对我的 range::包装器有任何建议，而我仍然停留在 c++17 上，请随时提出。

Answer 1

您可以使用ranges::range_value_t获取 X

的 value_type

template <typename X, typename Z>
inline std::optional<std::ranges::range_value_t<X>> 
find_if_opt(const X& ds, const Z& fn) {
    const auto it = std::ranges::find_if(ds, fn);
    if (it != end(ds)) {
        return *it;
    }
    return {};
}

或者使用std::iter_value_t获取迭代器的value_type

template <typename X, typename Z>
inline auto
find_if_opt(const X& ds, const Z& fn) {
    const auto it = std::ranges::find_if(ds, fn);
    if (it != end(ds)) {
        return std::make_optional(*it);
    }
    return std::optional<std::iter_value_t<decltype(it)>>{};
}

或者 C++20 之前的版本

template <typename X, typename Z>
inline auto find_if_opt(const X& ds, const Z& fn) {
  const auto it = ranges::find_if(ds, fn);
  if (it != end(ds)) {
    return std::make_optional(*it);
  }
  return std::optional<std::decay_t<decltype(*it)>>{};
}