Java Null 안전성의 새로운 표준, JSpecify

public class User {
    private String name;      // null이어서는 안 되지만 컴파일러는 모르고
    private String nickname;  // null 가능하다고 의도했지만, 타입상 구분이 없음
 
    public User(String name, String nickname) {
        this.name = name; // null이 들어와도 컴파일 에러 X
        this.nickname = nickname;
    }
 
    public int getNameLength() {
        return name.length();  // name이 null이라면 NPE
    }
}
 
// 예시
User user1 = new User("Alice", null);     // nickname은 null 의도
User user2 = new User(null, "Bobby");     // name이 null - 런타임 에러 발생 가능
User user3 = null;                         // User 객체 자체도 null 가능
 
public void processUser(User user) {  // user가 null일 수 있는지 알 수가 없다..!
    user.getNameLength();  // user가 null이면 NPE 발생
}

public class User {
    @Nonnull
    private String name;      // null이 되어서는 안됨
 
    @Nullable
    private String nickname;  // null 가능
 
    public User(@Nonnull String name, @Nullable String nickname) {
        this.name = name;
        this.nickname = nickname;
    }
    ...

// @NullMarked 없는 레거시 코드
public class LegacyService {
 
    // 이 반환값만 non-null임을 명시
    public @NonNull String getName() {
        return "name";
    }
}

@NullMarked
class MyOptional<T> {
    // T는 non-null 타입만 허용 (기본 상한이 Object)
}
 
@NullMarked
interface MyList<E extends @Nullable Object> {
    // E는 nullable 타입도 허용
 
    // ❌ 문제 발생!
    MyOptional<E> firstNonNull();
}

@NullMarked
interface MyList<E extends @Nullable Object> {
 
    // E의 non-null 버전으로 projection
    MyOptional<@NonNull E> firstNonNull();
}

MyList<@Nullable String> maybeNulls = ...;
MyList<String> nonNulls = ...;
 
// 둘 다 MyOptional<String> 반환
MyOptional<String> a = maybeNulls.firstNonNull();  // ✅
MyOptional<String> b = nonNulls.firstNonNull();    // ✅

// 패러미터 타입
void setField(@Nullable String value) { ... }

// 반환 타입
@Nullable String getField() { return field; }

// 필드 타입
@Nullable String field;

// 타입 인자
List<@Nullable String> getList() { ... }

// 타입 패러미터의 upper bound
class Container<E extends @Nullable Object> { ... }

// 타입 변수 사용 (Nullable Projection)
class Foo<E extends @Nullable Object> {
 
    @Nullable E getOrNull() { ... }
}

// 중첩 타입
Map.@Nullable Entry<String, String> entry;

// Record 컴포넌트
record User(@Nullable String nickname, String name) {
    public User {
        Objects.requireNonNull(name);  // non-null 컴포넌트는 검증 필요
    }
}

@NullMarked
public class UserService {
 
    public String getName() { ... }           // non-null (기본값)
    public @Nullable String getNickname() { ... }  // nullable (명시)
}

// src/main/java/com/example/service/package-info.java
@NullMarked
package com.example.service;
 
import org.jspecify.annotations.NullMarked;