Dispongo de unas funciones plantilla que recibiendo un índice (en el ejemplo es un int
) devuelven un valor del tipo solicitado, he usado FASNEUE (SFINAE) para separar los casos especiales:
// 1
template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value, T>::type
t(int) { ... }
// 2
template <typename T>
typename std::enable_if<std::is_same<std::string, T>::value, T>::type
t(int) { ... }
// 3
template <template <typename ...> class T, typename ... P>
T<P ...> t(int) { ... }
Adicionalmente, una función que recibe un contenedor y lo rellena usando las funciones anteriores:
template <typename C>
C c(int)
{
C r{};
std::insert_iterator<C> iterator(r, r.begin());
*iterator = t<typename C::value_type>(0);
return r;
}
Cuando se deserializan contenedores no asociativos, el código se comporta de la manera esperada pero al deserializar contenedores asociativos el código no compila:
using vi = std::vector<int>;
using mii = std::map<int, int>;
auto o = c<vi>(0); // Deserializar vector
auto p = c<mii>(0); // Deserializar mapa
El problema está en la llamada a deserializar un elemento del contenedor:
*iterator = t<typename C::value_type>(0);
En el caso de contenedores no asociativos C::value_type
es un tipo que entra por cualquiera de las dos primeras versiones de la función t
. En el caso de un contenedor asociativo C::value_type
es un par, que debería fallar al intentar instanciar las dos primeras versiones de t
y no fallar al instanciar la tercera; sin embargo falla en los tres casos:
error: no matching function for call to 't' *iterator = t<typename C::value_type>(0); ^~~~~~~~~~~~~~~~~~~~~~~~~ note: in instantiation of function template specialization 'c<std::map<int, int>>' requested here auto p = c<mii>(0); ^ note: candidate template ignored: requirement 'std::is_arithmetic<pair<const int, int> >::value' was not satisfied [with T = std::pair<const int, int>] t(int) { ... } ^ note: candidate template ignored: requirement 'std::is_same<std::string, pair<const int, int> >::value' was not satisfied [with T = std::pair<const int, int>] t(int) { ... } ^ note: candidate template ignored: invalid explicitly-specified argument for template parameter 'T' T<P ...> t(int) { ... } ^
Parece que se está quejando de la falta de parámetros plantilla en la plantilla-plantilla de la tercera versión de la función t
, pero si dejo de usar FASNEUE el fallo desaparece:
template <typename T>
T
t(int) { return {}; }
template <template <typename ...> class T, typename ... P>
T<P ...> t(int) { return {}; }
template <typename C>
C c(int)
{
C r{};
std::insert_iterator<C> iterator(r, r.begin());
*iterator = t<typename C::value_type>(0);
return r;
}
int main()
{
using vi = std::vector<int>;
using mii = std::map<int, int>;
auto o = c<vi>(0);
auto p = c<mii>(0);
// muestra 0
for (auto &v : o) std::cout << v << '\n';
// muestra 00
for (auto &v : p) std::cout << v.first << v.second << '\n';
return 0;
}
Así que aparentemente FASNEUE está haciendo que en la plantilla-plantilla el parámetro plantilla-plantilla pase a ser requerido ¿Por qué pasa esto? ¿Cómo solucionarlo?
Puede consultarse un ejemplo del problema en Wandbox 三へ( へ՞ਊ ՞)へ ハッハッ.