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 11// UNSUPPORTED: GCC-ALWAYS_INLINE-FIXME12 13// <vector>14 15// template<class T, class charT>16// requires is-vector-bool-reference<T>17// struct formatter<T, 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 <vector>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::vector<bool, std::allocator<bool>>::reference, 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("b"), 0);53 54 test_parse(SV("}"), 1);55 test_parse(SV("b}"), 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