Generic Func 질문이 있습니다

강사님 Generic Func에서

// origin
fun <T> List<T>.hasIntersection(other: List<T>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}

// error
fun <T> List<T: Any>.hasIntersection(other: List<T>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}

// error
fun <T> List<T>.hasIntersection(other: List<T : Any>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}

// error
fun <T> List<T: Any>.hasIntersection(other: List<T : Any>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}

// ok
fun <T : Any> List<T>.hasIntersection(other: List<T>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}

이렇게 되더라구요! 맨 앞에 <T>가 반환타입(List<T>)과 인자타입(other: List<T>) 까지 함께 선언해주는 declaration-site variance의 형태를 띄고 있어서 그런건가요?

생각해보면 들어갈 수 있는 타입은 nullable인데 반환타입은 not null이거나 그 반대가 되면 헷갈릴 것 같아요. 그것을 막아둔것같기도 하구요!

이렇게 제네릭 메서드를 만드는 경우에도 generic 제약을 줄 수 있는거죠!?

좀 더 실 사용에 가깝게 타입가드까지 하려면

fun <T : Number> List<T>.hasIntersection2(other: List<T>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}

이런 느낌으로 쓰일것같은데.. 맞나요?

코틀린 고급편 잘 듣고있습니다 ~_~

fun <T : Any> List<T>.hasIntersection(other: List<T>): Boolean {
    return (this.toSet() intersect other.toSet()).isNotEmpty()
}