如何在没有 if 语句的情况下 return 可选 <T>？

Question

假设我有一个函数可以找到并 returns 向量的最小元素。如果向量为空，它应该 return 一个空的可选对象。有没有办法让我使用 optional<T> 构造函数来避免使用 if 语句或三元运算符？

使用 if 语句：

optional<Foo> GetMinElement(vector<Foo> foos) {
  vector<Foo>::iterator min_foo = std::min_element(foos.begin(), foos.end());
  bool found_min_element = (min_foo != foos.end());
  if (found_min_element) {
    return *min_foo;
  } else {
    return nullopt;
  }
}

使用三元运算符：

optional<Foo> GetMinElement(vector<Foo> foos) {
  vector<Foo>::iterator min_foo = std::min_element(foos.begin(), foos.end());
  bool found_min_element = (min_foo != foos.end());
  return found_min_element ? optional<Foo>(*min_foo) : optional<Foo>(nullopt);
}

天真地，我只是希望能够将 stl 算法的输出传递给 optional<T> 构造函数并让它处理检查空指针的逻辑。这有什么成语吗？

Answer 1

optional 似乎没有构造函数有时会产生一个空的可选而有时会产生一个完整的。

也许你可以做一个帮手：

template<typename Iter>
optional<typename Iter::value_type> try_deref(Iter pos, Iter singular)
{
    if ( pos != singular )
        return *pos;

    return {};
}

示例用法：

optional<Foo> GetMinElement(std::vector<Foo> const &foos)
{
    auto min_foo = std::min_element(foos.begin(), foos.end());
    return try_deref(min_foo, foos.end()); 
}

Answer 2

你必须记住结束迭代器不是空指针。如果范围是一个子范围，它甚至可以是一个有效的迭代器。

我编写自己的范围算法。他们遵循的模式与您的不同。

范围算法采用 class Range，执行 adl-enabled begin/end 并运行迭代器算法。然后它 returns 是一个可选的迭代器（如果它是 end 则为空）。

这与你的略有不同，因为我的没有 return 元素的副本。

并且它们可以在原件所在的任何地方使用（加上 make_range(start,finish)）。

如果您不喜欢 if 和 ? 的语法，这些可能会有所帮助：

template<class T>
std::optional<std::decay_t<T>> maybe(bool engage, T&&t){
  if (!engage) return {};
  return std::forward<T>(t);
}

甚至：

templace<class F>
std::optional<std::decay_t<std::result_of_t<F()>>>
perhaps(bool do_it, F&&f){
  if (!engage) return {};
  return std::forward<F>(f)();
}

short-circuits 和 ? 一样。

namespace adl_helper{
  using std::begin; using std::end;
  template<class R> auto adl_begin(R&&)->decltype(begin(std::declval<R>())){
    return begin(std::forward<R>(r));
  }
  template<class R> auto adl_end(R&&)->decltype(end(std::declval<R>())){
    return end(std::forward<R>(r));
  }
}
using adl_helper::adl_begin;
using adl_helper::adl_end;

template<class R>using iterator_t=decltype(adl_begin(std::declval<R>()));

template<class R>
optional<iterator_t<R>> min_element(R&& r) {
  auto ret = std::min_element(adl_begin(r), adl_end(r));
  return maybe(ret!=adl_end(r), ret);
}

我觉得比你的版本更有用。

有时您确实需要做额外的事情 *，或者使用助手。

如何在没有 if 语句的情况下 return 可选 <T>？

How to return an optional<T> without an if statement?

c++

stl

std

optional

c++11