73 lines · cpp
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++14, c++17, c++2010// UNSUPPORTED: no-threads11 12// UNSUPPORTED: GCC-ALWAYS_INLINE-FIXME13 14// <thread>15 16// template<class charT>17// struct formatter<thread::id, charT>;18 19// template<class ParseContext>20// constexpr typename ParseContext::iterator21// parse(ParseContext& ctx);22 23// Note this tests the basics of this function. It's tested in more detail in24// the format functions test.25 26#include <cassert>27#include <concepts>28#include <format>29#include <memory>30#include <thread>31 32#include "test_macros.h"33#include "make_string.h"34 35#define SV(S) MAKE_STRING_VIEW(CharT, S)36 37template <class StringViewT>38constexpr void test_parse(StringViewT fmt, std::size_t offset) {39 using CharT = typename StringViewT::value_type;40 auto parse_ctx = std::basic_format_parse_context<CharT>(fmt);41 std::formatter<std::thread::id, CharT> formatter;42 static_assert(std::semiregular<decltype(formatter)>);43 44 std::same_as<typename StringViewT::iterator> auto it = formatter.parse(parse_ctx);45 // std::to_address works around LWG3989 and MSVC STL's iterator debugging mechanism.46 assert(std::to_address(it) == std::to_address(fmt.end()) - offset);47}48 49template <class CharT>50constexpr void test_fmt() {51 test_parse(SV(""), 0);52 test_parse(SV("1"), 0);53 54 test_parse(SV("}"), 1);55 test_parse(SV("1}"), 1);56}57 58constexpr bool test() {59 test_fmt<char>();60#ifndef TEST_HAS_NO_WIDE_CHARACTERS61 test_fmt<wchar_t>();62#endif63 64 return true;65}66 67int main(int, char**) {68 test();69 static_assert(test());70 71 return 0;72}73