Псевдоним типа, псевдоним шаблона (начиная с C++11)

#include <iostream>
#include <string>
#include <type_traits>
#include <typeinfo>
 
// псевдоним типа, полностью эквивалентный
// typedef std::ios_base::fmtflags flags;
using flags = std::ios_base::fmtflags;
// имя 'flags' теперь обозначает тип:
flags fl = std::ios_base::dec;
 
// псевдоним типа, полностью эквивалентный
// typedef void (*func)(int, int);
using func = void (*) (int,int);
// имя 'func' теперь обозначает указатель на функцию:
void example(int, int) {}
func fn = example;
 
// псевдоним шаблона
template<class T> using ptr = T*; 
// имя 'ptr<T>' теперь является псевдонимом для указателя на T
ptr<int> x;
 
// псевдоним типа используется для сокрытия шаблонного параметра
template <class CharT> using mystring = 
    std::basic_string<CharT,std::char_traits<CharT>>;
mystring<char> str;
 
// псевдоним типа может ввести элемент имени типа
template<typename T>
struct Container {
    using value_type = T;
};
// который может использоваться в обобщённом программировании
template<typename ContainerT>
void info(const ContainerT& c)
{
    typename ContainerT::value_type T;
    std::cout << "ContainerT равно `" << typeid(decltype(c)).name() << "`\n"
                 "value_type равно `" << typeid(T).name() << "`\n";
}
 
// псевдоним типа используется для упрощения синтаксиса std::enable_if
template<typename T>
using Invoke = typename T::type;
template<typename Condition>
using EnableIf = Invoke<std::enable_if<Condition::value>>;
template<typename T, typename = EnableIf<std::is_polymorphic<T>>>
int fpoly_only(T) { return 1; }
 
struct S { virtual ~S() {} };
int main() 
{
    Container<int> c;
    info(c); // Container::value_type в этой функции будет равен int
//    fpoly_only(c); // ошибка, enable_if такое запрещает
    S s;
    fpoly_only(s); // всё в порядке, enable_if такое позволяет
}