c10/util/Metaprogramming.h - platform/external/pytorch - Git at Google

 #pragma once

 #include <type_traits>
 #include <array>
 #include <functional>
 #include <c10/util/TypeList.h>
 #include <c10/util/Array.h>

 namespace c10 { namespace guts {
 namespace detail {
 /**
  * strip_class: helper to remove the class type from pointers to `operator()`.
  */

 template <typename T>
 struct strip_class {};
 template <typename Class, typename Result, typename... Args>
 struct strip_class<Result (Class::*)(Args...)> {
   using type = Result(Args...);
 };
 template <typename Class, typename Result, typename... Args>
 struct strip_class<Result (Class::*)(Args...) const> {
   using type = Result(Args...);
 };
 template <typename T>
 using strip_class_t = typename strip_class<T>::type;
 } // namespace detail

 /**
  * Access information about result type or arguments from a function type.
  * Example:
  * using A = function_traits<int (float, double)>::return_type // A == int
  * using A = function_traits<int (float, double)>::parameter_types::tuple_type // A == tuple<float, double>
  */
 template<class Func> struct function_traits {
   static_assert(!std::is_same<Func, Func>::value, "In function_traits<Func>, Func must be a plain function type.");
 };
 template<class Result, class... Args>
 struct function_traits<Result (Args...)> {
   using func_type = Result (Args...);
   using return_type = Result;
   using parameter_types = typelist::typelist<Args...>;
   static constexpr auto number_of_parameters = sizeof...(Args);
 };

 /**
  * infer_function_traits: creates a `function_traits` type for a simple
  * function (pointer) or functor (lambda/struct). Currently does not support
  * class methods.
  */

 template <typename Functor>
 struct infer_function_traits {
   using type = function_traits<detail::strip_class_t<decltype(&Functor::operator())>>;
 };

 template <typename Result, typename... Args>
 struct infer_function_traits<Result (*)(Args...)> {
   using type = function_traits<Result(Args...)>;
 };

 template <typename T>
 using infer_function_traits_t = typename infer_function_traits<T>::type;

 /**
  * Use extract_arg_by_filtered_index to return the i-th argument whose
  * type fulfills a given type trait. The argument itself is perfectly forwarded.
  *
  * Example:
  * std::string arg1 = "Hello";
  * std::string arg2 = "World";
  * std::string&& result = extract_arg_by_filtered_index<is_string, 1>(0, arg1, 2.0, std::move(arg2));
  *
  * Warning: Taking the result by rvalue reference can cause segfaults because ownership will not be passed on
  *          from the original reference. The original reference dies after the expression and the resulting
  */
 namespace detail {
 template<template <class> class Condition, size_t index, class Enable, class... Args> struct extract_arg_by_filtered_index_;
 template<template <class> class Condition, size_t index, class Head, class... Tail>
 struct extract_arg_by_filtered_index_<Condition, index, guts::enable_if_t<!Condition<Head>::value>, Head, Tail...> {
   static auto call(Head&& /*head*/, Tail&&... tail)
   -> decltype(extract_arg_by_filtered_index_<Condition, index, void, Tail...>::call(std::forward<Tail>(tail)...)) {
     return extract_arg_by_filtered_index_<Condition, index, void, Tail...>::call(std::forward<Tail>(tail)...);
   }
 };
 template<template <class> class Condition, size_t index, class Head, class... Tail>
 struct extract_arg_by_filtered_index_<Condition, index, guts::enable_if_t<Condition<Head>::value && index != 0>, Head, Tail...> {
   static auto call(Head&& /*head*/, Tail&&... tail)
   -> decltype(extract_arg_by_filtered_index_<Condition, index-1, void, Tail...>::call(std::forward<Tail>(tail)...)) {
     return extract_arg_by_filtered_index_<Condition, index-1, void, Tail...>::call(std::forward<Tail>(tail)...);
   }
 };
 template<template <class> class Condition, size_t index>
 struct extract_arg_by_filtered_index_<Condition, index, void> {
   static void call() {
     static_assert(index != index, "extract_arg_by_filtered_index out of range.");
   }
 };
 template<template <class> class Condition, size_t index, class Head, class... Tail>
 struct extract_arg_by_filtered_index_<Condition, index, guts::enable_if_t<Condition<Head>::value && index == 0>, Head, Tail...> {
   static auto call(Head&& head, Tail&&... /*tail*/)
   -> decltype(std::forward<Head>(head)) {
     return std::forward<Head>(head);
   }
 };
 }
 template<template <class> class Condition, size_t index, class... Args>
 auto extract_arg_by_filtered_index(Args&&... args)
 -> decltype(detail::extract_arg_by_filtered_index_<Condition, index, void, Args...>::call(std::forward<Args>(args)...)) {
   static_assert(is_type_condition<Condition>::value, "In extract_arg_by_filtered_index, the Condition argument must be a condition type trait, i.e. have a static constexpr bool ::value member.");
   return detail::extract_arg_by_filtered_index_<Condition, index, void, Args...>::call(std::forward<Args>(args)...);
 }


 /**
  * Use filter_map to map a subset of the arguments to values.
  * The subset is defined by type traits, and will be evaluated at compile time.
  * At runtime, it will just loop over the pre-filtered arguments to create an std::array.
  *
  * Example:
  *  // in C++14
  *  std::array<double, 2> result = filter_map<double, std::is_integral>([] (auto a) {return (double)a;}, 3, "bla", 4);
  *  // result == {3.0, 4.0}
  *
  *  // same example in C++11
  *  struct my_map {
  *    template<class T> constexpr double operator()(T a) {
  *      return (double)a;
  *    }
  *  };
  *  std::array<double, 2> result = filter_map<double, std::is_integral>(my_map(), 3, "bla", 4);
  *  // result == {3.0, 4.0}
  */
 namespace detail {

 template<class ResultType, size_t num_results> struct filter_map_ {
    template<template <class> class Condition, class Mapper, class... Args, size_t... I>
    static guts::array<ResultType, num_results> call(const Mapper& mapper, guts::index_sequence<I...>, Args&&... args) {
      return guts::array<ResultType, num_results> { mapper(extract_arg_by_filtered_index<Condition, I>(std::forward<Args>(args)...))... };
    }
 };
 template<class ResultType> struct filter_map_<ResultType, 0> {
   template<template <class> class Condition, class Mapper, class... Args, size_t... I>
   static guts::array<ResultType, 0> call(const Mapper& /*mapper*/, guts::index_sequence<I...>, Args&&... /*args*/) {
     return guts::array<ResultType, 0> { };
   }
 };
 }

 template<class ResultType, template <class> class Condition, class Mapper, class... Args> auto filter_map(const Mapper& mapper, Args&&... args)
 -> decltype(detail::filter_map_<ResultType, typelist::count_if<Condition, typelist::typelist<Args...>>::value>::template call<Condition, Mapper, Args...>(mapper, guts::make_index_sequence<typelist::count_if<Condition, typelist::typelist<Args...>>::value>(), std::forward<Args>(args)...)) {
   static_assert(is_type_condition<Condition>::value, "In filter_map<Result, Condition>, the Condition argument must be a condition type trait, i.e. have a static constexpr bool ::value member.");

   static constexpr size_t num_results = typelist::count_if<Condition, typelist::typelist<Args...>>::value;
   return detail::filter_map_<ResultType, num_results>::template call<Condition, Mapper, Args...>(mapper, guts::make_index_sequence<num_results>(), std::forward<Args>(args)...);
 }

 }}
	#pragma once

	#include <type_traits>
	#include <array>
	#include <functional>
	#include <c10/util/TypeList.h>
	#include <c10/util/Array.h>

	namespace c10 { namespace guts {
	namespace detail {
	/**
	* strip_class: helper to remove the class type from pointers to `operator()`.
	*/

	template <typename T>
	struct strip_class {};
	template <typename Class, typename Result, typename... Args>
	struct strip_class<Result (Class::*)(Args...)> {
	using type = Result(Args...);
	};
	template <typename Class, typename Result, typename... Args>
	struct strip_class<Result (Class::*)(Args...) const> {
	using type = Result(Args...);
	};
	template <typename T>
	using strip_class_t = typename strip_class<T>::type;
	} // namespace detail

	/**
	* Access information about result type or arguments from a function type.
	* Example:
	* using A = function_traits<int (float, double)>::return_type // A == int
	* using A = function_traits<int (float, double)>::parameter_types::tuple_type // A == tuple<float, double>
	*/
	template<class Func> struct function_traits {
	static_assert(!std::is_same<Func, Func>::value, "In function_traits<Func>, Func must be a plain function type.");
	};
	template<class Result, class... Args>
	struct function_traits<Result (Args...)> {
	using func_type = Result (Args...);
	using return_type = Result;
	using parameter_types = typelist::typelist<Args...>;
	static constexpr auto number_of_parameters = sizeof...(Args);
	};

	/**
	* infer_function_traits: creates a `function_traits` type for a simple
	* function (pointer) or functor (lambda/struct). Currently does not support
	* class methods.
	*/

	template <typename Functor>
	struct infer_function_traits {
	using type = function_traits<detail::strip_class_t<decltype(&Functor::operator())>>;
	};

	template <typename Result, typename... Args>
	struct infer_function_traits<Result (*)(Args...)> {
	using type = function_traits<Result(Args...)>;
	};

	template <typename T>
	using infer_function_traits_t = typename infer_function_traits<T>::type;

	/**
	* Use extract_arg_by_filtered_index to return the i-th argument whose
	* type fulfills a given type trait. The argument itself is perfectly forwarded.
	*
	* Example:
	* std::string arg1 = "Hello";
	* std::string arg2 = "World";
	* std::string&& result = extract_arg_by_filtered_index<is_string, 1>(0, arg1, 2.0, std::move(arg2));
	*
	* Warning: Taking the result by rvalue reference can cause segfaults because ownership will not be passed on
	* from the original reference. The original reference dies after the expression and the resulting
	*/
	namespace detail {
	template<template <class> class Condition, size_t index, class Enable, class... Args> struct extract_arg_by_filtered_index_;
	template<template <class> class Condition, size_t index, class Head, class... Tail>
	struct extract_arg_by_filtered_index_<Condition, index, guts::enable_if_t<!Condition<Head>::value>, Head, Tail...> {
	static auto call(Head&& /head/, Tail&&... tail)
	-> decltype(extract_arg_by_filtered_index_<Condition, index, void, Tail...>::call(std::forward<Tail>(tail)...)) {
	return extract_arg_by_filtered_index_<Condition, index, void, Tail...>::call(std::forward<Tail>(tail)...);
	}
	};
	template<template <class> class Condition, size_t index, class Head, class... Tail>
	struct extract_arg_by_filtered_index_<Condition, index, guts::enable_if_t<Condition<Head>::value && index != 0>, Head, Tail...> {
	static auto call(Head&& /head/, Tail&&... tail)
	-> decltype(extract_arg_by_filtered_index_<Condition, index-1, void, Tail...>::call(std::forward<Tail>(tail)...)) {
	return extract_arg_by_filtered_index_<Condition, index-1, void, Tail...>::call(std::forward<Tail>(tail)...);
	}
	};
	template<template <class> class Condition, size_t index>
	struct extract_arg_by_filtered_index_<Condition, index, void> {
	static void call() {
	static_assert(index != index, "extract_arg_by_filtered_index out of range.");
	}
	};
	template<template <class> class Condition, size_t index, class Head, class... Tail>
	struct extract_arg_by_filtered_index_<Condition, index, guts::enable_if_t<Condition<Head>::value && index == 0>, Head, Tail...> {
	static auto call(Head&& head, Tail&&... /tail/)
	-> decltype(std::forward<Head>(head)) {
	return std::forward<Head>(head);
	}
	};
	}
	template<template <class> class Condition, size_t index, class... Args>
	auto extract_arg_by_filtered_index(Args&&... args)
	-> decltype(detail::extract_arg_by_filtered_index_<Condition, index, void, Args...>::call(std::forward<Args>(args)...)) {
	static_assert(is_type_condition<Condition>::value, "In extract_arg_by_filtered_index, the Condition argument must be a condition type trait, i.e. have a static constexpr bool ::value member.");
	return detail::extract_arg_by_filtered_index_<Condition, index, void, Args...>::call(std::forward<Args>(args)...);
	}



	/**
	* Use filter_map to map a subset of the arguments to values.
	* The subset is defined by type traits, and will be evaluated at compile time.
	* At runtime, it will just loop over the pre-filtered arguments to create an std::array.
	*
	* Example:
	* // in C++14
	* std::array<double, 2> result = filter_map<double, std::is_integral>([] (auto a) {return (double)a;}, 3, "bla", 4);
	* // result == {3.0, 4.0}
	*
	* // same example in C++11
	* struct my_map {
	* template<class T> constexpr double operator()(T a) {
	* return (double)a;
	* }
	* };
	* std::array<double, 2> result = filter_map<double, std::is_integral>(my_map(), 3, "bla", 4);
	* // result == {3.0, 4.0}
	*/
	namespace detail {

	template<class ResultType, size_t num_results> struct filter_map_ {
	template<template <class> class Condition, class Mapper, class... Args, size_t... I>
	static guts::array<ResultType, num_results> call(const Mapper& mapper, guts::index_sequence<I...>, Args&&... args) {
	return guts::array<ResultType, num_results> { mapper(extract_arg_by_filtered_index<Condition, I>(std::forward<Args>(args)...))... };
	}
	};
	template<class ResultType> struct filter_map_<ResultType, 0> {
	template<template <class> class Condition, class Mapper, class... Args, size_t... I>
	static guts::array<ResultType, 0> call(const Mapper& /mapper/, guts::index_sequence<I...>, Args&&... /args/) {
	return guts::array<ResultType, 0> { };
	}
	};
	}

	template<class ResultType, template <class> class Condition, class Mapper, class... Args> auto filter_map(const Mapper& mapper, Args&&... args)
	-> decltype(detail::filter_map_<ResultType, typelist::count_if<Condition, typelist::typelist<Args...>>::value>::template call<Condition, Mapper, Args...>(mapper, guts::make_index_sequence<typelist::count_if<Condition, typelist::typelist<Args...>>::value>(), std::forward<Args>(args)...)) {
	static_assert(is_type_condition<Condition>::value, "In filter_map<Result, Condition>, the Condition argument must be a condition type trait, i.e. have a static constexpr bool ::value member.");

	static constexpr size_t num_results = typelist::count_if<Condition, typelist::typelist<Args...>>::value;
	return detail::filter_map_<ResultType, num_results>::template call<Condition, Mapper, Args...>(mapper, guts::make_index_sequence<num_results>(), std::forward<Args>(args)...);
	}

	}}