问题描述
所以我在将Integer DateTime格式转换为Java中正常的DateTime格式时遇到了这个问题。 我有这个变量int DateTime,例如:“ / Date(1484956800000)/”。我正在尝试将其转换为正常的日期时间并将其显示在屏幕上...
我试图这样。
export type BaseColumn = {
name: string
}
export type VarcharColumn = {
type: 'varchar'
size: number
}
export interface IntColumn {
type: 'int'
}
export type TypedColumn<T,K extends keyof T> =
T[K] extends string ? VarcharColumn
: IntColumn
type Column<T,K extends keyof T> = BaseColumn & TypedColumn<T,K>
interface Post {
id: number
title: string
}
const printSize = <T,K extends keyof T>(col: Column<T,K>) => {
if (col.type === 'varchar') {
console.log(col.size)
// ^^^^ Property 'size' does not exist on type 'Column<T,K>'. (2339)
}
}
printSize<Post,'title'>({ name: 'title',type: 'varchar',size: 100 })
解决方法
我建议您停止使用过时且容易出错的java.util
日期时间API和SimpleDateFormat
。切换到modern java.time
日期时间API和相应的格式API(java.time.format
)。从 Trail: Date Time 了解有关现代日期时间API的更多信息。
import java.time.Instant;
import java.time.LocalDateTime;
import java.time.ZoneId;
import java.time.ZonedDateTime;
import java.time.format.DateTimeFormatter;
public class Main {
public static void main(String[] args) {
// Obtain an instance of Instant using milliseconds from the epoch of
// 1970-01-01T00:00:00Z
Instant instant = Instant.ofEpochMilli(1484956800000L);
System.out.println(instant);
// Specify the time-zone
ZoneId myTimeZone = ZoneId.of("Europe/London");
// Obtain ZonedDateTime out of Instant
ZonedDateTime zdt = instant.atZone(myTimeZone);
// Obtain LocalDateTime out of ZonedDateTime
// Note that LocalDateTime throws away the important information of time-zone
LocalDateTime ldt = zdt.toLocalDateTime();
System.out.println(ldt);
// Custom format
String dateAsText = ldt.format(DateTimeFormatter.ofPattern("MM-dd HH:mm"));
System.out.println(dateAsText);
}
}
输出:
2017-01-21T00:00:00Z
2017-01-21T00:00
01-21 00:00
如果您仍然想使用设计较差的旧版java.util.Date
,则可以按以下步骤操作:
import java.text.SimpleDateFormat;
import java.util.Date;
public class Main {
public static void main(String[] args) {
Date date = new Date(1484956800000L);
System.out.println(date);
// Custom format
String dateAsText = new SimpleDateFormat("MM-dd HH:mm").format(date);
System.out.println(dateAsText);
}
}
输出:
Sat Jan 21 00:00:00 GMT 2017
01-21 00:00