[%] 그래도 역시 자바는 좆같긴 함

[익명(221.149)]

class Main { public static void main(String[] args) { Object s = "123"; if (s instanceof String) { System.out.println(s.length()); } } }

타입 추론이 안 돼서 이 코드는 안 돌아감...

내년에 가능할 예정인데 이런 간단한 걸 2025년이나 돼야 할 수 있다는 게 놀랍다

[bill(oioos)]

그러네 저거 length 찍어보려면 다 타입캐스팅 해줘야하네 instance of는 런타임에 검사하는거라 분기는 타는데

[익명(118.41)]

이런건 추론보다 narrowing이라고 하지 않나? 그리고 자바 16부터인가 패턴매칭 추가돼서 if (s instanceof String str)이라고 쓰면 str로 쓸 수 있음

[익명(221.149)]

narrowing이 타입 추론 중 하나라고 알고 있음 뭐 이런 거야 정의하기 나름이지만

[익명(221.149)]

글고 이거 패턴매칭해도 안 됨

[익명(118.41)]

방금 jdk 21로 컴파일해봤는데 잘 되는데

[익명(221.149)]

아 내가 코드 잘못쳤노 16에서 작동함