pw_result/public/pw_result/result.h

// Copyright 2020 The Pigweed Authors
//
// Licensed under the Apache License, Version 2.0 (the "License"); you may not
// use this file except in compliance with the License. You may obtain a copy of
// the License at
//
//     https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
// WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
// License for the specific language governing permissions and limitations under
// the License.
#pragma once

#include <algorithm>

#include "pw_assert/assert.h"
#include "pw_status/status.h"

namespace pw {

// A Result represents the result of an operation which can fail. It is a
// convenient wrapper around returning a Status alongside some data when the
// status is OK.
template <typename T>
class Result {
 public:
  constexpr Result(T&& value) : value_(std::move(value)), status_(OkStatus()) {}
  constexpr Result(const T& value) : value_(value), status_(OkStatus()) {}

  template <typename... Args>
  constexpr Result(std::in_place_t, Args&&... args)
      : value_(std::forward<Args>(args)...), status_(OkStatus()) {}

  // TODO(pwbug/246): This can be constexpr when tokenized asserts are fixed.
  Result(Status status) : status_(status) { PW_CHECK(status_ != OkStatus()); }
  // TODO(pwbug/246): This can be constexpr when tokenized asserts are fixed.
  Result(Status::Code code) : status_(code) { PW_CHECK(status_ != OkStatus()); }

  constexpr Result(const Result&) = default;
  constexpr Result& operator=(const Result&) = default;

  constexpr Result(Result&&) = default;
  constexpr Result& operator=(Result&&) = default;

  constexpr Status status() const { return status_; }
  constexpr bool ok() const { return status_.ok(); }

  // TODO(pwbug/246): This can be constexpr when tokenized asserts are fixed.
  T& value() & {
    PW_CHECK_OK(status_);
    return value_;
  }

  // TODO(pwbug/246): This can be constexpr when tokenized asserts are fixed.
  const T& value() const& {
    PW_CHECK_OK(status_);
    return value_;
  }

  // TODO(pwbug/246): This can be constexpr when tokenized asserts are fixed.
  T&& value() && {
    PW_CHECK_OK(status_);
    return std::move(value_);
  }

  template <typename U>
  constexpr T value_or(U&& default_value) const& {
    if (ok()) {
      return value_;
    }
    return std::forward<U>(default_value);
  }

  template <typename U>
  constexpr T value_or(U&& default_value) && {
    if (ok()) {
      return std::move(value_);
    }
    return std::forward<U>(default_value);
  }

 private:
  union {
    T value_;
  };
  Status status_;
};

}  // namespace pw