逗号的博客

在 Java 语言中，当一个程序所有可能的语句都执行完成后程序就会自动退出。也可以调用 System#exit 和 Runtime#exit 方法提前退出当前程序。

1
2
3
4
5
6
7

public class Application {
    public static void main(String[] args) {
        // System.exit(0);
        // Runtime.getRuntime().exit(0);
        System.out.println("Hello World!");
    }
}

但是对一个 Spring Boot 应用程序来说，当所有可能的语句执行完成后程序却不会自动退出，这是为什么呢？

1
2
3
4
5
6
7
8
9

import org.springframework.boot.SpringApplication;
import org.springframework.boot.autoconfigure.SpringBootApplication;

@SpringBootApplication
public class Application {
    public static void main(String[] args) {
        SpringApplication.run(Application.class, args);
    }
}

在使用 Jackson 序列化对象时可以使用 @JsonPropertyOrder 注解、@JsonProperty 注解，MapperFeature 枚举中 SORT_PROPERTIES_ALPHABETICALLY、SORT_CREATOR_PROPERTIES_FIRST 和 SORT_CREATOR_PROPERTIES_BY_DECLARATION_ORDER 枚举值来控制字段的输出顺序。如果没有通过这些方式控制字段的输出顺序，则输出的结果与对象中的字段的定义顺序有关。那么排序的过程是怎样的呢？下面来看一看。

本文是在 Windows 的 VirtualBox 上安装 Debian 11.4.0 系统。安装完成后会创建两个用户

场景描述

我们有一个系统在不停接收其他系统发来的消息，我们的任务任务是查询连续出现两次及以上的消息。下面是一些例子

1. 假设依次收到的消息是 A 则结果为空；
2. 假设依次收到的消息是 AB 则结果为空；
3. 假设依次收到的消息是 AA 则结果为 AA；
4. 假设依次收到的消息是 AABB 则结果为 AABB；
5. 假设依次收到的消息是 ABB 则结果为 BB；
6. 假设依次收到的消息是 AAB 则结果为 AA；
7. 假设依次收到的消息是 AABCC 则结果为 AACC；
8. 假设依次收到的消息是 AABCDD 则结果为 AADD；
9. 假设依次收到的消息是 AABAACC 则结果为 AAAACC；
10. 假设依次收到的消息是 AABAABCC 则结果为 AAAACC；
11. 假设依次收到的消息是 AABAACDD 则结果为 AAAADD；
12. 假设依次收到的消息是 AABCCBDD 则结果为 AACCDD；

如上图所示，有紫色、红色、黄色三个矩形区域，其中紫色区域完全在东半球，黄色区域完全在西半球，而红色区域一半在东半球一半在西半球，即它跨越了 180°(-180°) 经线。我们用左上/右下两个点来表示一个矩形区域，因此紫色区域表示为 (147.66, 36.31) / (159.71, 30.88)，红色区域表示为 (173.53, 36.49) / (-173.32, 31.17)，黄色区域表示为 (-160.49, 36.31) / (-147.24, 30.98)。在每一个区域中分布着一些点，现在需要一种把这些点查询出来的方法。

为了方便定位地球上的点，人为定义了经线和纬线，它们组成了一个经纬网。经度的范围为 [-180°, +180°]，本初子午线的位置为 0°，向东走为东经，经度范围为 [0°, +180°]，向西走为西经，经度范围为 [-180°, 0°]，-180° 和 180° 对应同一根经线，也叫国际日期变更线。纬度的范围为 [-90°, +90°]，赤道的位置为 0°，向北走为北纬，纬度范围为 [0°, +90°]，向南走为南纬，纬度范围为 [-90°, 0°]，-90° 和 90° 的位置对应南极点和北极点。

我们的问题是对于给定两个经度或纬度，如何计算它们之间的差值？

为了说明问题我创建了一张员工表 employees 并初始化了一些数据

1
2
3
4
5
6
7
8
9
10
11
12
13

CREATE TABLE employees
(
    id         INTEGER, -- ID
    name       VARCHAR, -- 姓名
    age        INTEGER, -- 年龄
    department VARCHAR, -- 部门
    status     VARCHAR, -- 状态
    PRIMARY KEY (id)
);

INSERT INTO employees(id, name, age, department, status) VALUES (1, 'Bob', 18, 'HR', 'Active');
INSERT INTO employees(id, name, age, department, status) VALUES (2, 'Eve', 19, null, 'Inactive');
INSERT INTO employees(id, name, age, department, status) VALUES (3, 'Zoe', null, 'IT', null);

最近读到一篇非常好的文章 PostgreSQL 中 timestamp 与 timestamptz 的区别，也可以访问 https://japinli.github.io/2023/03/postgresql-timestamp/，读完这篇文章后学习到了两点

1. PostgreSQL 存在两个纪元，Unix 纪元（1970-01-01 00:00:00）和 PostgreSQL 纪元（2000-01-01 00:00:00），在底层存储系统存储的是时间相对于 PostgreSQL 纪元的数值。EXTRACT(EPOCH FROM source) 是基于 Unix 纪元的结果。
2. 顺藤摸瓜可以阅读 src/backend/utils/adt/timestamp.c 文件中的 timestamp_in 和 timestamp_out 函数，从源码上理解时间字符串的输入和输出逻辑。

因此本文的逻辑是基于显示的结果而言，从显示的结果推论可能的原因，只是为了方便理解。推荐阅读它而不是本文。

问题

我们假设区间的表示为 [start, end]，对于两个区间 A 和 B 如何判断它们是否重叠？

背景知识

全球共划分为 24 个时区，以本初子午线为基准，从 7.5°W 向东至 7.5°E ，划分为一个时区，叫中时区或零时区。在中时区以东，依次划分为东一区至东十二区；在中时区以西，依次划分为西一区至西十二区。东十二区和西十二区各跨经度 7.5°，合为一个时区。每个时区跨越经度 15°，相邻区域的时间相差 1 小时（这样 24 个时区刚好是 24 小时，地球自转一周）。