Я пишу некоторый код для проверки того, что сигнатура свободной функции равна сигнатуре функции-члена и т. Д. Она сравнивает извлеченный тип возвращаемого значения и аргументы функции:
#include <tuple>
#include <type_traits>
template<class Signature>
struct signature_trait;
template<class R, class... Args>
struct signature_trait<R(Args...)>
{
using return_type = R;
using arg_types = std::tuple<Args...>;
};
template<class R, class... Args>
struct signature_trait<R(*)(Args...)>
{
using return_type = R;
using arg_types = std::tuple<Args...>;
};
template<class R, class U, class... Args>
struct signature_trait<R(U::*)(Args...)>
{
using return_type = R;
using arg_types = std::tuple<Args...>;
};
template<class Signature>
using signature_trait_r = typename signature_trait<Signature>::return_type;
template<class Signature>
using signature_trait_a = typename signature_trait<Signature>::arg_types;
template<class Signature1, class Signature2>
using is_same_signature =
std::conjunction<
std::is_same<signature_trait_r<Signature1>, signature_trait_r<Signature2>>,
std::is_same<signature_trait_a<Signature1>, signature_trait_a<Signature2>>
>;
template<class Signature1, class Signature2>
inline constexpr bool is_same_signature_v =
is_same_signature<Signature1, Signature2>::value;
struct Foo
{
void bar(int, int){}
};
void bar(int, int){}
int main()
{
static_assert(is_same_signature_v<decltype(&bar), decltype(&Foo::bar)>, "");
static_assert(is_same_signature_v<decltype(&bar), void(int, int)>, "");
static_assert(is_same_signature_v<decltype(&Foo::bar), void(int, int)>, "");
static_assert(is_same_signature_v<decltype(&Foo::bar), void(Foo::*)(int, int)>, "");
}
Работает нормально, но можно ли упростить? А может быть есть случаи, когда это решение не будет работать?
Для простоты: нет причин отделять return_type
а также arg_types
: вы можете присоединиться к ним в одном std::tuple
с return_type
в первой позиции.
#include <tuple>
#include <type_traits>
template<class Signature>
struct signature_trait;
template<class R, class... Args>
struct signature_trait<R(Args...)>
{ using type = std::tuple<R, Args...>; };
template<class R, class... Args>
struct signature_trait<R(*)(Args...)>
{ using type = std::tuple<R, Args...>; };
template<class R, class U, class... Args>
struct signature_trait<R(U::*)(Args...)>
{ using type = std::tuple<R, Args...>; };
template<class Signature>
using signature_trait_t = typename signature_trait<Signature>::type;
template<class Signature1, class Signature2>
using is_same_signature = std::is_same<signature_trait_t<Signature1>,
signature_trait_t<Signature2>>;
template<class Signature1, class Signature2>
inline constexpr bool is_same_signature_v =
is_same_signature<Signature1, Signature2>::value;
struct Foo
{ void bar (int, int) {} };
void bar (int, int) {}
int main ()
{
static_assert(is_same_signature_v<decltype(&bar), decltype(&Foo::bar)>, "");
static_assert(is_same_signature_v<decltype(&bar), void(int, int)>, "");
static_assert(is_same_signature_v<decltype(&Foo::bar), void(int, int)>, "");
static_assert(is_same_signature_v<decltype(&Foo::bar), void(Foo::*)(int, int)>, "");
}
Других решений пока нет …