alias de plantillas y sfinae

En el caso de una falla de sustitución que involucre un alias de plantilla (p.ej. un alias de plantilla en un nombre de tipo de miembro faltante, como en el ...

¿El alias de plantilla de C ++ 11 como argumento de plantilla de plantilla lleva a un tipo diferente?

¿Es la falla de sustitución un error con los parámetros de plantilla no de tipo dependientes?

Digamos que tengo estos alias de plantillas:

¿Puedo especializar una plantilla de clase con una plantilla de alias?

Aquí hay un ejemplo simple: class bar {}; template <typename> class foo {}; template <> using foo<int> = bar; ¿Está permitido?

Downcasting dinámico de C ++ a plantilla de clase que tiene un parámetro de plantilla de plantilla que es una plantilla de clase o una plantilla de alias

Espero que el título tenga sentido. Probablemente extraño el vocabulario para expresarlo correctamente. Bueno, un ejemplo probablemente será más claro. El problema para mí es: el downcasting dinámico devuelve 0 en tiempo de ejecución en algunos ...

Paquete de expansión para plantilla de alias

Parece que un argumento de paquete puede expandirsesolamenteen lugar de un parámetro de paquete de una plantilla de alias. Esto no es cierto para una clase o una plantilla de función: template <class T, class... Args> struct x { using type = T; ...

Alias ​​de plantillas variables como argumentos de plantillas

Primero un poco de código, luego un poco de contexto, luego la pregunta: