103 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 month_day_last;12 13// constexpr month_day_last14// operator/(const month& m, last_spec) noexcept;15// Returns: month_day_last{m}.16//17// constexpr month_day_last18// operator/(int m, last_spec) noexcept;19// Returns: month(m) / last.20//21// constexpr month_day_last22// operator/(last_spec, const month& m) noexcept;23// Returns: m / last.24//25// constexpr month_day_last26// operator/(last_spec, int m) noexcept;27// Returns: month(m) / last.28//29//30// [Note: A month_day_last object can be constructed using the expression m/last or last/m,31// where m is an expression of type month. - end note]32// [Example:33// constexpr auto mdl = February/last; // mdl is the last day of February of an as yet unspecified year34// static_assert(mdl.month() == February);35// --end example]36 37#include <chrono>38#include <type_traits>39#include <cassert>40 41#include "test_macros.h"42 43int main(int, char**)44{45 using month = std::chrono::month;46 using month_day_last = std::chrono::month_day_last;47 48 constexpr month February = std::chrono::February;49 constexpr std::chrono::last_spec last = std::chrono::last;50 51 ASSERT_SAME_TYPE(month_day_last, decltype(last/February));52 ASSERT_SAME_TYPE(month_day_last, decltype(February/last));53 54 // Run the example55 {56 constexpr auto mdl = February/std::chrono::last;57 static_assert(mdl.month() == February, "");58 }59 60 { // operator/(const month& m, last_spec) and switched61 ASSERT_NOEXCEPT ( last/February);62 ASSERT_SAME_TYPE(month_day_last, decltype(last/February));63 ASSERT_NOEXCEPT ( February/last);64 ASSERT_SAME_TYPE(month_day_last, decltype(February/last));65 66 static_assert((last/February).month() == February, "");67 static_assert((February/last).month() == February, "");68 69 for (unsigned i = 1; i < 12; ++i)70 {71 month m{i};72 month_day_last mdl1 = last/m;73 month_day_last mdl2 = m/last;74 assert(mdl1.month() == m);75 assert(mdl2.month() == m);76 assert(mdl1 == mdl2);77 }78 }79 80 { // operator/(int, last_spec) and switched81 ASSERT_NOEXCEPT ( last/2);82 ASSERT_SAME_TYPE(month_day_last, decltype(last/2));83 ASSERT_NOEXCEPT ( 2/last);84 ASSERT_SAME_TYPE(month_day_last, decltype(2/last));85 86 static_assert((last/2).month() == February, "");87 static_assert((2/last).month() == February, "");88 89 for (unsigned i = 1; i < 12; ++i)90 {91 month m{i};92 month_day_last mdl1 = last/i;93 month_day_last mdl2 = i/last;94 assert(mdl1.month() == m);95 assert(mdl2.month() == m);96 assert(mdl1 == mdl2);97 }98 }99 100 101 return 0;102}103