En caso de que este trabajo?
-
26-09-2019 - |
Pregunta
Estoy intentando especializar un metafunción sobre un tipo que tiene un puntero a función como uno de sus parámetros. El código se compila bien pero simplemente no va a coincidir con el tipo.
#include <iostream>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/identity.hpp>
template < typename CONT, typename NAME, typename TYPE, TYPE (CONT::*getter)() const, void (CONT::*setter)(TYPE const&) >
struct metafield_fun {};
struct test_field {};
struct test
{
int testing() const { return 5; }
void testing(int const&) {}
};
template < typename T >
struct field_writable : boost::mpl::identity<T> {};
template < typename CONT, typename NAME, typename TYPE, TYPE (CONT::*getter)() const >
struct field_writable< metafield_fun<CONT,NAME,TYPE,getter,0> > : boost::mpl::false_
{};
typedef metafield_fun<test, test_field, int, &test::testing, 0> unwritable;
int main()
{
std::cout << typeid(field_writable<unwritable>::type).name() << std::endl;
std::cin.get();
}
La salida es siempre el tipo aprobada en, nunca se bool _.
Solución
Como una alternativa de trabajo sin los problemas de conversión mencionados en los comentarios:
struct rw_tag {};
struct ro_tag {};
template<typename CONT, typename NAME, typename TYPE,
TYPE (CONT::*getter)() const, void (CONT::*setter)(TYPE const&)>
struct metafield_fun_rw : rw_tag {};
template<typename CONT, typename NAME, typename TYPE,
TYPE (CONT::*getter)() const>
struct metafield_fun_ro : ro_tag {};
template<class T> struct field_writable
: boost::mpl::bool_< boost::is_base_of<rw_tag, T>::value >
// or just derive directly from: boost::is_base_of<rw_tag, T>::value
{};
typedef metafield_fun_ro<test, test_field, int, &test::testing> unwritable;
Como alternativa metafield_fun
también podría typedef
readwrite- / sólo lectura-etiquetas en función de sus argumentos y field_writable
derivan de forma condicional, por ejemplo usando boost::mpl::if_
.
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow