Namespaces
Variants

std::chrono::year_month_day:: ok

From cppreference.net
C++
Date and time library
std::chrono::year_month_day
constexpr bool ok ( ) const noexcept ;
(начиная с C++20)

Проверяет, представляет ли данный объект year_month_day корректную календарную дату.

Возвращаемое значение

true если данный объект year_month_day представляет корректную календарную дату, то есть хранимые значения года, месяца и дня являются допустимыми, а хранимое значение дня находится в пределах количества дней для данного года и месяца. В противном случае 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}; // корректно, високосный год
    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());
    }
}