user24723440's questions

sealed interface I permits A, B, C { }
final class A implements I { }
final class B implements I { }
record C(int j) implements I { } // Implicitly final
record Box(I i) { }
int testExhaustiveRecordPatterns(Box b) {
    return switch (b) { // Exhaustive!
        case Box(A a) -> 0;
        case Box(B b) -> 1;
        case Box(C c) -> 2;
    };
}

Este é um exemplo que aparece na especificação da linguagem Java 22 (14.11.1.1) .

Posteriormente, a especificação fornece algumas explicações:

Determinar se esse bloco de switch é exaustivo requer a análise da combinação dos padrões de registro. O conjunto que contém o padrão de registro Box(I i)cobre o tipo Box, e assim o conjunto que contém os padrões Box(A a), Box(B b), e Box(C c)pode ser reescrito para o conjunto que contém o padrão Box(I i). Isso ocorre porque o conjunto que contém os padrões A a, B b, C creduz-se ao padrão I i(porque o mesmo conjunto cobre o tipo I), e assim o conjunto que contém os padrões Box(A a), Box(B b), Box(C c)reduz-se ao padrão Box(I i).

No entanto, ainda não é detalhado o suficiente para mim. Posso ver que essas regras devem ser citadas ao determinar se o bloco switch é exaustivo (Algumas regras relevantes):

O bloco switch de uma expressão switch ou instrução switch é exaustivo para uma expressão seletora ese um dos seguintes casos se aplicar:

• O conjunto que contém todas as constantes de caso e padrões de caso que aparecem em um rótulo de caso desprotegido (conhecidos coletivamente como elementos de caso ) associado ao bloco switch não é vazio e cobre o tipo da expressão do seletor e.

Um conjunto de elementos de caso, P, cobre um tipo Tse um dos seguintes casos se aplicar:

• O tipo Tnomeia uma classe selada abstrata ou interface selada Ce para cada subclasse ou subinterface direta permitida Dde C, uma das duas condições a seguir é válida:

1. Não existe um tipo que nomeie De seja um subtipo de T, ou
2. Existe um tipo Uque nomeia De é um subtipo de T, e Pabrange U.

• P reescreve para um conjunto Qe Qcobre T.

Um conjunto de elementos de caso, P, é reescrito no conjunto Q, se um subconjunto de Pfor reduzido a um >padrão p, e Qconsiste nos elementos restantes de Pjunto com o padrão p.

Um conjunto não vazio de padrões, RP, reduz-se a um único padrão rpse uma das seguintes condições for válida:

– RPabrange algum tipo Ue rpé um padrão de tipo do tipo U.

– RPconsiste em padrões de registro cujos tipos apagam todos para a mesma classe de registro Rcom k(k≥1) componentes e há um componente distinto cr(1≤r≤k) de Rtal forma que para cada outro componente ci (1≤i≤k, i≠r) o conjunto contendo os padrões de componentes dos padrões de registro correspondentes ao componente cié equivalente a um único padrãoqi , o conjunto contendo os padrões de componentes dos padrões de registro correspondentes ao componente crreduz-se a um único padrãoq e rpé o padrão de registro do tipo Rcom uma lista de padrões consistindo nos padrões q1, ..., qr-1, q, qr+1, ..., qk.

Um conjunto não vazio de padrões EP é equivalente a um único padrão ep se uma das seguintes condições for válida: › EPconsiste em padrões de tipo cujos tipos têm todos a mesma eliminação T, e epé um padrão de tipo do tipo T. › EPconsiste em padrões de registro cujos tipos apagam todos para a mesma classe de registro Rcom k(k≥1) componentes e para cada componente de registro o conjunto contendo os padrões de componentes correspondentes dos padrões de registro é equivalente a um único padrão qj(1≤j≤k), e epé o padrão de registro do tipo Rcom uma lista de padrões de componentes consistindo nos padrões de componentes q1,...qk.

No entanto, tenho alguma dificuldade em entender essas regras, especialmente as partes em negrito. Por exemplo,O que significa " from the record patterns matching to component ci "," from the record patterns matching to the component cr "?Para ser mais preciso, acho que não entendi bem o significado de " matching to " aqui. De acordo com as explicações na especificação, acho que a frase "This is because the set containing the patterns A a, B b, C creduces to the pattern I i" deve ter usado as regras na parte em negrito.No entanto, não consigo descobrir como A a, B b, C csurgiu.

Você poderia me ajudar a analisar os regulamentos na especificação em combinação com os exemplos?Sei que não é uma tarefa fácil. Obrigado por ler e responder.

Tenho algumas dúvidas sobre certas partes da correspondência definitiva na especificação da linguagem Java.

Por exemplo, em 6.3.1.1:

Operador condicional-and && As seguintes regras se aplicam a uma expressão condicional-and a && b(§15.23):

• Uma variável de padrão introduzida por aquando true é definitivamente correspondida em b.

• Uma variável de padrão é introduzida por a && bquando verdadeiro se (i) for introduzida por aquando verdadeiro ou (ii) for introduzida por b quando verdadeiro.

Deve-se notar que não há regra para introduzir uma variável de padrão por a && bquando false. Isso ocorre porque não é possível determinar em tempo de compilação qual operando será avaliado como false .

Não entendo por que o motivo para "não há regra para introduzir uma variável de padrão por a && b quando falso" é "não é possível determinar em tempo de compilação qual operando será avaliado como falso".

Se houver

a instanceof String s

então a variável padrão   s  é introduzida por esta expressão somente quando o valor desta expressão é   true  . Então podemos dizer "a variável padrão sé introduzida pela expressão a instanceof String squando true".

Seja " quando verdadeiro " ou " quando falso ", ambos parecem ser apenas escritos gerados pela previsão do valor de uma expressão. (Ou melhor, eles levam o valor da expressão em consideração.)

Acho que isso é completamente diferente de " quando verdadeiro " ou " quando falso " que aparecem na atribuição definida .

Por exemplo:

{
 int k;
 int n = 5;
 if (n > 2)
 k = 3;
 System.out.println(k); /* k is not "definitely assigned"
 before this statement */
}

16.2.7:

As seguintes regras se aplicam a uma declaração if (e) S:

• Vé [des]atribuído após if (e) Sse e somente se V é [des]atribuído após Se V é [des]atribuído após e quando falso .

Acho que se " quando falso " aqui for o mesmo que em correspondência definida , então kserá definitivamente atribuído aqui.

Então, acho que a atribuição definida não leva em conta o valor de uma expressão ( exceto para algumas expressões com constantes de tempo de compilação ), (assim como a especificação declara), (assim como neste exemplo), mas a correspondência definida obviamente considera o valor da expressão (assim como no exemplo anterior).

Nesse caso, acho que devo conseguir adicionar o seguinte depois da versão 6.3.1.1:

Uma variável de padrão é introduzida por a && bquando falso se (i) for introduzida por aquando falso ou (ii) for introduzida por a quando verdadeiro ou (iii) for introduzida por bquando averdadeiro.

Acho que não há nada de errado nisso, porque estou apenas considerando os valores dessas expressões e anotando as situações previstas. Isso não tem nada a ver com os valores em tempo de compilação.

No entanto, a nota de rodapé é completamente diferente da minha visão e contém motivos que não entendo de forma alguma.

Então estou aqui para pedir ajuda. Obrigado por ler e responder.

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.