Java中的 ZonedDateTime withDayOfMonth() 方法及示例

ZonedDateTime类的withDayOfMonth()方法，用于更改此 ZonedDateTime 中的日期，并在此操作后返回 ZonedDateTime 的副本。此方法在本地时间线上运行，更改本地日期的月份-time 并在此操作之后本地日期时间转换回 ZonedDateTime，使用区域 ID 获取偏移量。转换回 ZonedDateTime 时，如果本地日期时间重叠，则尽可能保留偏移量，否则将使用较早的偏移量。此实例是不可变的，不受此方法调用的影响。

句法：

public ZonedDateTime withDayOfMonth(int dayOfMonth)

参数：此方法接受单个参数dayOfMonth ，该参数表示要在结果中设置的日期，从 1 到 28-31。

返回值：此方法基于此日期时间与请求的日期返回ZonedDateTime 。

异常：如果日期值无效，或者月份日期对于月份年份无效，则此方法将引发DateTimeException 。

下面的程序说明了 withDayOfMonth() 方法：
方案一：

// Java program to demonstrate
// ZonedDateTime.withDayOfMonth() method
  
import java.time.*;
  
public class GFG {
    public static void main(String[] args)
    {
  
        // create a ZonedDateTime object
        ZonedDateTime zoneddatetime
            = ZonedDateTime.parse(
                "2018-12-06T19:21:12.123+05:30[Asia/Calcutta]");
  
        // print instance
        System.out.println("ZonedDateTime before"
                           + " alter dayOfMonth: "
                           + zoneddatetime);
  
        // alter dayOfMonth to 5th
        ZonedDateTime returnvalue
            = zoneddatetime.withDayOfMonth(5);
  
        // print result
        System.out.println("ZonedDateTime after "
                           + "alter dayOfMonth: "
                           + returnvalue);
    }
}

输出：

ZonedDateTime before alter dayOfMonth: 2018-12-06T19:21:12.123+05:30[Asia/Calcutta]
ZonedDateTime after alter dayOfMonth: 2018-12-05T19:21:12.123+05:30[Asia/Calcutta]

方案二：

// Java program to demonstrate
// ZonedDateTime.withDayOfMonth() method
  
import java.time.*;
  
public class GFG {
    public static void main(String[] args)
    {
  
        // create a ZonedDateTime object
        ZonedDateTime zoneddatetime
            = ZonedDateTime.parse(
                "2018-10-25T23:12:31.123+02:00[Europe/Paris]");
  
        // print instance
        System.out.println("ZonedDateTime before"
                           + " alter dayOfMonth: "
                           + zoneddatetime);
  
        // alter dayOfMonth to 20
        ZonedDateTime returnvalue
            = zoneddatetime.withDayOfMonth(20);
  
        // print result
        System.out.println("ZonedDateTime after "
                           + "alter dayOfMonth: "
                           + returnvalue);
    }
}

输出：

ZonedDateTime before alter dayOfMonth: 2018-10-25T23:12:31.123+02:00[Europe/Paris]
ZonedDateTime after alter dayOfMonth: 2018-10-20T23:12:31.123+02:00[Europe/Paris]

参考： https: Java/time/ZonedDateTime.html#withDayOfMonth(int)