Java 및 Ceylon 객체 구축 및 검증을 위한 코드 케이스 공유

Java 코드를 Ceylon 코드로 변환할 때 일부 Java 클래스 생성자가 유효성 검사와 초기화를 혼동하는 상황이 가끔 발생합니다. 내가 의미하는 바를 설명하기 위해 간단하지만 인위적인 코드 예제를 사용하겠습니다.

잘못된 코드

다음 Java 클래스를 고려해보세요. (야, 집에서 이런 코드 쓰지 마라)

아아아아

야 아까도 경고했지만 인위적이다. 그러나 실제 Java 코드에서 이와 같은 것을 찾는 것은 실제로 드문 일이 아닙니다.

여기서 문제는 입력 매개변수(숨겨진 parsDate() 메서드)의 유효성 검사가 실패하더라도 여전히 Period 인스턴스를 얻는다는 것입니다. 하지만 우리가 얻은 기간은 "유효한" 상태가 아닙니다. 엄밀히 말하면, 무슨 뜻인가요?

글쎄, 객체 가 일반적인 작업에 의미 있게 응답할 수 없다면 비활성 상태라고 말하고 싶습니다. 이 예에서 getStartDate() 및 getEndDate()는 IllegalStateException을 발생시킵니다. 이는 "말이 안 되는" 상황입니다.

이 예를 반대편에서 보면 Period를 디자인할 때 safety 유형의 실패가 있습니다. 확인되지 않은 예외는 유형 시스템의 "구멍"을 나타냅니다. 따라서 Period에 대한 더 나은 유형 안전 설계는 확인되지 않은 예외를 사용하지 않는 설계입니다. 이 경우 IllegalStateException을 발생시키지 않는다는 의미입니다.

(실제로 실제 코드에서는 null을 확인하지 않고 이 코드 줄 다음에 NullPointerException을 발생시키는 getStartDate() 메서드를 접할 가능성이 더 높으며 이는 훨씬 더 나쁩니다.)

위의 Period 클래스를 Ceylon 스타일 클래스로 쉽게 변환할 수 있습니다.

public class Period {
    private final Date startDate;
    private final Date endDate;
    //returns null if the given String
    //does not represent a valid Date
    private Date parseDate(String date) {
       ...
    }
    public Period(String start, String end) {
        startDate = parseDate(start);
        endDate = parseDate(end);
    }
    public boolean isValid() {
        return startDate!=null && endDate!=null;
    }
    public Date getStartDate() {
        if (startDate==null) 
            throw new IllegalStateException();
        return startDate;
    }
    public Date getEndDate() {
        if (endDate==null)
            throw new IllegalStateException();
        return endDate;
    }
}

물론 이 코드도 원래 Java 코드와 동일한 문제에 직면하게 됩니다. 두 개의 주장 기호는 코드의 유형 안전성에 문제가 있음을 비명을 지르고 있습니다.

Java 코드 개선

Java에서 이 코드를 어떻게 개선할 수 있나요? 음, 여기 Java의 많은 비난을 받는 검사 예외가 매우 합리적인 솔루션이 될 수 있는 예가 있습니다! Period를 약간 수정하여 생성자에서 확인된 예외를 던질 수 있습니다:

shared class Period(String start, String end) {
    //returns null if the given String
    //does not represent a valid Date
    Date? parseDate(String date) => ... ;
    value maybeStartDate = parseDate(start);
    value maybeEndDate = parseDate(end);
    shared Boolean valid
        => maybeStartDate exists 
        && maybeEndDate exists;
    shared Date startDate {
        assert (exists maybeStartDate);
        return maybeStartDate;
    }
    shared Date endDate {
        assert (exists maybeEndDate);
        return maybeEndDate;
    }
}

이제 이 솔루션을 사용하면 비활성 상태의 Period를 가져오지 않고 인스턴스화합니다. Period의 코드는 다음에 의해 처리됩니다. 컴파일러는 유효하지 않은 입력 상황을 처리하며 DateFormatException 예외를 포착합니다.

public class Period {
    private final Date startDate;
    private final Date endDate;
    //throws if the given String
    //does not represent a valid Date
    private Date parseDate(String date)
            throws DateFormatException {
       ...
    }
    public Period(String start, String end) 
            throws DateFormatException {
        startDate = parseDate(start);
        endDate = parseDate(end);
    }
    public Date getStartDate() {
        return startDate;
    }
    public Date getEndDate() {
        return endDate;
    }
}

이것은 확인된 예외를 훌륭하고 완벽하며 올바르게 사용하는 것입니다. 불행히도 위와 같은 확인된 예외를 사용하는 Java 코드는 거의 볼 수 없습니다.

Ceylon 코드 개선

그렇다면 Ceylon은 어떨까요? Ceylon에는 확인된 예외가 없으므로 다른 솔루션을 찾아야 합니다. 일반적으로 Java에서 함수를 호출하면 확인된 예외가 발생하는 상황에서 Ceylon은 함수를 호출하고 공용체 유형을 반환합니다. 클래스 초기화 프로그램은 클래스 자체 이외의 어떤 유형도 반환하지 않으므로 혼합된 초기화/검증 논리를 팩토리 함수로 추출해야 합니다.

try {
    Period p = new Period(start, end);
    ...
}
catch (DateFormatException dfe) {
    ...
}

유형 시스템에 따라 호출자는 DateFormatError:

//returns DateFormatError if the given 
//String does not represent a valid Date
Date|DateFormatError parseDate(String date) => ... ;
shared Period|DateFormatError parsePeriod
        (String start, String end) {
    value startDate = parseDate(start);
    if (is DateFormatError startDate) {
        return startDate;
    }
    value endDate = parseDate(end);
    if (is DateFormatError endDate)  {
        return endDate;
    }
    return Period(startDate, endDate);
}
shared class Period(startDate, endDate) {
    shared Date startDate;
    shared Date endDate;
}

를 처리해야 합니다. 또는 주어진 날짜 형식의 실제 문제에 관심이 없다면(가능합니다. 초기화 코드에서 해당 정보가 손실된다고 가정하면 DateFormatError 대신 Null을 사용할 수 있습니다:

value p = parsePeriod(start, end);
if (is DateFormatError p) {
    ...
}
else {
    ...
}

팩토리 함수를 사용하는 접근 방식은 아무리 말해도 탁월합니다. 일반적으로 말하면 격리가 더 좋기 때문입니다. 이는 컴파일러가 개체의 모든 필드가 한 번만 할당되도록 개체 초기화 논리에 매우 엄격한 제한을 추가하는 Ceylon에서 특히 유용합니다.

위 내용은 Java 및 Ceylon 객체 구축 및 검증을 위한 코드 케이스 공유의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!