99 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// UNSUPPORTED: c++03, c++11, c++14, c++179 10// <chrono>11// class year_month_day;12 13// constexpr bool ok() const noexcept;14// Returns: m_.ok() && y_.ok().15 16#include <chrono>17#include <cassert>18#include <type_traits>19#include <utility>20 21#include "test_macros.h"22 23int main(int, char**)24{25 using year = std::chrono::year;26 using month = std::chrono::month;27 using day = std::chrono::day;28 using year_month_day = std::chrono::year_month_day;29 30 constexpr month January = std::chrono::January;31 32 ASSERT_NOEXCEPT( std::declval<const year_month_day>().ok());33 ASSERT_SAME_TYPE(bool, decltype(std::declval<const year_month_day>().ok()));34 35 static_assert(!year_month_day{year{-32768}, month{}, day{}}.ok(), ""); // All three bad36 37 static_assert(!year_month_day{year{-32768}, January, day{1}}.ok(), ""); // Bad year38 static_assert(!year_month_day{year{2019}, month{}, day{1}}.ok(), ""); // Bad month39 static_assert(!year_month_day{year{2019}, January, day{} }.ok(), ""); // Bad day40 41 static_assert(!year_month_day{year{-32768}, month{}, day{1}}.ok(), ""); // Bad year & month42 static_assert(!year_month_day{year{2019}, month{}, day{} }.ok(), ""); // Bad month & day43 static_assert(!year_month_day{year{-32768}, January, day{} }.ok(), ""); // Bad year & day44 45 static_assert( year_month_day{year{2019}, January, day{1}}.ok(), ""); // All OK46 47 // Some months have a 31st48 static_assert( year_month_day{year{2020}, month{ 1}, day{31}}.ok(), "");49 static_assert(!year_month_day{year{2020}, month{ 2}, day{31}}.ok(), "");50 static_assert( year_month_day{year{2020}, month{ 3}, day{31}}.ok(), "");51 static_assert(!year_month_day{year{2020}, month{ 4}, day{31}}.ok(), "");52 static_assert( year_month_day{year{2020}, month{ 5}, day{31}}.ok(), "");53 static_assert(!year_month_day{year{2020}, month{ 6}, day{31}}.ok(), "");54 static_assert( year_month_day{year{2020}, month{ 7}, day{31}}.ok(), "");55 static_assert( year_month_day{year{2020}, month{ 8}, day{31}}.ok(), "");56 static_assert(!year_month_day{year{2020}, month{ 9}, day{31}}.ok(), "");57 static_assert( year_month_day{year{2020}, month{10}, day{31}}.ok(), "");58 static_assert(!year_month_day{year{2020}, month{11}, day{31}}.ok(), "");59 static_assert( year_month_day{year{2020}, month{12}, day{31}}.ok(), "");60 61 // Everyone except FEB has a 30th62 static_assert( year_month_day{year{2020}, month{ 1}, day{30}}.ok(), "");63 static_assert(!year_month_day{year{2020}, month{ 2}, day{30}}.ok(), "");64 static_assert( year_month_day{year{2020}, month{ 3}, day{30}}.ok(), "");65 static_assert( year_month_day{year{2020}, month{ 4}, day{30}}.ok(), "");66 static_assert( year_month_day{year{2020}, month{ 5}, day{30}}.ok(), "");67 static_assert( year_month_day{year{2020}, month{ 6}, day{30}}.ok(), "");68 static_assert( year_month_day{year{2020}, month{ 7}, day{30}}.ok(), "");69 static_assert( year_month_day{year{2020}, month{ 8}, day{30}}.ok(), "");70 static_assert( year_month_day{year{2020}, month{ 9}, day{30}}.ok(), "");71 static_assert( year_month_day{year{2020}, month{10}, day{30}}.ok(), "");72 static_assert( year_month_day{year{2020}, month{11}, day{30}}.ok(), "");73 static_assert( year_month_day{year{2020}, month{12}, day{30}}.ok(), "");74 75 static_assert(!year_month_day{year{2019}, std::chrono::February, day{29}}.ok(), ""); // Not a leap year76 static_assert( year_month_day{year{2020}, std::chrono::February, day{29}}.ok(), ""); // Ok; 2020 is a leap year77 78 for (unsigned i = 0; i <= 50; ++i)79 {80 year_month_day ym{year{2019}, January, day{i}};81 assert( ym.ok() == day{i}.ok());82 }83 84 for (unsigned i = 0; i <= 50; ++i)85 {86 year_month_day ym{year{2019}, month{i}, day{12}};87 assert( ym.ok() == month{i}.ok());88 }89 90 const int ymax = static_cast<int>(year::max());91 for (int i = ymax - 100; i <= ymax + 100; ++i)92 {93 year_month_day ym{year{i}, January, day{12}};94 assert( ym.ok() == year{i}.ok());95 }96 97 return 0;98}99