81 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// <format>14 15// template<class charT, formattable<charT>... Ts>16// struct formatter<pair-or-tuple<Ts...>, charT>17 18// template<class ParseContext>19// constexpr typename ParseContext::iterator20// parse(ParseContext& ctx);21 22// Note this tests the basics of this function. It's tested in more detail in23// the format functions tests.24 25#include <cassert>26#include <concepts>27#include <format>28#include <memory>29#include <tuple>30#include <utility>31 32#include "test_macros.h"33#include "make_string.h"34 35#define SV(S) MAKE_STRING_VIEW(CharT, S)36 37template <class Arg, class StringViewT>38constexpr void test(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<Arg, 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, class Arg>50constexpr void test() {51 test<Arg>(SV(""), 0);52 test<Arg>(SV("42"), 0);53 54 test<Arg>(SV("}"), 1);55 test<Arg>(SV("42}"), 1);56}57 58template <class CharT>59constexpr void test() {60 test<CharT, std::tuple<int>>();61 test<CharT, std::tuple<int, CharT>>();62 test<CharT, std::pair<int, CharT>>();63 test<CharT, std::tuple<int, CharT, bool>>();64}65 66constexpr bool test() {67 test<char>();68#ifndef TEST_HAS_NO_WIDE_CHARACTERS69 test<wchar_t>();70#endif71 72 return true;73}74 75int main(int, char**) {76 test();77 static_assert(test());78 79 return 0;80}81