Início / coding / Perguntas / 79061680
Accepted
user24723440
Asked: 2024-10-07 19:02:03 +0800 CST

Que situação é explicada pela seguinte declaração na especificação da linguagem Java?

  • 772

JLS 4.8:

É um erro de tempo de compilação passar argumentos de tipo para uma classe membro não estática ou interface de um tipo bruto que não é herdado de suas superclasses ou superinterfaces.

Não consigo pensar em quando essa frase deve ser usada. Eu mesmo concebi um pedaço de código:

class OuterGenericClass<T> {
    class InnerGenericClass<U> {}
}

public class Main {
    public static void main(String[] args) 
        OuterGenericClass outer = new OuterGenericClass();    //The raw type OuterGenericClass is used
        OuterGenericClass<String>.InnerGenericClass<Integer> inner = outer.new InnerGenericClass<Integer>(); //error
    }
}

Não acho que passei um argumento de tipo para a classe interna. Só adicionei um argumento de tipo ao seu construtor. Então, mais tarde, pensei que meu exemplo não deveria ser explicado por esta frase.

Então, que situação essa frase ilustra? Você poderia me dar um exemplo? Obrigado pela leitura.

java

1 respostas

  1. Best Answer

    Esta regra proíbe “tipos semi-parametrizados” enquanto ainda permite tipos brutos. Tipos brutos são tipos genéricos sem parâmetros de tipo fornecidos. Eles são fornecidos como um recurso legado e não devem ser usados ​​em código novo. (Observe que, devido à eliminação de tipo, o código que usa tipos brutos normalmente compila para o mesmo que o código que usa tipos parametrizados).

    As seguintes declarações do JLS 4.8 são apropriadas:

    O uso de tipos brutos é permitido apenas como uma concessão à compatibilidade de código legado. O uso de tipos brutos em código escrito após a introdução de genéricos na linguagem de programação Java é fortemente desencorajado.

    e

    Não há justificativa prática para esse tipo malfeito [meio parametrizado]. Em código legado, nenhum argumento de tipo é usado. Em código não legado, devemos usar os tipos genéricos corretamente e passar todos os argumentos de tipo necessários.

    Um exemplo da situação descrita em sua citação é dado na caixa alguns parágrafos acima. Dada a seguinte declaração de classe:

    class Outer<T>{
    class Inner<S> {
        S s;
    }
}

    A seguinte declaração é ilegal de acordo com a regra que você citou:

    Outer.Inner<Double> w; // illegal

    Aqui, Outer é usado como um tipo bruto, pois não recebe nenhum parâmetro de tipo. Portanto, Outer.Inner é uma “classe membro não estática de um tipo bruto que não é herdada de sua superclasse”. Portanto, passar argumentos de tipo para ela é ilegal.

    Os seguintes formulários são legais:

    Outer.Inner x; // ok, fully raw (legacy)
Outer<Integer>.Inner<Double> y; // ok

    O formato a seguir também é ilegal, pois mistura tipos brutos e parametrizados de maneira diferente, e é proibido pelo parágrafo após o que você citou ("É um erro de tempo de compilação tentar usar uma classe membro ou interface de um tipo parametrizado como um tipo bruto."):

    Outer<Integer>.Inner z; // illegal

    Experimente o código online .

    • 2

relate perguntas