¿Quién extiende las interfaces? ¿Y por qué?

AFAIK, mi clase extends, clases e implementsinterfaces para padres . Pero me encuentro con una situación en la que no puedo usar implements SomeInterface. Es la declaración de un tipo genérico. Por ejemplo:

public interface CallsForGrow {...}

public class GrowingArrayList <T implements CallsForGrow>  // BAD, won't work!
                              extends ArrayList<T> 

Aquí el uso implementsestá sintácticamente prohibido. Primero pensé que está prohibido usar la interfaz dentro de <>, pero no. Es posible, solo tengo que usar en extendslugar de implements. Como resultado, estoy "extendiendo" una interfaz. Este otro ejemplo funciona:

public interface CallsForGrow {...}

public class GrowingArrayList <T extends CallsForGrow>  // this works!
                              extends ArrayList<T> 

A mí me parece una inconsistencia sintáctica. ¿Pero tal vez no entiendo algunas sutilezas de Java 6? ¿Hay otros lugares donde debería extender las interfaces? ¿Debería la interfaz, que quiero extender, tener algunas características especiales?

En el caso de las variables de tipo genérico, al compilador no le importa si Tes una clase, una interfaz, una enumeración o una anotación. Lo único que le importa es que sea un tipo con un conjunto dado de subtipos y supertipos.

Y no hay ninguna razón para complicar la sintaxis solo porque en otro lugar (donde realmente implementa una interfaz) la distinción entre clases e interfaces es relevante (por ejemplo, si es implementuna interfaz, necesita implementar todos los métodos que define, pero usted no es necesario, si eres extenduna clase (no abstracta)).

Suponiendo por un momento que tendría que escribir implementsaquí, también necesitaría una sintaxis separada para los enumvalores (en lugar de simplemente escribir <E extends Enum<E>>) y anotaciones (que puede declarar fácilmente usando <A extends Annotation>).

El único lugar donde necesita escribir implementses en el punto donde realmente implementa la interfaz. En ese punto (y solo ese punto) la diferencia es importante, porque debe implementar los métodos definidos en la interfaz. Para todos los demás, no importa si alguno Aes una clase base o una interfaz implementada de B: es un supertipo y eso es todo lo que importa.

También tenga en cuenta que hay otro lugar donde lo usa extendscon las interfaces:

interface A {
}

interface B extends A {
}

En este punto implementsestaría mal, porque B no se implementa A .

Cuando Java 5, y en particular los genéricos, se pusieron inicialmente a disposición de los desarrolladores que habían registrado un interés, la sintaxis era bastante diferente. En lugar de Set<? extends Foo>y Set<? super Bar>tenía Set<+Foo>y Set<-Foo>. Sin embargo, la respuesta fue que no estaba claro si +significaba más específico o más amplio (más clases) . Sun respondió a esa retroalimentación cambiando la sintaxis, pero dentro de la restricción de no introducir nuevas palabras clave, lo que habría sido un problema para la compatibilidad con versiones anteriores.

El resultado es que ninguno de los dos es bastante natural. Como observa, extendsestá sobrecargado para hablar de clases que "amplían" las interfaces, que no es el lenguaje utilizado en otros contextos; y superse sobrecarga para significar "es una superclase de", que es la dirección opuesta de la relación expresada previamente por la palabra clave, es decir, se refiere a una superclase.

Sin embargo, los fundamentos de lo que es una interfaz no se ven afectados por este cambio, y no introduce interfaces especiales que se extiendan de una manera nueva.

Existen desventajas en permitir y prohibir dicha sintaxis, y las de permitir son mucho mayores.

Solo piensa en ello.

La separación de la interfaz y la implementación es uno de los modismos fundamentales de programación. Debido a eso, la sintaxis que permite deletrear "la interfaz implementa algo" sería tan mala como la que usa el signo más para denotar la multiplicación de operandos.

Es necesario comprender la programación dirigida por la interfaz como el siguiente paso al comprender una interfaz. Indica cuál es el uso real de la interfaz. Qué papel juega en un programa Java (o cualquier otro lenguaje).