Namespaces
Variants

Standard library header <expected> (C++23)

From cppreference.net
C++
Standard library headers

Этот заголовок является частью библиотеки общих утилит .

Содержание

Классы

(C++23)
обёртка, содержащая либо ожидаемое, либо ошибочное значение
(шаблон класса)
(C++23)
представлено как неожиданное значение
(шаблон класса)
(C++23)
исключение, указывающее на проверенный доступ к expected который содержит неожиданное значение
(шаблон класса)
(C++23)
тег для in-place конструирования неожиданного значения в expected
(тег)

Синопсис 

// в основном независимые
namespace std {
  // шаблон класса unexpected
  template<class E>
  class unexpected;
  // шаблон класса bad_expected_access
  template<class E>
  class bad_expected_access;
  // специализация для void
  template<>
  class bad_expected_access<void>;
  // in-place конструирование unexpected значений
  struct unexpect_t
  {
    explicit unexpect_t() = default;
  };
  inline constexpr unexpect_t unexpect{};
  // шаблон класса expected
  template<class T, class E>
  class expected; // частично независимый
  // частичная специализация expected для void типов
  template<class T, class E>
    requires is_void_v<T>
  class expected<T, E>; // частично независимый
}

Шаблон класса std::unexpected 

namespace std {
  template<class E>
  class unexpected
  {
  public:
    // конструкторы
    constexpr unexpected(const unexpected&) = default;
    constexpr unexpected(unexpected&&)      = default;
    template<class Err = E>
    constexpr explicit unexpected(Err&&);
    template<class... Args>
    constexpr explicit unexpected(in_place_t, Args&&...);
    template<class U, class... Args>
    constexpr explicit unexpected(in_place_t, initializer_list<U>, Args&&...);
    constexpr unexpected& operator=(const unexpected&) = default;
    constexpr unexpected& operator=(unexpected&&)      = default;
    constexpr const E& error() const& noexcept;
    constexpr E& error() & noexcept;
    constexpr const E&& error() const&& noexcept;
    constexpr E&& error() && noexcept;
    constexpr void swap(unexpected& other) noexcept(/* см. описание */);
    template<class E2>
    friend constexpr bool operator==(const unexpected&, const unexpected<E2>&);
    friend constexpr void swap(unexpected& x,
                               unexpected& y) noexcept(noexcept(x.swap(y)));
  private:
    E /*unex*/; // только для демонстрации
  };
  template<class E>
  unexpected(E) -> unexpected<E>;
}

Шаблон класса std::bad_expected_access 

namespace std {
  template<class E>
  class bad_expected_access : public bad_expected_access<void>
  {
  public:
    constexpr explicit bad_expected_access(E);
    constexpr const char* what() const noexcept override;
    constexpr E& error() & noexcept;
    constexpr const E& error() const& noexcept;
    constexpr E&& error() && noexcept;
    constexpr const E&& error() const&& noexcept;
  private:
    E /*unex*/; // только для демонстрации
  };
}

Специализация шаблона класса std::bad_expected_access<void> 

namespace std {
  template<>
  class bad_expected_access<void> : public exception
  {
  protected:
    constexpr bad_expected_access() noexcept;
    constexpr bad_expected_access(const bad_expected_access&) noexcept;
    constexpr bad_expected_access(bad_expected_access&&) noexcept;
    constexpr bad_expected_access& operator=(const bad_expected_access&) noexcept;
    constexpr bad_expected_access& operator=(bad_expected_access&&) noexcept;
    constexpr ~bad_expected_access();
  public:
    constexpr const char* what() const noexcept override;
  };
}

Шаблон класса std::expected 

namespace std {
  template<class T, class E>
  class expected
  {
  public:
    using value_type      = T;
    using error_type      = E;
    using unexpected_type = unexpected<E>;
    template<class U>
    using rebind = expected<U, error_type>;
    // конструкторы
    constexpr expected();
    constexpr expected(const expected&);
    constexpr expected(expected&&) noexcept(/* см. описание */);
    template<class U, class G>
    constexpr explicit(/* см. описание */) expected(const expected<U, G>&);
    template<class U, class G>
    constexpr explicit(/* см. описание */) expected(expected<U, G>&&);
    template<class U = remove_cv_t<T>>
    constexpr explicit(/* см. описание */) expected(U&& v);
    template<class G>
    constexpr explicit(/* см. описание */) expected(const unexpected<G>&);
    template<class G>
    constexpr explicit(/* см. описание */) expected(unexpected<G>&&);
    template<class... Args>
    constexpr explicit expected(in_place_t, Args&&...);
    template<class U, class... Args>
    constexpr explicit expected(in_place_t, initializer_list<U>, Args&&...);
    template<class... Args>
    constexpr explicit expected(unexpect_t, Args&&...);
    template<class U, class... Args>
    constexpr explicit expected(unexpect_t, initializer_list<U>, Args&&...);
    // деструктор
    constexpr ~expected();
    // присваивание
    constexpr expected& operator=(const expected&);
    constexpr expected& operator=(expected&&) noexcept(/* см. описание */);
    template<class U = remove_cv_t<T>>
    constexpr expected& operator=(U&&);
    template<class G>
    constexpr expected& operator=(const unexpected<G>&);
    template<class G>
    constexpr expected& operator=(unexpected<G>&&);
    template<class... Args>
    constexpr T& emplace(Args&&...) noexcept;
    template<class U, class... Args>
    constexpr T& emplace(initializer_list<U>, Args&&...) noexcept;
    // swap
    constexpr void swap(expected&) noexcept(/* см. описание */);
    friend constexpr void swap(expected& x, expected& y) noexcept(noexcept(x.swap(y)));
    // наблюдатели
    constexpr const T* operator->() const noexcept;
    constexpr T* operator->() noexcept;
    constexpr const T& operator*() const& noexcept;
    constexpr T& operator*() & noexcept;
    constexpr const T&& operator*() const&& noexcept;
    constexpr T&& operator*() && noexcept;
    constexpr explicit operator bool() const noexcept;
    constexpr bool has_value() const noexcept;
    constexpr const T& value() const&;   // freestanding-deleted
    constexpr T& value() &;              // freestanding-deleted
    constexpr const T&& value() const&&; // freestanding-deleted
    constexpr T&& value() &&;            // freestanding-deleted
    constexpr const E& error() const& noexcept;
    constexpr E& error() & noexcept;
    constexpr const E&& error() const&& noexcept;
    constexpr E&& error() && noexcept;
    template<class U = remove_cv_t<T>>
    constexpr T value_or(U&&) const&;
    template<class U = remove_cv_t<T>>
    constexpr T value_or(U&&) &&;
    template<class G = E>
    constexpr E error_or(G&&) const&;
    template<class G = E>
    constexpr E error_or(G&&) &&;
    // монадические операции
    template<class F>
    constexpr auto and_then(F&& f) &;
    template<class F>
    constexpr auto and_then(F&& f) &&;
    template<class F>
    constexpr auto and_then(F&& f) const&;
    template<class F>
    constexpr auto and_then(F&& f) const&&;
    template<class F>
    constexpr auto or_else(F&& f) &;
    template<class F>
    constexpr auto or_else(F&& f) &&;
    template<class F>
    constexpr auto or_else(F&& f) const&;
    template<class F>
    constexpr auto or_else(F&& f) const&&;
    template<class F>
    constexpr auto transform(F&& f) &;
    template<class F>
    constexpr auto transform(F&& f) &&;
    template<class F>
    constexpr auto transform(F&& f) const&;
    template<class F>
    constexpr auto transform(F&& f) const&&;
    template<class F>
    constexpr auto transform_error(F&& f) &;
    template<class F>
    constexpr auto transform_error(F&& f) &&;
    template<class F>
    constexpr auto transform_error(F&& f) const&;
    template<class F>
    constexpr auto transform_error(F&& f) const&&;
    // операторы равенства
    template<class T2, class E2>
      requires(!is_void_v<T2>)
    friend constexpr bool operator==(const expected& x, const expected<T2, E2>& y);
    template<class T2>
    friend constexpr bool operator==(const expected&, const T2&);
    template<class E2>
    friend constexpr bool operator==(const expected&, const unexpected<E2>&);
  private:
    bool /*has-val*/; // только для демонстрации
    union
    {
      T /*val*/;  // exposition-only
      E /*нереализовано*/; // exposition-only
    };
  };
}

Частичная специализация std::expected для void типов 

template<class T, class E>
  requires is_void_v<T>
class expected<T, E>
{
public:
  using value_type      = T;
  using error_type      = E;
  using unexpected_type = unexpected<E>;
  template<class U>
  using rebind = expected<U, error_type>;
  // конструкторы
  constexpr expected() noexcept;
  constexpr expected(const expected&);
  constexpr expected(expected&&) noexcept(/* см. описание */);
  template<class U, class G>
  constexpr explicit(/* см. описание */) expected(const expected<U, G>&);
  template<class U, class G>
  constexpr explicit(/* см. описание */) expected(expected<U, G>&&);
  template<class G>
  constexpr explicit(/* см. описание */) expected(const unexpected<G>&);
  template<class G>
  constexpr explicit(/* см. описание */) expected(unexpected<G>&&);
  constexpr explicit expected(in_place_t) noexcept;
  template<class... Args>
  constexpr explicit expected(unexpect_t, Args&&...);
  template<class U, class... Args>
  constexpr explicit expected(unexpect_t, initializer_list<U>, Args&&...);
  // деструктор
  constexpr ~expected();
  // присваивание
  constexpr expected& operator=(const expected&);
  constexpr expected& operator=(expected&&) noexcept(/* см. описание */);
  template<class G>
  constexpr expected& operator=(const unexpected<G>&);
  template<class G>
  constexpr expected& operator=(unexpected<G>&&);
  constexpr void emplace() noexcept;
  // swap
  constexpr void swap(expected&) noexcept(/* см. описание */);
  friend constexpr void swap(expected& x, expected& y) noexcept(noexcept(x.swap(y)));
  // наблюдатели
  constexpr explicit operator bool() const noexcept;
  constexpr bool has_value() const noexcept;
  constexpr void operator*() const noexcept;
  constexpr void value() const&; // freestanding-deleted
  constexpr void value() &&;     // freestanding-deleted
  constexpr const E& error() const& noexcept;
  constexpr E& error() & noexcept;
  constexpr const E&& error() const&& noexcept;
  constexpr E&& error() && noexcept;
  template<class G = E>
  constexpr E error_or(G&&) const&;
  template<class G = E>
  constexpr E error_or(G&&) &&;
  // монадические операции
  template<class F>
  constexpr auto and_then(F&& f) &;
  template<class F>
  constexpr auto and_then(F&& f) &&;
  template<class F>
  constexpr auto and_then(F&& f) const&;
  template<class F>
  constexpr auto and_then(F&& f) const&&;
  template<class F>
  constexpr auto or_else(F&& f) &;
  template<class F>
  constexpr auto or_else(F&& f) &&;
  template<class F>
  constexpr auto or_else(F&& f) const&;
  template<class F>
  constexpr auto or_else(F&& f) const&&;
  template<class F>
  constexpr auto transform(F&& f) &;
  template<class F>
  constexpr auto transform(F&& f) &&;
  template<class F>
  constexpr auto transform(F&& f) const&;
  template<class F>
  constexpr auto transform(F&& f) const&&;
  template<class F>
  constexpr auto transform_error(F&& f) &;
  template<class F>
  constexpr auto transform_error(F&& f) &&;
  template<class F>
  constexpr auto transform_error(F&& f) const&;
  template<class F>
  constexpr auto transform_error(F&& f) const&&;
  // операторы равенства
  template<class T2, class E2>
    requires is_void_v<T2>
  friend constexpr bool operator==(const expected& x, const expected<T2, E2>& y);
  template<class E2>
  friend constexpr bool operator==(const expected&, const unexpected<E2>&);
private:
  bool /*has-val*/; // exposition-only
  union
  {
    E /*нереализовано*/; // exposition-only
  };
};