summaryrefslogtreecommitdiff
path: root/libstdc++-v3/testsuite/std/format/formatter/requirements.cc
blob: 7d95f7fafe98456c43ac83337133312070e73b39 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
// { dg-options "-std=gnu++20" }
// { dg-do run { target c++20 } }

#include <format>
#include <testsuite_hooks.h>

enum color { red, green, blue };
const char* color_names[] = { "red", "green", "blue" };

template<> struct std::formatter<color> : std::formatter<const char*> {
  auto format(color c, format_context& ctx) const {
    return formatter<const char*>::format(color_names[c], ctx);
  }
};

struct err {};

void
test_specializations() // [format.formatter.spec]
{
  std::string s0 = std::format("{}", 42); // OK, library-provided formatter
  VERIFY( s0 == "42" );
  using Fi = std::format_context::formatter_type<int>;
  static_assert( std::is_default_constructible_v<Fi> );
  static_assert( std::is_copy_constructible_v<Fi> );
  static_assert( std::is_move_constructible_v<Fi> );
  static_assert( std::is_copy_assignable_v<Fi> );
  static_assert( std::is_move_assignable_v<Fi> );

  // std::string s1 = std::format("{}", L"foo"); // error: disabled formatter
  using Fw = std::format_context::formatter_type<wchar_t>;
  static_assert( ! std::is_default_constructible_v<Fw> );
  static_assert( ! std::is_copy_constructible_v<Fw> );
  static_assert( ! std::is_move_constructible_v<Fw> );
  static_assert( ! std::is_copy_assignable_v<Fw> );
  static_assert( ! std::is_move_assignable_v<Fw> );

  std::string s2 = std::format("{}", red);  // OK, user-provided formatter
  VERIFY( s2 == "red" );
  using Fc = std::format_context::formatter_type<color>;
  static_assert( std::is_default_constructible_v<Fc> );
  static_assert( std::is_copy_constructible_v<Fc> );
  static_assert( std::is_move_constructible_v<Fc> );
  static_assert( std::is_copy_assignable_v<Fc> );
  static_assert( std::is_move_assignable_v<Fc> );

  // std::string s3 = std::format("{}", err{}); // error: disabled formatter
  using Ferr = std::format_context::formatter_type<err>;
  static_assert( ! std::is_default_constructible_v<Ferr> );
  static_assert( ! std::is_copy_constructible_v<Ferr> );
  static_assert( ! std::is_move_constructible_v<Ferr> );
  static_assert( ! std::is_copy_assignable_v<Ferr> );
  static_assert( ! std::is_move_assignable_v<Ferr> );

  // LWG 3833. Remove specialization
  // template<size_t N> struct formatter<const charT[N], charT>
  using Farr = std::format_context::formatter_type<const char[1]>;
  static_assert( ! std::is_default_constructible_v<Farr> );
  static_assert( ! std::is_copy_constructible_v<Farr> );
  static_assert( ! std::is_move_constructible_v<Farr> );
  static_assert( ! std::is_copy_assignable_v<Farr> );
  static_assert( ! std::is_move_assignable_v<Farr> );
}

int main()
{
  test_specializations();
}