Groovy mixed typing

Question

Groovy 2.0에서 optional static checking을 트리거하는 클래스 또는 메소드에 TypeChecked 주석을 추가 할 수 있습니다.

나는 그런 것들이 어떻게 작동하는지 혼란 스럽다는 것을 인정해야한다. 이 기사에서는 간단한 예제를 제공합니다.

@TypeChecked 
Date test() { 
    // compilation error: 
    // cannot assign value of Date 
    // to variable of type int 
    int object = new Date() 

    String[] letters = ['a', 'b', 'c'] 
    // compilation error: 
    // cannot assign value of type String 
    // to variable of type Date 
    Date aDateVariable = letters[0] 

    // compilation error: 
    // cannot return value of type String 
    // on method returning type Date 
    return "today" 
} 

이 경우 일부 검사가 실패합니다. 그러나 일반적으로, 검사 된 타입 B 안에, 타입이 체크되지 않은, 메소드 A의 리턴 값을 사용할 것입니다. 이 경우에는 컴파일러가 메서드 B 형식이 일관되는지 여부를 알아낼 수있는 방법이 표시되지 않습니다.이 메서드는 A 메서드의 반환 값에 대한 정보가 충분하지 않기 때문입니다.

일반적으로 유형 안전성을 유지하면서 코드 서브 세트에서 유형 확인을 사용하려면 어떻게해야합니까?

편집

나는 예를 만들려고. 내가 늙은 클래스를

class Old { 
    public getFoo() { 
    return 1 
    } 
} 

을 가지고

@TypeChecked 
class New { 
    int doubleFoo() { 
    return 2 * (new Old().foo) 
    } 
} 

컴파일러와 같은 유형 검사 코드에서 사용하려고하면 단지 무엇을 알고, 나는 그것이 실패합니다 생각하지 않습니다 무엇 컴파일 (Groovy2를 점검 할 작업에 여기에 설치하지 않았습니다). 그러나이 경우 Groovy2 이전에 작성된 코드를 사용하는 것이 문제가됩니다. 그래서 나는 더 정교한 것이 행해졌다고 생각하지만, 나는 무엇을 확신 할 수 없다.

Answer 1

그런 문제는 없습니다. 검사되지 않은 클래스에서 메서드를 호출하면 선언 된 반환 형식이 사용되며 Groovy의 Java 메서드를 사용하는 경우와 동작이 동일합니다.

는 다음과 같은 예를 보자 이제

class A { 
    int foo() { 1 } 
} 

@TypeChecked 
class B { 
    void bar() { 
     int x = new A().foo() // uses the type from A.foo, correct 
    } 
} 

을,이 상상 :

class A { 
    Date foo() { new Date() } 
} 

@TypeChecked 
class B { 
    void bar() { 
     int x = new A().foo() // uses the type from A.foo, foo returns a Date, the compiler throws an error 
    } 
} 

주 당신이에 크게 의존하는 코드가있는 경우 일반적으로, 당신은 하나의 클래스에 혼합 된 유형 검사를 사용하는 것이 유형 검사기가 분명히 확인할 수없는 동적 코드. 예를 들어 빌더에 의존하는 경우입니다. 그렇다면 빌더를 검사하지 않은 채 사용하는 메소드를 선언하고 나머지 코드는 검사합니다. 체크되지 않은 메서드가 호환 가능한 형식을 반환하는 한 유형 안전이 보장됩니다.