Type alias, alias template (since 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 f = 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;
// 타입 별칭은 멤버 typedef 이름을 도입할 수 있음
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 is `" << typeid(decltype(c)).name() << "`\n"
                 "value_type is `" << 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가 이를 허용함
}