// Copyright 2023 The Abseil 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. // // ----------------------------------------------------------------------------- // File: overload.h // ----------------------------------------------------------------------------- // // `absl::Overload` is a functor that provides overloads based on the functors // with which it is created. This can, for example, be used to locally define an // anonymous visitor type for `std::visit` inside a function using lambdas. // // Before using this function, consider whether named function overloads would // be a better design. // // Note: absl::Overload requires C++17. // // Example: // // std::variant<std::string, int32_t, int64_t> v(int32_t{1}); // const size_t result = // std::visit(absl::Overload{ // [](const std::string& s) { return s.size(); }, // [](const auto& s) { return sizeof(s); }, // }, // v); // assert(result == 4); // #ifndef ABSL_FUNCTIONAL_OVERLOAD_H_ #define ABSL_FUNCTIONAL_OVERLOAD_H_ #include "absl/base/config.h" #include "absl/meta/type_traits.h" namespace absl { ABSL_NAMESPACE_BEGIN #if defined(ABSL_INTERNAL_CPLUSPLUS_LANG) && \ ABSL_INTERNAL_CPLUSPLUS_LANG >= 201703L template <typename... T> struct Overload final : T... { … }; // Before C++20, which added support for CTAD for aggregate types, we must also // teach the compiler how to deduce the template arguments for Overload. // template <typename... T> Overload(T...) -> Overload<T...>; #else namespace functional_internal { template <typename T> constexpr bool kDependentFalse = false; } template <typename Dependent = int, typename... T> auto Overload(T&&...) { static_assert(functional_internal::kDependentFalse<Dependent>, "Overload is only usable with C++17 or above."); } #endif ABSL_NAMESPACE_END } // namespace absl #endif // ABSL_FUNCTIONAL_OVERLOAD_H_