overload.h 2.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  1. // This file is part of Desktop App Toolkit,
  2. // a set of libraries for developing nice desktop applications.
  3. //
  4. // For license and copyright information please follow this link:
  5. // https://github.com/desktop-app/legal/blob/master/LEGAL
  6. //
  7. #pragma once
  8. namespace base {
  9. namespace details {
  10. // This implementation was taken from range-v3 library.
  11. // It was modified so that more than one of passed function objects
  12. // could be called with an argument list and the first one that
  13. // matches gets used instead of a compile-time ambiguity error.
  14. //
  15. // This allows to write "default" visitor handlers with [](auto&&) syntax.
  16. template <typename ...Args>
  17. constexpr bool is_callable_v = rpl::details::is_callable_plain_v<Args...>;
  18. template <typename ...Args>
  19. struct overloaded;
  20. template <>
  21. struct overloaded<> {
  22. };
  23. template <typename First, typename ...Rest>
  24. struct overloaded<First, Rest...>
  25. : private First
  26. , private overloaded<Rest...> {
  27. private:
  28. using Others = overloaded<Rest...>;
  29. public:
  30. overloaded() = default;
  31. constexpr overloaded(First first, Rest... rest)
  32. : First(std::move(first))
  33. , Others(std::move(rest)...) {
  34. }
  35. template <typename... Args>
  36. auto operator()(Args&&... args)
  37. -> decltype(std::declval<First&>()(std::forward<Args>(args)...)) {
  38. return static_cast<First&>(*this)(std::forward<Args>(args)...);
  39. }
  40. template <typename... Args>
  41. auto operator()(Args&&... args) const
  42. -> decltype(std::declval<const First&>()(std::forward<Args>(args)...)) {
  43. return static_cast<const First&>(*this)(std::forward<Args>(args)...);
  44. }
  45. template <
  46. typename... Args,
  47. typename = std::enable_if_t<!is_callable_v<First&, Args&&...>>>
  48. auto operator()(Args&&... args)
  49. -> decltype(std::declval<Others&>()(std::forward<Args>(args)...)) {
  50. return static_cast<Others&>(*this)(std::forward<Args>(args)...);
  51. }
  52. template <
  53. typename... Args,
  54. typename = std::enable_if_t<!is_callable_v<const First&, Args&&...>>>
  55. auto operator()(Args&&... args) const
  56. -> decltype(std::declval<const Others&>()(std::forward<Args>(args)...)) {
  57. return static_cast<const Others&>(*this)(std::forward<Args>(args)...);
  58. }
  59. };
  60. } // namespace details
  61. template <typename Function>
  62. Function overload(Function &&function) {
  63. return std::forward<Function>(function);
  64. }
  65. template <typename ...Functions, typename = std::enable_if_t<(sizeof...(Functions) > 1)>>
  66. auto overload(Functions ...functions) {
  67. return details::overloaded<Functions...>(std::move(functions)...);
  68. }
  69. } // namespace base