folly/detail/TryDetail.h

   1 /*
   2  * Copyright 2017 Facebook, Inc.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  *   http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16
  17 #pragma once
  18
  19 namespace folly {
  20 namespace detail {
  21
  22 template <typename... Ts>
  23 struct TryTuple {
  24   template <typename... Ts2>
  25   static std::tuple<Ts...> unwrap(
  26       std::tuple<folly::Try<Ts>...>&& o,
  27       Ts2&&... ts2) {
  28     static_assert(
  29         sizeof...(ts2) < std::tuple_size<std::tuple<folly::Try<Ts>...>>::value,
  30         "Non-templated unwrap should be used instead");
  31
  32     return unwrap(
  33         std::move(o),
  34         std::forward<Ts2>(ts2)...,
  35         std::move(*std::get<sizeof...(ts2)>(o)));
  36   }
  37
  38   static std::tuple<Ts...> unwrap(
  39       std::tuple<folly::Try<Ts>...>&& /* o */,
  40       Ts&&... ts) {
  41     return std::tuple<Ts...>(std::forward<Ts>(ts)...);
  42   }
  43 };
  44
  45 } // namespace detail
  46 } // namespace folly