Usar un alias de plantilla en lugar de una plantilla dentro de una plantilla

Question

Jun 30, 2013, 06:46 PM

Usar un alias de plantilla en lugar de una plantilla dentro de una plantilla

De una pregunta anterior:

Haciendo un static_assert que un tipo de plantilla es otra plantilla

Andy Prowl me proporcionó este código que me permitestatic_assert que un tipo de plantilla es otro tipo de plantilla:

template<template<typename...> class TT, typename... Ts>
struct is_instantiation_of : public std::false_type { };

template<template<typename...> class TT, typename... Ts>
struct is_instantiation_of<TT, TT<Ts...>> : public std::true_type { };

template<typename T>
struct foo {};

template<typename FooType>
struct bar {
  static_assert(is_instantiation_of<foo,FooType>::value, ""); //success
};

int main(int,char**)
{
  bar<foo<int>> b; //success
  return 0;
}

Esto funciona muy bien.

Pero si cambio el código como este para usar un alias defoo, las cosas van mal

template<template<typename...> class TT, typename... Ts>
struct is_instantiation_of : public std::false_type { };

template<template<typename...> class TT, typename... Ts>
struct is_instantiation_of<TT, TT<Ts...>> : public std::true_type { };

template<typename T>
struct foo {};

//Added: alias for foo
template<typename T>
using foo_alt = foo<T>;

template<typename FooType>
struct bar {
  //Changed: want to use foo_alt instead of foo here
  static_assert(is_instantiation_of<foo_alt,FooType>::value, ""); //fail
};

int main(int,char**) {
  //both of these fail:
  bar<foo<int>> b;
  bar<foo_alt<int>> b2;

  return 0;
}

¿Se puede resolver esto?