std::chrono::year_month_day::ok

来自cppreference.com
 
C++
 
日期和时间库
时间点
(C++11)
(C++20)  
(C++20)
时长
(C++11)
时钟
(C++11)
(C++11)
(C++20)
(C++20)
(C++20)
(C++11)
(C++20)
(C++20)
(C++20)
当天时刻
(C++20)(C++20)
(C++20)(C++20)
(C++20)
日历
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)  
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
chrono I/O
(C++20)

 
std::chrono::year_month_day
 
constexpr bool ok() const noexcept;
(C++20 起)

检查此 year_month_day 对象是否表示合法的日历日期。

返回值

若此 year_month_day 对象表示合法的日历日期，即存储的 year、month 和 day 值均合法，且存储的 day 值在给定年和月的日数内，则为 true。否则为 false。

可能的实现

constexpr bool std::chrono::year_month_day::ok() const noexcept
{
    return year().ok() && month().ok() && day().ok() &&
        day() <= (year()/month()/std::chrono::last).day();
}

示例

运行此代码
#include <chrono>

int main()
{
    constexpr auto ymd1 {std::chrono::day(1)/std::chrono::July/2020};
    static_assert(ymd1.ok());

    constexpr auto ymd2 {std::chrono::year(2020)/7/42};
    static_assert(not ymd2.ok());

    constexpr auto ymd3 {std::chrono::February/29/2020}; // ok, 闰年
    static_assert(ymd3.ok());

    constexpr auto ymd4 = ymd3 + std::chrono::years{1}; // 不好，不是闰年
    static_assert(ymd4 == std::chrono::February/29/2021 and not ymd4.ok());

    // 为了修正错误日期，我们可能需要跳到当月最后一天:
    if constexpr (!ymd4.ok())
    {
        constexpr auto ymd = ymd4.year()/ymd4.month()/std::chrono::last;
        static_assert(ymd == std::chrono::February/28/2021 and ymd.ok());
    }

    // 或者可能需要使其溢出到下个月:
    if constexpr (!ymd4.ok())
    {
        constexpr auto st = std::chrono::sys_time<std::chrono::days>{ymd4};
        constexpr auto ymd = std::chrono::year_month_day{st};
        static_assert(ymd == std::chrono::March/1/2021 and ymd.ok());
    }
}