Diferencia entre variable de tipo y parámetro de tipo en el documento Wild FJ?

S. Mateo:

El primer párrafo de las secciones 2 y 3 utilizan el término "parámetro de tipo". A continuación, la primera frase de la sección 3.1 introduce el término "tipo variable." Teniendo en cuenta el contexto en el que se encuentra y la falta de información en Google sólo puedo suponer que "variable de tipo" se utiliza para referirse a los comodines en concreto. Esto es que estoy bastante de que el papel "innovador" que llevó a la aplicación de comodines en Java, que se puede encontrar aquí.

Andreas:

En un método, foo(int x)se utiliza la siguiente terminología:

• El método tiene 1 parámetro formal ( int x), sin embargo, que a menudo se acorta a parámetro , que conduce a la confusión potencial. intes el tipo de parámetro y xes el nombre del parámetro .

• xes una variable de parámetro , sin embargo, que a menudo se acorta a parámetro , que conduce a la confusión potencial.

• En una llamada, foo(5)el valor se llama un argumento , sin embargo, que a menudo se llama un valor de parámetro , abreviado como parámetro , lo que lleva a la confusión potencial. Cuando se necesita una aclaración, se le llama un parámetro real .

Como se puede ver, el uso de la palabra abreviada parámetro puede significar int x, xo 5, dependiendo del contexto.

Para los tipos genéricos, Foo<X extends Number>una nomenclatura similar se utiliza:

• El tipo tiene 1 parámetro de tipo , donde extends Numberes el tipo unido , y Xes el identificador de tipo .

• Xes una variable de tipo .

• Cuando se utiliza, Foo<Integer>la Integerparte se llama un argumento de tipo . El argumento tipo puede ser un comodín.

No hay que confundir a los métodos parameter typecon unos genéricos type parameter.

Como se puede ver, su conclusión de que "" variable de tipo "se utiliza para referirse a los comodines específicamente" es incorrecta. Tipo de variable se refiere al nombre parámetros de tipo, independientemente de si el parámetro de tipo está obligado o no.

El tipo "real" de la variable de tipo, es decir, el argumento de tipo, puede o no puede ser un comodín, puesto que se especifica en el uso del tipo genérico, no en la definición del tipo genérico.

A genéricos variable de tipo solamente se hace referencia en la definición del tipo genérico, de forma similar a cómo un métodos variable de parámetro solamente se hace referencia en el cuerpo del método.