mirror of
https://github.com/HowardHinnant/date.git
synced 2024-12-30 02:16:56 +08:00
174 lines
6.6 KiB
C++
174 lines
6.6 KiB
C++
// The MIT License (MIT)
|
|
//
|
|
// Copyright (c) 2015 Howard Hinnant
|
|
//
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
// of this software and associated documentation files (the "Software"), to deal
|
|
// in the Software without restriction, including without limitation the rights
|
|
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
// copies of the Software, and to permit persons to whom the Software is
|
|
// furnished to do so, subject to the following conditions:
|
|
//
|
|
// The above copyright notice and this permission notice shall be included in all
|
|
// copies or substantial portions of the Software.
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
// SOFTWARE.
|
|
|
|
// class year_month_day_last
|
|
// {
|
|
// date::year y_;
|
|
// date::month_day_last mdl_;
|
|
//
|
|
// public:
|
|
// constexpr year_month_day_last(const date::year& y,
|
|
// const date::month_day_last& mdl) noexcept;
|
|
//
|
|
// year_month_day_last& operator+=(const months& m) noexcept;
|
|
// year_month_day_last& operator-=(const months& m) noexcept;
|
|
// year_month_day_last& operator+=(const years& y) noexcept;
|
|
// year_month_day_last& operator-=(const years& y) noexcept;
|
|
//
|
|
// constexpr date::year year() const noexcept;
|
|
// constexpr date::month month() const noexcept;
|
|
// constexpr date::month_day_last month_day_last() const noexcept;
|
|
// constexpr date::day day() const noexcept;
|
|
//
|
|
// constexpr operator day_point() const noexcept;
|
|
// constexpr bool ok() const noexcept;
|
|
// };
|
|
|
|
// constexpr
|
|
// bool operator==(const year_month_day_last& x, const year_month_day_last& y) noexcept;
|
|
// constexpr
|
|
// bool operator!=(const year_month_day_last& x, const year_month_day_last& y) noexcept;
|
|
// constexpr
|
|
// bool operator< (const year_month_day_last& x, const year_month_day_last& y) noexcept;
|
|
// constexpr
|
|
// bool operator> (const year_month_day_last& x, const year_month_day_last& y) noexcept;
|
|
// constexpr
|
|
// bool operator<=(const year_month_day_last& x, const year_month_day_last& y) noexcept;
|
|
// constexpr
|
|
// bool operator>=(const year_month_day_last& x, const year_month_day_last& y) noexcept;
|
|
|
|
// constexpr
|
|
// year_month_day_last
|
|
// operator+(const year_month_day_last& ymdl, const months& dm) noexcept;
|
|
//
|
|
// constexpr
|
|
// year_month_day_last
|
|
// operator+(const months& dm, const year_month_day_last& ymdl) noexcept;
|
|
//
|
|
// constexpr
|
|
// year_month_day_last
|
|
// operator+(const year_month_day_last& ymdl, const years& dy) noexcept;
|
|
//
|
|
// constexpr
|
|
// year_month_day_last
|
|
// operator+(const years& dy, const year_month_day_last& ymdl) noexcept;
|
|
//
|
|
// constexpr
|
|
// year_month_day_last
|
|
// operator-(const year_month_day_last& ymdl, const months& dm) noexcept;
|
|
//
|
|
// constexpr
|
|
// year_month_day_last
|
|
// operator-(const year_month_day_last& ymdl, const years& dy) noexcept;
|
|
|
|
// std::ostream& operator<<(std::ostream& os, const year_month_day_last& ymdl);
|
|
|
|
#include "date.h"
|
|
|
|
#include <cassert>
|
|
#include <sstream>
|
|
#include <type_traits>
|
|
|
|
static_assert( std::is_trivially_destructible<date::year_month_day_last>{}, "");
|
|
static_assert(!std::is_default_constructible<date::year_month_day_last>{}, "");
|
|
static_assert( std::is_trivially_copy_constructible<date::year_month_day_last>{}, "");
|
|
static_assert( std::is_trivially_copy_assignable<date::year_month_day_last>{}, "");
|
|
static_assert( std::is_trivially_move_constructible<date::year_month_day_last>{}, "");
|
|
static_assert( std::is_trivially_move_assignable<date::year_month_day_last>{}, "");
|
|
|
|
static_assert(std::is_nothrow_constructible<date::year_month_day_last,
|
|
date::year, date::month_day_last>{}, "");
|
|
static_assert(std::is_nothrow_constructible<date::day_point,
|
|
date::year_month_day_last>{}, "");
|
|
static_assert(std::is_convertible<date::year_month_day_last, date::day_point>{}, "");
|
|
|
|
void
|
|
test_arithmetic()
|
|
{
|
|
using namespace date;
|
|
|
|
for (int y1 = 2010; y1 <= 2015; ++y1)
|
|
{
|
|
for (unsigned m1 = 1; m1 <= 12; ++m1)
|
|
{
|
|
auto ymd1 = last/m1/y1;;
|
|
auto ymd2 = ymd1 + months(24);
|
|
assert(ymd2 == last/m1/(y1+2));
|
|
ymd2 = ymd1 - months(24);
|
|
assert(ymd2 == last/m1/(y1-2));
|
|
for (int m2 = -24; m2 <= 24; ++m2)
|
|
{
|
|
months m{m2};
|
|
auto ymd3 = ymd1 + m;
|
|
months dm = year_month{ymd3.year(), ymd3.month()} -
|
|
year_month{ymd2.year(), ymd2.month()};
|
|
assert(dm == m + years{2});
|
|
assert(ymd3 - m == ymd1);
|
|
assert(ymd3 + -m == ymd1);
|
|
assert(-m + ymd3 == ymd1);
|
|
assert((year_month_day_last{ymd1} += m) == ymd3);
|
|
assert((year_month_day_last{ymd3} -= m) == ymd1);
|
|
}
|
|
for (int y2 = -2; y2 <= 5; ++y2)
|
|
{
|
|
years y{y2};
|
|
auto ymd3 = ymd1 + y;
|
|
years dy = floor<years>(year_month{ymd3.year(), ymd3.month()} -
|
|
year_month{ymd2.year(), ymd2.month()});
|
|
assert(dy == y + years{2});
|
|
assert(ymd3 - y == ymd1);
|
|
assert(ymd3 + -y == ymd1);
|
|
assert(-y + ymd3 == ymd1);
|
|
assert((year_month_day_last{ymd1} += y) == ymd3);
|
|
assert((year_month_day_last{ymd3} -= y) == ymd1);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
int
|
|
main()
|
|
{
|
|
using namespace date;
|
|
|
|
constexpr year_month_day_last ymdl1 = {2015_y, month_day_last{aug}};
|
|
static_assert(ymdl1.ok(), "");
|
|
static_assert(ymdl1.year() == 2015_y, "");
|
|
static_assert(ymdl1.month() == aug, "");
|
|
static_assert(ymdl1.month_day_last() == month_day_last{aug}, "");
|
|
static_assert(ymdl1.day() == 31_d, "");
|
|
constexpr day_point dp = ymdl1;
|
|
constexpr year_month_day ymd = dp;
|
|
static_assert(ymd == 2015_y/aug/31, "");
|
|
|
|
constexpr year_month_day_last ymdl2 = {2015_y, month_day_last{sep}};
|
|
|
|
static_assert(ymdl1 == ymdl1, "");
|
|
static_assert(ymdl1 != ymdl2, "");
|
|
static_assert(ymdl1 < ymdl2, "");
|
|
static_assert(ymdl2 > ymdl1, "");
|
|
static_assert(ymdl1 <= ymdl1, "");
|
|
static_assert(ymdl2 >= ymdl1, "");
|
|
|
|
test_arithmetic();
|
|
}
|