Gabriel B. has submitted this change. ( https://gem5-review.googlesource.com/c/public/gem5/+/67652?usp=email ) Change subject: base: Create a gem5 type_traits.hh header ...................................................................... base: Create a gem5 type_traits.hh header That header currently contains type traits that derive the class, the return type and the arguments of a member function from a pointer to that member function. Change-Id: I41dd41056f507016219d6111d25c8cb4c2ad3439 Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/67652 Reviewed-by: Daniel Carvalho <odanrc@yahoo.com.br> Maintainer: Daniel Carvalho <odanrc@yahoo.com.br> Tested-by: kokoro <noreply+kokoro@google.com> --- A src/base/type_traits.hh 1 file changed, 97 insertions(+), 0 deletions(-) Approvals: Daniel Carvalho: Looks good to me, approved; Looks good to me, approved kokoro: Regressions pass diff --git a/src/base/type_traits.hh b/src/base/type_traits.hh new file mode 100644 index 0000000..1fec93d --- /dev/null +++ b/src/base/type_traits.hh @@ -0,0 +1,97 @@ +/* + * Copyright (c) 2022 Arteris, Inc. and its applicable licensors and + * affiliates. + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are + * met: redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer; + * redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution; + * neither the name of the copyright holders nor the names of its + * contributors may be used to endorse or promote products derived from + * this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +#ifndef __BASE_TYPETRAITS_HH__ +#define __BASE_TYPETRAITS_HH__ + +#include <tuple> +#include <type_traits> + +namespace gem5 +{ + +/* + * Type traits that enable inspecting the signature of a member function based + * on a pointer to that function. Specifically, these type traits provide a + * class_t, a return_t and a argsTuple_t alias that correspond respectively to + * the class that the function is a member of, the return type of the member + * function and the list of parameters types packed in a tuple. Convenience + * Convenience template aliases are also provided. + * + * Example, assuming "struct Struct {void foo(int, bool);};": + * - MemberFunctionClass_t<&Struct::foo> is Struct. + * - MemberFunctionReturn_t<&Struct::foo> is void. + * - MemberFunctionArgsTuple_t<&Struct::foo> is std::tuple<int, bool>. + */ + +template<typename F> +struct MemberFunctionSignature; +template<typename C, typename R, class... A> +struct MemberFunctionSignature<R(C::*)(A...)> +{ + using class_t = C; + using return_t = R; + using argsTuple_t = std::tuple<A...>; +}; +template<typename C, typename R, class... A> +struct MemberFunctionSignature<R(C::*)(A...) const> +{ + using class_t = std::add_const_t<C>; + using return_t = R; + using argsTuple_t = std::tuple<A...>; +}; +template<typename C, typename R, class... A> +struct MemberFunctionSignature<R(C::*)(A...) volatile> +{ + using class_t = std::add_volatile_t<C>; + using return_t = R; + using argsTuple_t = std::tuple<A...>; +}; +template<typename C, typename R, class... A> +struct MemberFunctionSignature<R(C::*)(A...) const volatile> +{ + using class_t = std::add_cv_t<C>; + using return_t = R; + using argsTuple_t = std::tuple<A...>; +}; +template<auto F> +using MemberFunctionClass_t = + typename MemberFunctionSignature<decltype(F)>::class_t; + +template<auto F> +using MemberFunctionReturn_t = + typename MemberFunctionSignature<decltype(F)>::return_t; + +template<auto F> +using MemberFunctionArgsTuple_t = + typename MemberFunctionSignature<decltype(F)>::argsTuple_t; + +} // namespace gem5 + +#endif // __BASE_TYPETRAITS_HH__ -- To view, visit https://gem5-review.googlesource.com/c/public/gem5/+/67652?usp=email To unsubscribe, or for help writing mail filters, visit https://gem5-review.googlesource.com/settings Gerrit-Project: public/gem5 Gerrit-Branch: develop Gerrit-Change-Id: I41dd41056f507016219d6111d25c8cb4c2ad3439 Gerrit-Change-Number: 67652 Gerrit-PatchSet: 4 Gerrit-Owner: Gabriel B. <gabriel.busnot@arteris.com> Gerrit-Reviewer: Bobby Bruce <bbruce@ucdavis.edu> Gerrit-Reviewer: Daniel Carvalho <odanrc@yahoo.com.br> Gerrit-Reviewer: Gabriel B. <gabriel.busnot@arteris.com> Gerrit-Reviewer: kokoro <noreply+kokoro@google.com> Gerrit-CC: Jason Lowe-Power <power.jg@gmail.com> Gerrit-MessageType: merged