std::bool_constant(C++17)

#include <iostream>
#include <type_traits>

// bool型の定数を受け取る
template <bool B>
void f(std::bool_constant<B>)
{
  constexpr bool b = B;
  std::cout << std::boolalpha << b << std::endl;
}

int main()
{
  // bool型定数を表すために、事前に用意された型
  f(std::true_type{});
  f(std::false_type{});

  // 直接bool_constantを使用する
  f(std::bool_constant<true>{});

  // bool_constantの元となっているintegral_constantを使用する
  f(std::integral_constant<bool, true>{});
}