型エイリアス、エイリアステンプレート (C++11以上)

#include <string>
#include <ios>
#include <type_traits>
 
// 型エイリアス。 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 ContainerType>
void g(const ContainerType& c) { typename ContainerType::value_type 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 t) { return 1; }
 
struct S { virtual ~S() {} };
 
int main() 
{
    Container<int> c;
    g(c); // この関数内では Container::value_type は int です。
//  fpoly_only(c); // エラー、 enable_if はこれを禁止します。
    S s;
    fpoly_only(s); // OK、 enable_if はこれを許容します。
}