Error del compilador C2766: “Especialización explícita; 'Especialización' ya se ha definido "cuando se usa Boost :: Disable_IF
-
30-10-2019 - |
Pregunta
Estoy tratando de construir una clase de plantilla Fod
template<typename S0 = aux::EmptyType, typename S1 = aux::EmptyType, typename S2 = aux::EmptyType, typename S3 = aux::EmptyType, typename S4 = aux::EmptyType, typename S5 = aux::EmptyType, typename S6 = aux::EmptyType, typename S7 = aux::EmptyType, typename S8 = aux::EmptyType, typename S9 = aux::EmptyType>
class Fod { ... };
que contendrá una clase interior con un static const int value
indicando el índice del argumento de plantilla (0 para S0, 1 para S1 y así sucesivamente). En breve, debe satisfacer la condición:
struct Type0 {}; struct Type1 {};
BOOST_STATIC_ASSERT( (Fod<Type0>::At<Type0>::value == 0) );
BOOST_STATIC_ASSERT( (Fod<Type0, Type1>::At<Type0>::value == 0) );
BOOST_STATIC_ASSERT( (Fod<Type0, Type1>::At<Type1>::value == 1) );
He intentado usar boost::disable_if
como sigue:
template<class T, class Enable = void>
class At; // undefined
template<>
struct At<S0, typename boost::disable_if<boost::is_same<S0, aux::EmptyType> >::type > {
static const int value = 0;
};
template<>
struct At<S1, typename boost::disable_if<boost::is_same<S1, aux::EmptyType> >::type > {
static const int value = 1;
};
template<>
struct At<S2, typename boost::disable_if<boost::is_same<S2, aux::EmptyType> >::type > {
static const int value = 2;
};
template<>
struct At<S3, typename boost::disable_if<boost::is_same<S3, aux::EmptyType> >::type > {
static const int value = 3;
};
// and so on for S4...S9
Pero resulta en error cuando defino la especialización para S3 y ambos S2, S3 son del mismo tipo aux::EmptyType
(O: Defino especialización para S2 y ambos S1, S2 son del mismo tipo).
4>C:\phd\cpp\src\boost/dst/fod.hpp(144): error C2766: explicit specialization ; 'boost::dst::fod<S0>::At<boost::dst::aux::EmptyType,boost::mpl::s_item<T,Base>>' has already been defined
4> with
4> [
4> S0=Type0
4> ]
4> and
4> [
4> T=Type0,
4> Base=boost::mpl::set0<>::item_
4> ]
¿Alguna idea de cómo resolver el problema? Y si quisiera un método size_t at<S0>()
para dar 0, size_t at<S1>()
para dar 1 ...?
Pregunte si necesita más información.
No hay solución correcta
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow