Proszę o sztuczkę szablonową, aby wykryć, czy klasa ma określoną funkcję członkowską danego podpisu.
Problem jest podobny do tego cytowanego tutaj http://www.gotw.ca/gotw/071.htm, ale nie ten sam: w pozycji książki Suttera odpowiedział na pytanie, że klasa C MUSI ZAPEWNIĆ funkcję składową z konkretny podpis, w przeciwnym razie program się nie skompiluje. W moim problemie muszę coś zrobić, jeśli klasa ma taką funkcję, inaczej zrobić „coś innego”.
Podobny problem napotkał boost :: serialization, ale nie podoba mi się przyjęte przez nich rozwiązanie: funkcja szablonu, która domyślnie wywołuje funkcję swobodną (którą musisz zdefiniować) z określonym podpisem, chyba że zdefiniujesz określoną funkcję składową ( w ich przypadku "serialize", który przyjmuje 2 parametry danego typu) z określonym podpisem, w przeciwnym razie wystąpi błąd kompilacji. Oznacza to implementację serializacji natrętnej i nieinwazyjnej.
Nie podoba mi się to rozwiązanie z dwóch powodów:
- Aby nie przeszkadzać, musisz przesłonić globalną funkcję „serialize”, która znajduje się w przestrzeni nazw boost :: serialization, więc masz KOD KLIENTA do otwierania przyspieszenia przestrzeni nazw i serializacji przestrzeni nazw!
- Stos do rozwiązania tego bałaganu wynosił od 10 do 12 wywołań funkcji.
Muszę zdefiniować niestandardowe zachowanie dla klas, które nie mają tej funkcji członkowskiej, a moje jednostki znajdują się w różnych przestrzeniach nazw (i nie chcę zastępować funkcji globalnej zdefiniowanej w jednej przestrzeni nazw, gdy jestem w innej)
Czy możesz mi podpowiedzieć, jak rozwiązać tę zagadkę?
Odpowiedzi:
Nie jestem pewien, czy dobrze cię rozumiem, ale możesz wykorzystać SFINAE do wykrywania obecności funkcji w czasie kompilacji. Przykład z mojego kodu (sprawdza, czy klasa ma funkcję składową size_t used_memory () const).
template<typename T> struct HasUsedMemoryMethod { template<typename U, size_t (U::*)() const> struct SFINAE {}; template<typename U> static char Test(SFINAE<U, &U::used_memory>*); template<typename U> static int Test(...); static const bool Has = sizeof(Test<T>(0)) == sizeof(char); }; template<typename TMap> void ReportMemUsage(const TMap& m, std::true_type) { // We may call used_memory() on m here. } template<typename TMap> void ReportMemUsage(const TMap&, std::false_type) { } template<typename TMap> void ReportMemUsage(const TMap& m) { ReportMemUsage(m, std::integral_constant<bool, HasUsedMemoryMethod<TMap>::Has>()); }
źródło
size_t(std::vector::*p)() = &std::vector::size;
.Oto możliwa implementacja oparta na funkcjach C ++ 11. Prawidłowo wykrywa funkcję, nawet jeśli jest dziedziczona (w przeciwieństwie do rozwiązania w zaakceptowanej odpowiedzi, jak zauważa Mike Kinghan w swojej odpowiedzi ).
Funkcja, dla której testowany jest ten fragment kodu, nazywa się
serialize
:#include <type_traits> // Primary template with a static assertion // for a meaningful error message // if it ever gets instantiated. // We could leave it undefined if we didn't care. template<typename, typename T> struct has_serialize { static_assert( std::integral_constant<T, false>::value, "Second template parameter needs to be of function type."); }; // specialization that does the checking template<typename C, typename Ret, typename... Args> struct has_serialize<C, Ret(Args...)> { private: template<typename T> static constexpr auto check(T*) -> typename std::is_same< decltype( std::declval<T>().serialize( std::declval<Args>()... ) ), Ret // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ >::type; // attempt to call it and see if the return type is correct template<typename> static constexpr std::false_type check(...); typedef decltype(check<C>(0)) type; public: static constexpr bool value = type::value; };
Stosowanie:
struct X { int serialize(const std::string&) { return 42; } }; struct Y : X {}; std::cout << has_serialize<Y, int(const std::string&)>::value; // will print 1
źródło
serialize
sam zaakceptuje szablon. Czy istnieje sposób na sprawdzenieserialize
istnienia bez wpisywania dokładnego typu?Przyjęta odpowiedź na to pytanie o introspekcję funkcji składowych w czasie kompilacji, chociaż jest słusznie popularna, ma pewien problem, który można zaobserwować w następującym programie:
#include <type_traits> #include <iostream> #include <memory> /* Here we apply the accepted answer's technique to probe for the the existence of `E T::operator*() const` */ template<typename T, typename E> struct has_const_reference_op { template<typename U, E (U::*)() const> struct SFINAE {}; template<typename U> static char Test(SFINAE<U, &U::operator*>*); template<typename U> static int Test(...); static const bool value = sizeof(Test<T>(0)) == sizeof(char); }; using namespace std; /* Here we test the `std::` smart pointer templates, including the deprecated `auto_ptr<T>`, to determine in each case whether T = (the template instantiated for `int`) provides `int & T::operator*() const` - which all of them in fact do. */ int main(void) { cout << has_const_reference_op<auto_ptr<int>,int &>::value; cout << has_const_reference_op<unique_ptr<int>,int &>::value; cout << has_const_reference_op<shared_ptr<int>,int &>::value << endl; return 0; }
Zbudowany z GCC 4.6.3, wyjść programowych
110
- informując nas, żeT = std::shared_ptr<int>
ma nie zapewniająint & T::operator*() const
.Jeśli nie jesteś jeszcze mądry w tej kwestii, to spojrzenie na definicję
std::shared_ptr<T>
w nagłówku<memory>
rzuci światło. W tej implementacjistd::shared_ptr<T>
pochodzi z klasy bazowej, z której dziedziczyoperator*() const
. Zatem instancja szablonu,SFINAE<U, &U::operator*>
która polega na „znalezieniu” operatora dlaU = std::shared_ptr<T>
, nie nastąpi, ponieważstd::shared_ptr<T>
maoperator*()
własne prawo, a instancja szablonu nie „dziedziczy”.Ten szkopuł nie wpływa na dobrze znane podejście SFINAE, wykorzystujące "Sztukę sizeof ()", do wykrywania jedynie, czy
T
ma jakąś funkcję składowąmf
(patrz np. Ta odpowiedź i komentarze). Ale ustalenie, żeT::mf
istnieje, często (zwykle?) Nie jest wystarczające: może być również konieczne ustalenie, czy ma on pożądany podpis. To jest miejsce, w którym zilustrowana technika zdobywa punkty. Wskazany wariant żądanego podpisu jest wpisany w parametr typu szablonu, który musi zostać spełniony,&T::mf
aby sonda SFINAE zakończyła się powodzeniem. Ale ta technika tworzenia wystąpienia szablonu daje błędną odpowiedź, gdyT::mf
jest dziedziczona.Bezpieczna technika SFINAE do introspekcji w czasie kompilacji
T::mf
musi unikać stosowania&T::mf
argumentu szablonu w celu utworzenia instancji typu, od którego zależy rozdzielczość szablonu funkcji SFINAE. Zamiast tego rozdzielczość funkcji szablonu SFINAE może zależeć tylko od dokładnie odpowiednich deklaracji typu używanych jako typy argumentów przeciążonej funkcji sondy SFINAE.Odpowiadając na pytanie, które podlega temu ograniczeniu, zilustruję dla wykrywania w czasie kompilacji
E T::operator*() const
, arbitralnychT
iE
. Ten sam wzorzec będzie stosowany mutatis mutandis do sondowania dla dowolnej innej sygnatury metody składowej.#include <type_traits> /*! The template `has_const_reference_op<T,E>` exports a boolean constant `value that is true iff `T` provides `E T::operator*() const` */ template< typename T, typename E> struct has_const_reference_op { /* SFINAE operator-has-correct-sig :) */ template<typename A> static std::true_type test(E (A::*)() const) { return std::true_type(); } /* SFINAE operator-exists :) */ template <typename A> static decltype(test(&A::operator*)) test(decltype(&A::operator*),void *) { /* Operator exists. What about sig? */ typedef decltype(test(&A::operator*)) return_type; return return_type(); } /* SFINAE game over :( */ template<typename A> static std::false_type test(...) { return std::false_type(); } /* This will be either `std::true_type` or `std::false_type` */ typedef decltype(test<T>(0,0)) type; static const bool value = type::value; /* Which is it? */ };
W tym rozwiązaniu przeciążona funkcja sondy SFINAE
test()
jest „wywoływana rekurencyjnie”. (Oczywiście w rzeczywistości nie jest w ogóle wywoływana; ma jedynie zwracane typy hipotetycznych wywołań rozwiązanych przez kompilator).Musimy zbadać co najmniej jeden, a co najwyżej dwa punkty informacji:
T::operator*()
w ogóle istnieje? Jeśli nie, to koniec.T::operator*()
istnieje, czy jego podpisE T::operator*() const
?Odpowiedzi uzyskujemy, oceniając typ zwracania pojedynczego wywołania
test(0,0)
. Robi się to przez:typedef decltype(test<T>(0,0)) type;
To wywołanie może zostać rozwiązane jako
/* SFINAE operator-exists :) */
przeciążenietest()
lub może zostać rozwiązane jako/* SFINAE game over :( */
przeciążenie. Nie może rozwiązać problemu z/* SFINAE operator-has-correct-sig :) */
przeciążeniem, ponieważ ten oczekuje tylko jednego argumentu, a my przekazujemy dwa.Dlaczego mijamy dwóch? Wystarczy wymusić wyłączenie w rezolucji
/* SFINAE operator-has-correct-sig :) */
. Drugi argument nie ma innego znaczenia.To wywołanie
test(0,0)
zostanie rozwiązane na/* SFINAE operator-exists :) */
wypadek, gdyby pierwszy argument 0 spełniał pierwszy typ parametru tego przeciążenia, czylidecltype(&A::operator*)
withA = T
. 0 spełni ten typ na wszelki wypadekT::operator*
.Załóżmy, że kompilator powie na to tak. Potem idzie dalej
/* SFINAE operator-exists :) */
i musi określić typ zwracania wywołania funkcji, którym w tym przypadku jestdecltype(test(&A::operator*))
- typ zwracania jeszcze jednego wywołania funkcjitest()
.Tym razem mijamy tylko jeden argument, o
&A::operator*
którym teraz wiemy, że istnieje lub nie byłoby nas tutaj. Wezwanie dotest(&A::operator*)
może rozwiązać się/* SFINAE operator-has-correct-sig :) */
albo ponownie, albo ponownie, może rozwiązać się/* SFINAE game over :( */
. Wywołanie będzie pasować/* SFINAE operator-has-correct-sig :) */
tylko w przypadku, gdy&A::operator*
spełnia pojedynczy typ parametru tego przeciążenia, czyliE (A::*)() const
withA = T
.Kompilator powie tutaj tak, jeśli
T::operator*
ma żądany podpis, a następnie ponownie musi ocenić zwracany typ przeciążenia. Koniec z „rekurencjami” teraz: takstd::true_type
.Jeśli kompilator nie wybierze
/* SFINAE operator-exists :) */
dla wywołaniatest(0,0)
lub nie wybierze/* SFINAE operator-has-correct-sig :) */
dla wywołaniatest(&A::operator*)
, to w każdym przypadku idzie z,/* SFINAE game over :( */
a ostatecznym typem zwracanym jeststd::false_type
.Oto program testowy, który pokazuje szablon generujący oczekiwane odpowiedzi w różnych próbkach przypadków (ponownie GCC 4.6.3).
// To test struct empty{}; // To test struct int_ref { int & operator*() const { return *_pint; } int & foo() const { return *_pint; } int * _pint; }; // To test struct sub_int_ref : int_ref{}; // To test template<typename E> struct ee_ref { E & operator*() { return *_pe; } E & foo() const { return *_pe; } E * _pe; }; // To test struct sub_ee_ref : ee_ref<char>{}; using namespace std; #include <iostream> #include <memory> #include <vector> int main(void) { cout << "Expect Yes" << endl; cout << has_const_reference_op<auto_ptr<int>,int &>::value; cout << has_const_reference_op<unique_ptr<int>,int &>::value; cout << has_const_reference_op<shared_ptr<int>,int &>::value; cout << has_const_reference_op<std::vector<int>::iterator,int &>::value; cout << has_const_reference_op<std::vector<int>::const_iterator, int const &>::value; cout << has_const_reference_op<int_ref,int &>::value; cout << has_const_reference_op<sub_int_ref,int &>::value << endl; cout << "Expect No" << endl; cout << has_const_reference_op<int *,int &>::value; cout << has_const_reference_op<unique_ptr<int>,char &>::value; cout << has_const_reference_op<unique_ptr<int>,int const &>::value; cout << has_const_reference_op<unique_ptr<int>,int>::value; cout << has_const_reference_op<unique_ptr<long>,int &>::value; cout << has_const_reference_op<int,int>::value; cout << has_const_reference_op<std::vector<int>,int &>::value; cout << has_const_reference_op<ee_ref<int>,int &>::value; cout << has_const_reference_op<sub_ee_ref,int &>::value; cout << has_const_reference_op<empty,int &>::value << endl; return 0; }
Czy są jakieś nowe błędy w tym pomyśle? Czy można uczynić go bardziej ogólnym bez ponownego wpadania w zaczep, którego unika?
źródło
Oto kilka fragmentów użycia: * Wnętrzności tego wszystkiego znajdują się dalej
Sprawdź, czy jest członek
x
danej klasy. Może to być var, func, class, union lub enum:CREATE_MEMBER_CHECK(x); bool has_x = has_member_x<class_to_check_for_x>::value;
Sprawdź funkcję członka
void x()
://Func signature MUST have T as template variable here... simpler this way :\ CREATE_MEMBER_FUNC_SIG_CHECK(x, void (T::*)(), void__x); bool has_func_sig_void__x = has_member_func_void__x<class_to_check_for_x>::value;
Sprawdź zmienną składową
x
:CREATE_MEMBER_VAR_CHECK(x); bool has_var_x = has_member_var_x<class_to_check_for_x>::value;
Sprawdź klasę członkowską
x
:CREATE_MEMBER_CLASS_CHECK(x); bool has_class_x = has_member_class_x<class_to_check_for_x>::value;
Sprawdź związek członkowski
x
:CREATE_MEMBER_UNION_CHECK(x); bool has_union_x = has_member_union_x<class_to_check_for_x>::value;
Sprawdź wyliczenie członków
x
:CREATE_MEMBER_ENUM_CHECK(x); bool has_enum_x = has_member_enum_x<class_to_check_for_x>::value;
Sprawdź, czy istnieje funkcja członkowska
x
niezależnie od podpisu:CREATE_MEMBER_CHECK(x); CREATE_MEMBER_VAR_CHECK(x); CREATE_MEMBER_CLASS_CHECK(x); CREATE_MEMBER_UNION_CHECK(x); CREATE_MEMBER_ENUM_CHECK(x); CREATE_MEMBER_FUNC_CHECK(x); bool has_any_func_x = has_member_func_x<class_to_check_for_x>::value;
LUB
CREATE_MEMBER_CHECKS(x); //Just stamps out the same macro calls as above. bool has_any_func_x = has_member_func_x<class_to_check_for_x>::value;
Szczegóły i rdzeń:
/* - Multiple inheritance forces ambiguity of member names. - SFINAE is used to make aliases to member names. - Expression SFINAE is used in just one generic has_member that can accept any alias we pass it. */ //Variadic to force ambiguity of class members. C++11 and up. template <typename... Args> struct ambiguate : public Args... {}; //Non-variadic version of the line above. //template <typename A, typename B> struct ambiguate : public A, public B {}; template<typename A, typename = void> struct got_type : std::false_type {}; template<typename A> struct got_type<A> : std::true_type { typedef A type; }; template<typename T, T> struct sig_check : std::true_type {}; template<typename Alias, typename AmbiguitySeed> struct has_member { template<typename C> static char ((&f(decltype(&C::value))))[1]; template<typename C> static char ((&f(...)))[2]; //Make sure the member name is consistently spelled the same. static_assert( (sizeof(f<AmbiguitySeed>(0)) == 1) , "Member name specified in AmbiguitySeed is different from member name specified in Alias, or wrong Alias/AmbiguitySeed has been specified." ); static bool const value = sizeof(f<Alias>(0)) == 2; };
Makra (El Diablo!):
CREATE_MEMBER_CHECK:
//Check for any member with given name, whether var, func, class, union, enum. #define CREATE_MEMBER_CHECK(member) \ \ template<typename T, typename = std::true_type> \ struct Alias_##member; \ \ template<typename T> \ struct Alias_##member < \ T, std::integral_constant<bool, got_type<decltype(&T::member)>::value> \ > { static const decltype(&T::member) value; }; \ \ struct AmbiguitySeed_##member { char member; }; \ \ template<typename T> \ struct has_member_##member { \ static const bool value \ = has_member< \ Alias_##member<ambiguate<T, AmbiguitySeed_##member>> \ , Alias_##member<AmbiguitySeed_##member> \ >::value \ ; \ }
CREATE_MEMBER_VAR_CHECK:
//Check for member variable with given name. #define CREATE_MEMBER_VAR_CHECK(var_name) \ \ template<typename T, typename = std::true_type> \ struct has_member_var_##var_name : std::false_type {}; \ \ template<typename T> \ struct has_member_var_##var_name< \ T \ , std::integral_constant< \ bool \ , !std::is_member_function_pointer<decltype(&T::var_name)>::value \ > \ > : std::true_type {}
CREATE_MEMBER_FUNC_SIG_CHECK:
//Check for member function with given name AND signature. #define CREATE_MEMBER_FUNC_SIG_CHECK(func_name, func_sig, templ_postfix) \ \ template<typename T, typename = std::true_type> \ struct has_member_func_##templ_postfix : std::false_type {}; \ \ template<typename T> \ struct has_member_func_##templ_postfix< \ T, std::integral_constant< \ bool \ , sig_check<func_sig, &T::func_name>::value \ > \ > : std::true_type {}
CREATE_MEMBER_CLASS_CHECK:
//Check for member class with given name. #define CREATE_MEMBER_CLASS_CHECK(class_name) \ \ template<typename T, typename = std::true_type> \ struct has_member_class_##class_name : std::false_type {}; \ \ template<typename T> \ struct has_member_class_##class_name< \ T \ , std::integral_constant< \ bool \ , std::is_class< \ typename got_type<typename T::class_name>::type \ >::value \ > \ > : std::true_type {}
CREATE_MEMBER_UNION_CHECK:
//Check for member union with given name. #define CREATE_MEMBER_UNION_CHECK(union_name) \ \ template<typename T, typename = std::true_type> \ struct has_member_union_##union_name : std::false_type {}; \ \ template<typename T> \ struct has_member_union_##union_name< \ T \ , std::integral_constant< \ bool \ , std::is_union< \ typename got_type<typename T::union_name>::type \ >::value \ > \ > : std::true_type {}
CREATE_MEMBER_ENUM_CHECK:
//Check for member enum with given name. #define CREATE_MEMBER_ENUM_CHECK(enum_name) \ \ template<typename T, typename = std::true_type> \ struct has_member_enum_##enum_name : std::false_type {}; \ \ template<typename T> \ struct has_member_enum_##enum_name< \ T \ , std::integral_constant< \ bool \ , std::is_enum< \ typename got_type<typename T::enum_name>::type \ >::value \ > \ > : std::true_type {}
CREATE_MEMBER_FUNC_CHECK:
//Check for function with given name, any signature. #define CREATE_MEMBER_FUNC_CHECK(func) \ template<typename T> \ struct has_member_func_##func { \ static const bool value \ = has_member_##func<T>::value \ && !has_member_var_##func<T>::value \ && !has_member_class_##func<T>::value \ && !has_member_union_##func<T>::value \ && !has_member_enum_##func<T>::value \ ; \ }
CREATE_MEMBER_CHECKS:
//Create all the checks for one member. Does NOT include func sig checks. #define CREATE_MEMBER_CHECKS(member) \ CREATE_MEMBER_CHECK(member); \ CREATE_MEMBER_VAR_CHECK(member); \ CREATE_MEMBER_CLASS_CHECK(member); \ CREATE_MEMBER_UNION_CHECK(member); \ CREATE_MEMBER_ENUM_CHECK(member); \ CREATE_MEMBER_FUNC_CHECK(member)
źródło
Powinno to wystarczyć, jeśli znasz nazwę oczekiwanej funkcji składowej. (W tym przypadku wystąpienie funkcji bla nie powiedzie się, jeśli nie ma funkcji składowej (napisanie takiej, która i tak działa, jest trudne, ponieważ brakuje częściowej specjalizacji funkcji. Może być konieczne użycie szablonów klas). Ponadto struktura enable (która jest podobny do enable_if) może również zostać utworzony na podstawie typu funkcji, którą ma mieć jako element członkowski.
template <typename T, int (T::*) ()> struct enable { typedef T type; }; template <typename T> typename enable<T, &T::i>::type bla (T&); struct A { void i(); }; struct B { int i(); }; int main() { A a; B b; bla(b); bla(a); }
źródło
Oto prostsze podejście do odpowiedzi Mike'a Kinghana. To wykryje metody dziedziczone. Sprawdza również dokładny podpis (w przeciwieństwie do podejścia jroka, które umożliwia konwersję argumentów).
template <class C> class HasGreetMethod { template <class T> static std::true_type testSignature(void (T::*)(const char*) const); template <class T> static decltype(testSignature(&T::greet)) test(std::nullptr_t); template <class T> static std::false_type test(...); public: using type = decltype(test<C>(nullptr)); static const bool value = type::value; }; struct A { void greet(const char* name) const; }; struct Derived : A { }; static_assert(HasGreetMethod<Derived>::value, "");
Wykonalny przykład
źródło
using
do przenoszenia przeciążeń z klasy bazowej. Działa dla mnie na MSVC 2015 i Clang-CL. Jednak nie działa z MSVC 2012.Możesz użyć std :: is_member_function_pointer
class A { public: void foo() {}; } bool test = std::is_member_function_pointer<decltype(&A::foo)>::value;
źródło
&A::foo
być błąd kompilacji, jeśli nie mafoo
w ogóleA
? Przeczytałem pierwotne pytanie jako mające działać z dowolną klasą wejściową, a nie tylko z tymi, które mają nazwanego członkafoo
.A
.Sam miałem ten sam problem i stwierdziłem, że proponowane tutaj rozwiązania są bardzo interesujące ... ale wymagałem rozwiązania, które:
Znalazłem inny wątek proponujący coś takiego na podstawie dyskusji BOOST . Oto uogólnienie proponowanego rozwiązania jako deklaracji dwóch makr dla klasy cech, zgodnie z modelem klas boost :: has_ * .
#include <boost/type_traits/is_class.hpp> #include <boost/mpl/vector.hpp> /// Has constant function /** \param func_ret_type Function return type \param func_name Function name \param ... Variadic arguments are for the function parameters */ #define DECLARE_TRAITS_HAS_FUNC_C(func_ret_type, func_name, ...) \ __DECLARE_TRAITS_HAS_FUNC(1, func_ret_type, func_name, ##__VA_ARGS__) /// Has non-const function /** \param func_ret_type Function return type \param func_name Function name \param ... Variadic arguments are for the function parameters */ #define DECLARE_TRAITS_HAS_FUNC(func_ret_type, func_name, ...) \ __DECLARE_TRAITS_HAS_FUNC(0, func_ret_type, func_name, ##__VA_ARGS__) // Traits content #define __DECLARE_TRAITS_HAS_FUNC(func_const, func_ret_type, func_name, ...) \ template \ < typename Type, \ bool is_class = boost::is_class<Type>::value \ > \ class has_func_ ## func_name; \ template<typename Type> \ class has_func_ ## func_name<Type,false> \ {public: \ BOOST_STATIC_CONSTANT( bool, value = false ); \ typedef boost::false_type type; \ }; \ template<typename Type> \ class has_func_ ## func_name<Type,true> \ { struct yes { char _foo; }; \ struct no { yes _foo[2]; }; \ struct Fallback \ { func_ret_type func_name( __VA_ARGS__ ) \ UTILITY_OPTIONAL(func_const,const) {} \ }; \ struct Derived : public Type, public Fallback {}; \ template <typename T, T t> class Helper{}; \ template <typename U> \ static no deduce(U*, Helper \ < func_ret_type (Fallback::*)( __VA_ARGS__ ) \ UTILITY_OPTIONAL(func_const,const), \ &U::func_name \ >* = 0 \ ); \ static yes deduce(...); \ public: \ BOOST_STATIC_CONSTANT( \ bool, \ value = sizeof(yes) \ == sizeof( deduce( static_cast<Derived*>(0) ) ) \ ); \ typedef ::boost::integral_constant<bool,value> type; \ BOOST_STATIC_CONSTANT(bool, is_const = func_const); \ typedef func_ret_type return_type; \ typedef ::boost::mpl::vector< __VA_ARGS__ > args_type; \ } // Utility functions #define UTILITY_OPTIONAL(condition, ...) UTILITY_INDIRECT_CALL( __UTILITY_OPTIONAL_ ## condition , ##__VA_ARGS__ ) #define UTILITY_INDIRECT_CALL(macro, ...) macro ( __VA_ARGS__ ) #define __UTILITY_OPTIONAL_0(...) #define __UTILITY_OPTIONAL_1(...) __VA_ARGS__
Te makra rozwijają się do klasy cech z następującym prototypem:
template<class T> class has_func_[func_name] { public: /// Function definition result value /** Tells if the tested function is defined for type T or not. */ static const bool value = true | false; /// Function definition result type /** Type representing the value attribute usable in http://www.boost.org/doc/libs/1_53_0/libs/utility/enable_if.html */ typedef boost::integral_constant<bool,value> type; /// Tested function constness indicator /** Indicates if the tested function is const or not. This value is not deduced, it is forced depending on the user call to one of the traits generators. */ static const bool is_const = true | false; /// Tested function return type /** Indicates the return type of the tested function. This value is not deduced, it is forced depending on the user's arguments to the traits generators. */ typedef func_ret_type return_type; /// Tested function arguments types /** Indicates the arguments types of the tested function. This value is not deduced, it is forced depending on the user's arguments to the traits generators. */ typedef ::boost::mpl::vector< __VA_ARGS__ > args_type; };
Więc jakie jest typowe użycie, które można z tego zrobić?
// We enclose the traits class into // a namespace to avoid collisions namespace ns_0 { // Next line will declare the traits class // to detect the member function void foo(int,int) const DECLARE_TRAITS_HAS_FUNC_C(void, foo, int, int); } // we can use BOOST to help in using the traits #include <boost/utility/enable_if.hpp> // Here is a function that is active for types // declaring the good member function template<typename T> inline typename boost::enable_if< ns_0::has_func_foo<T> >::type foo_bar(const T &_this_, int a=0, int b=1) { _this_.foo(a,b); } // Here is a function that is active for types // NOT declaring the good member function template<typename T> inline typename boost::disable_if< ns_0::has_func_foo<T> >::type foo_bar(const T &_this_, int a=0, int b=1) { default_foo(_this_,a,b); } // Let us declare test types struct empty { }; struct direct_foo { void foo(int,int); }; struct direct_const_foo { void foo(int,int) const; }; struct inherited_const_foo : public direct_const_foo { }; // Now anywhere in your code you can seamlessly use // the foo_bar function on any object: void test() { int a; foo_bar(a); // calls default_foo empty b; foo_bar(b); // calls default_foo direct_foo c; foo_bar(c); // calls default_foo (member function is not const) direct_const_foo d; foo_bar(d); // calls d.foo (member function is const) inherited_const_foo e; foo_bar(e); // calls e.foo (inherited member function) }
źródło
Aby to osiągnąć, będziemy musieli użyć:
type_traits
nagłówku, będziemy chcieli zwrócićtrue_type
lubfalse_type
z naszych przeciążeńtrue_type
przeciążenie oczekująceint
ifalse_type
przeciążenie oczekujące wykorzystania parametrów Variadic: „Najniższy priorytet konwersji wielokropka w rozpoznawaniu przeciążenia”true_type
funkcji, której będziemy używaćdeclval
idecltype
pozwalając nam wykryć funkcję niezależnie od różnic w typach zwracanych lub przeciążeń między metodamiMożesz zobaczyć przykład na żywo tutaj .Ale wyjaśnię to również poniżej:
Chcę sprawdzić, czy istnieje funkcja o nazwie,
test
która pobiera konwertowalny typint
, wtedy musiałbym zadeklarować te dwie funkcje:template <typename T, typename S = decltype(declval<T>().test(declval<int>))> static true_type hasTest(int); template <typename T> static false_type hasTest(...);
decltype(hasTest<a>(0))::value
jesttrue
(Uwaga, nie ma potrzeby tworzenia specjalnej funkcjonalności, aby poradzić sobie zvoid a::test()
przeciążeniem,void a::test(int)
jest akceptowana)decltype(hasTest<b>(0))::value
jesttrue
(ponieważint
można konwertować nadouble
int b::test(double)
jest akceptowane, niezależnie od typu zwracanego)decltype(hasTest<c>(0))::value
jestfalse
(c
nie ma metody o nazwie,test
która akceptuje typ konwertowany zint
tego powodu, nie jest to akceptowane)To rozwiązanie ma 2 wady:
test()
metodę?Dlatego ważne jest, aby te funkcje były zadeklarowane w przestrzeni nazw szczegółów lub idealnie, jeśli mają być używane tylko z klasą, powinny być deklarowane prywatnie przez tę klasę. W tym celu napisałem makro, które pomoże ci wyodrębnić te informacje:
#define FOO(FUNCTION, DEFINE) template <typename T, typename S = decltype(declval<T>().FUNCTION)> static true_type __ ## DEFINE(int); \ template <typename T> static false_type __ ## DEFINE(...); \ template <typename T> using DEFINE = decltype(__ ## DEFINE<T>(0));
Możesz użyć tego jak:
namespace details { FOO(test(declval<int>()), test_int) FOO(test(), test_void) }
Następnie wywołanie
details::test_int<a>::value
lubdetails::test_void<a>::value
przyniesie rezultattrue
lubfalse
dla celów kodu wbudowanego lub metaprogramowania.źródło
Aby nie przeszkadzać, możesz również umieścić
serialize
w przestrzeni nazw klasy, która ma zostać serializowana, lub klasy archiwum, dzięki wyszukiwaniu Koeniga . Zobacz przestrzenie nazw dla bezpłatnych zastąpień funkcji uzyskać więcej informacji, . :-)Otwarcie dowolnej przestrzeni nazw w celu zaimplementowania bezpłatnej funkcji jest po prostu błędne. (np. nie powinno się otwierać przestrzeni nazw
std
do implementacjiswap
dla własnych typów, ale zamiast tego należy użyć wyszukiwania Koenig).źródło
Wygląda na to, że chcesz mieć idiom wykrywacza. Powyższe odpowiedzi to warianty tego, które działają z C ++ 11 lub C ++ 14.
std::experimental
Biblioteka posiada cechy, które zasadniczo to zrobić. Przerabiając przykład z góry, może to być:#include <experimental/type_traits> // serialized_method_t is a detector type for T.serialize(int) const template<typename T> using serialized_method_t = decltype(std::declval<const T&>.serialize(std::declval<int>())); // has_serialize_t is std::true_type when T.serialize(int) exists, // and false otherwise. template<typename T> using has_serialize_t = std::experimental::is_detected_t<serialized_method_t, T>;
Jeśli nie możesz użyć std :: experimental, można stworzyć podstawową wersję w następujący sposób:
template <typename... Ts> using void_t = void; template <template <class...> class Trait, class AlwaysVoid, class... Args> struct detector : std::false_type {}; template <template <class...> class Trait, class... Args> struct detector<Trait, void_t<Trait<Args...>>, Args...> : std::true_type {}; // serialized_method_t is a detector type for T.serialize(int) const template<typename T> using serialized_method_t = decltype(std::declval<const T&>.serialize(std::declval<int>())); // has_serialize_t is std::true_type when T.serialize(int) exists, // and false otherwise. template <typename T> using has_serialize_t = typename detector<serialized_method_t, void, T>::type;
Ponieważ has_serialize_t jest w rzeczywistości std :: true_type lub std :: false_type, można go używać za pośrednictwem dowolnego z popularnych idiomów SFINAE:
template<class T> std::enable_if_t<has_serialize_t<T>::value, std::string> SerializeToString(const T& t) { }
Lub za pomocą wysyłki z rozpoznaniem przeciążenia:
template<class T> std::string SerializeImpl(std::true_type, const T& t) { // call serialize here. } template<class T> std::string SerializeImpl(std::false_type, const T& t) { // do something else here. } template<class T> std::string Serialize(const T& t) { return SerializeImpl(has_serialize_t<T>{}, t); }
źródło
W porządku. Drugie podejście. W porządku, jeśli tego też nie lubisz, szukam więcej pomysłów.
Artykuł Herba Suttera mówi o cechach. Możesz więc mieć klasę cech, której domyślna instancja ma zachowanie rezerwowe, a dla każdej klasy, w której istnieje funkcja składowa, klasa cech jest wyspecjalizowana do wywoływania funkcji składowej. Wydaje mi się, że artykuł Herba wspomina o technice robienia tego, aby nie wymagało to dużo kopiowania i wklejania.
Tak jak powiedziałem, być może nie chcesz dodatkowej pracy związanej z „tagowaniem” klas, które implementują tego członka. W takim przypadku szukam trzeciego rozwiązania ...
źródło
Bez obsługi C ++ 11 (
decltype
) to mogłoby zadziałać:SSCCE
#include <iostream> using namespace std; struct A { void foo(void); }; struct Aa: public A { }; struct B { }; struct retA { int foo(void); }; struct argA { void foo(double); }; struct constA { void foo(void) const; }; struct varA { int foo; }; template<typename T> struct FooFinder { typedef char true_type[1]; typedef char false_type[2]; template<int> struct TypeSink; template<class U> static true_type &match(U); template<class U> static true_type &test(TypeSink<sizeof( matchType<void (U::*)(void)>( &U::foo ) )> *); template<class U> static false_type &test(...); enum { value = (sizeof(test<T>(0, 0)) == sizeof(true_type)) }; }; int main() { cout << FooFinder<A>::value << endl; cout << FooFinder<Aa>::value << endl; cout << FooFinder<B>::value << endl; cout << FooFinder<retA>::value << endl; cout << FooFinder<argA>::value << endl; cout << FooFinder<constA>::value << endl; cout << FooFinder<varA>::value << endl; }
Jak to mam nadzieję działa
A
,Aa
iB
są klasami, o których mowa,Aa
będąc specjalną, która dziedziczy członka, którego szukamy.W i są zamiennikami korespondenta c ++ 11 klas. Również w celu zrozumienia metaprogramowania szablonów ujawniają podstawy sztuczki SFINAE-sizeof-trick.
FooFinder
true_type
false_type
TypeSink
Jest struktura szablonu, która służy następnie do zlewu integralną wyniksizeof
operatora do wystąpienia szablonu, tworząc rodzaj.match
Funkcja jest inny rodzaj SFINAE od szablonu, który jest pozostawiony bez generycznego odpowiednika. Dlatego można go utworzyć tylko wtedy, gdy typ jego argumentu pasuje do typu, dla którego został wyspecjalizowany.Obie
test
funkcje wraz z deklaracją wyliczenia ostatecznie tworzą centralny wzorzec SFINAE. Istnieje ogólny, który używa wielokropka, który zwracafalse_type
i odpowiednik z bardziej szczegółowymi argumentami, które mają pierwszeństwo.Aby móc utworzyć instancję
test
funkcji z argumentem szablonu o wartościT
,match
należy utworzyć instancję funkcji, ponieważ jej typ zwracany jest wymagany do utworzenia instancjiTypeSink
argumentu. Zastrzeżenie polega na tym&U::foo
, że będąc opakowanym w argument funkcji, nie odwołuje się do niego w ramach specjalizacji argumentów szablonu, więc dziedziczone wyszukiwanie elementu członkowskiego nadal ma miejsce.źródło
Jeśli używasz szaleństwa na Facebooku, ich makro po wyjęciu z pudełka pomoże ci:
#include <folly/Traits.h> namespace { FOLLY_CREATE_HAS_MEMBER_FN_TRAITS(has_test_traits, test); } // unnamed-namespace void some_func() { cout << "Does class Foo have a member int test() const? " << boolalpha << has_test_traits<Foo, int() const>::value; }
Chociaż szczegóły implementacji są takie same, jak w poprzedniej odpowiedzi, korzystanie z biblioteki jest prostsze.
źródło
Miałem podobną potrzebę i natknąłem się na to SO. Zaproponowano tu wiele interesujących / potężnych rozwiązań, choć jest to trochę za długie ze względu na konkretną potrzebę: wykrycie, czy klasa ma funkcję składową z precyzyjną sygnaturą. Zrobiłem więc trochę czytania / testów i wymyśliłem moją wersję, która mogłaby być interesująca. Wykrywa:
z precyzyjnym podpisem. Ponieważ nie muszę przechwytywać żadnego podpisu (wymagałoby to bardziej skomplikowanego rozwiązania), ten pasuje do mnie. Zasadniczo używał enable_if_t .
struct Foo{ static int sum(int, const double&){return 0;} }; struct Bar{ int calc(int, const double&) {return 1;} }; struct BarConst{ int calc(int, const double&) const {return 1;} }; // Note : second typename can be void or anything, as long as it is consistent with the result of enable_if_t template<typename T, typename = T> struct has_static_sum : std::false_type {}; template<typename T> struct has_static_sum<typename T, std::enable_if_t<std::is_same<decltype(T::sum), int(int, const double&)>::value,T> > : std::true_type {}; template<typename T, typename = T> struct has_calc : std::false_type {}; template<typename T> struct has_calc <typename T, std::enable_if_t<std::is_same<decltype(&T::calc), int(T::*)(int, const double&)>::value,T> > : std::true_type {}; template<typename T, typename = T> struct has_calc_const : std::false_type {}; template<typename T> struct has_calc_const <typename T, std::enable_if_t<std::is_same<decltype(&T::calc), int(T::*)(int, const double&) const>::value,T> > : std::true_type {}; int main () { constexpr bool has_sum_val = has_static_sum<Foo>::value; constexpr bool not_has_sum_val = !has_static_sum<Bar>::value; constexpr bool has_calc_val = has_calc<Bar>::value; constexpr bool not_has_calc_val = !has_calc<Foo>::value; constexpr bool has_calc_const_val = has_calc_const<BarConst>::value; constexpr bool not_has_calc_const_val = !has_calc_const<Bar>::value; std::cout<< " has_sum_val " << has_sum_val << std::endl << " not_has_sum_val " << not_has_sum_val << std::endl << " has_calc_val " << has_calc_val << std::endl << " not_has_calc_val " << not_has_calc_val << std::endl << " has_calc_const_val " << has_calc_const_val << std::endl << "not_has_calc_const_val " << not_has_calc_const_val << std::endl; }
Wynik :
has_sum_val 1 not_has_sum_val 1 has_calc_val 1 not_has_calc_val 1 has_calc_const_val 1 not_has_calc_const_val 1
źródło
Opierając się na jrok „s odpowiedź , mam unikać korzystania zagnieżdżone klasy i / lub funkcje szablonów.
#include <type_traits> #define CHECK_NESTED_FUNC(fName) \ template <typename, typename, typename = std::void_t<>> \ struct _has_##fName \ : public std::false_type {}; \ \ template <typename Class, typename Ret, typename... Args> \ struct _has_##fName<Class, Ret(Args...), \ std::void_t<decltype(std::declval<Class>().fName(std::declval<Args>()...))>> \ : public std::is_same<decltype(std::declval<Class>().fName(std::declval<Args>()...)), Ret> \ {}; \ \ template <typename Class, typename Signature> \ using has_##fName = _has_##fName<Class, Signature>; #define HAS_NESTED_FUNC(Class, Func, Signature) has_##Func<Class, Signature>::value
Możemy użyć powyższych makr jak poniżej:
class Foo { public: void Bar(int, const char *) {} }; CHECK_NESTED_FUNC(Bar); // generate required metafunctions int main() { using namespace std; cout << boolalpha << HAS_NESTED_FUNC(Foo, Bar, void(int, const char *)) // prints true << endl; return 0; }
Sugestie są mile widziane.
źródło
Z c ++ 20 staje się to znacznie prostsze. Powiedzmy, że chcemy sprawdzić, czy klasa
T
ma funkcję składowąvoid T::resize(typename T::size_type)
. Na przykładstd::vector<U>
ma taką funkcję członka. Następnie,template<typename T> concept has_resize_member_func = requires { typename T::size_type; { std::declval<T>().resize(std::declval<typename T::size_type>()) } -> std::same_as<void>; };
i użycie jest
static_assert(has_resize_member_func<std::string>, ""); static_assert(has_resize_member_func<int> == false, "");
źródło