Comment fonctionne l'opérateur de distribution de Java?

Est le JLS assez bon?

Casting de conversion est appliqué à l'opérande d'un opérateur de cast (§15.16): le type de l'opérande de l'expression doit être converti dans le type explicitement nommé par l'opérateur de cast. Casting contextes permettent l'utilisation de:

• une identité de conversion (§5.1.1)
• un élargissement des primitives de conversion (§5.1.2)
• un rétrécissement primitives de conversion (§5.1.3)
• un élargissement de la conversion de référence (§5.1.5) suivie éventuellement par une unchecked conversion (§5.1.9)
• un rétrécissement de conversion de référence (§5.1.6) suivie éventuellement par une unchecked conversion
• un boxe de conversion (§5.1.7)
• un unboxing de conversion (§5.1.8).

En fait, peut-être cette partie est plus pertinent:

Les règles détaillées pour la compilation de la légalité d'un casting de conversion d'une valeur au moment de la compilation de référence de type S à un moment de la compilation de référence de type T sont comme suit:

• Si
  S est un type de classe:
  • Si T est
    un type de classe, alors |S|
    <: |T| ou |T| <:
    |S|; sinon au moment de la compilation
    erreur se produit. En outre, si
    il existe un supertype X de
    Tet un supertype Y de
    Sde sorte que les deux X et
    Y sont sensiblement distinctes
    type paramétré (§4.5),
    et que les ratures de X et
    Y sont les mêmes, au moment de la compilation
    erreur se produit.
  • Si T est un type d'interface:
    • Si
      S n'est pas un final
      catégorie (§8.1.1),
      ensuite, s'il existe un supertype
      X Tet un supertype
      Y Sde sorte que les deux
      X et Y sont sensiblement
      distinctes type paramétré, et que
      les ratures de X et Y
      sont les mêmes, une erreur de compilation
      se produit. Sinon, le casting est toujours
      juridique au moment de la compilation (parce que même si
      S ne pas mettre en œuvre T
      une sous-classe de S).
    • Si S est un
      final classe (§8.1.1),
      ensuite S doit mettre en œuvre des T,
      ou une erreur de compilation se produit.
  • Si T
    est un type de variable, alors ce
    l'algorithme est appliqué de manière récursive,
    en utilisant la limite supérieure de T
    la place de T.
  • Si T est
    un type tableau, puis S doit être
    la classe Object, ou un
    erreur de compilation se produit.
• Si S est
  un type d'interface:
  • Si T est
    un type tableau, puis T doit
    mettre en œuvre des S, ou au moment de la compilation
    erreur se produit.
  • Si T est un type qui n'est pas
    final (§8.1.1),
    alors si il existe un supertype
    X Tet un supertype
    Y Sde sorte que les deux
    X et Y sont sensiblement
    distinctes type paramétré, et que
    les ratures de X et Y
    sont les mêmes, une erreur de compilation
    se produit. Sinon, le casting est toujours
    juridique au moment de la compilation (parce que même si
    T ne pas mettre en œuvre S
    une sous-classe de T).
  • Si T est
    un type qui est final,
    alors:
    • Si S n'est pas paramétrée
      type ou d'une crue de type, puis T doit
      mettre en œuvre des S, et le casting est
      statiquement connu pour être correct, ou un
      erreur de compilation se produit.
    • Autrement,
      S est un paramétrable
      type qui est une invocation de certains
      générique de la déclaration de type G, ou
      une crue de type correspondant à un générique
      la déclaration de type G. Puis il y a
      il doit exister un supertype X de
      T tels que X est un
      l'invocation de la G, ou
      erreur de compilation se produit.
      En outre, si S et X
      sont sensiblement distinctes paramétrable
      donc une erreur de compilation
      se produit.
• Si S est
  une variable de type, alors cet algorithme
  est appliquée de manière récursive, à l'aide de la
  la limite supérieure de S à la place de
  S.
• Si
  S est un tableau de type SC[],
  c'est, d'une gamme de composants de
  type SC:
  • Si T est un
    le type de classe, alors si T n'est pas
    Objectpuis un
    erreur de compilation se produit (parce que
    Object est la seule classe
    type de tableaux qui peuvent être affectés).
  • Si T
    est un type d'interface, puis un
    erreur de compilation se produit, sauf si
    T est le type
    java.io.Serializable ou
    le type Cloneable, l'
    seulement les interfaces implémentées par des tableaux.
  • Si T
    est une variable de type, puis:
    • Si le haut
      lié de T est
      Object ou le type
      java.io.Serializable ou
      le type Cloneable, ou un
      variable de type S
      légalement être exprimées par récursivement
      l'application de ces règles, puis le casting est
      juridique (si coché).
    • Si le haut
      lié de T est de type tableau
      TC[]puis une erreur de compilation
      se produit, sauf si le type SC[]
      être jeté à l' TC[] par un appel récursif
      l'application de ces moment de la compilation
      règles pour la coulée.
    • Sinon, un
      erreur de compilation se produit.
  • Si T est
    un tableau de type TC, [], qui est un
    gamme de composants de type TC,
    puis une erreur de compilation se produit
    à moins que l'une des conditions suivantes est remplie:

  • TC et SC sont les
    même type de primitive.
  • TC et
    SC sont des types référence et le type
    SC peut être converti en TC par
    une application récursive de ces
    au moment de la compilation des règles pour la coulée.

Parfaitement clair maintenant, n'est-ce pas? 😀

En d'autres termes, c'est le mieux que je puisse faire sans connaître plus de détails au sujet de votre problème.

Casting affirme que l'exécution de type d'un objet est compatible avec le type statique, et donc vous permet d'appeler des méthodes de ce type sur l'objet.

Ici obj est un objet Integer, mais seulement accessible si une référence d'Objet:

Object obj = new Integer(1);

Casting vous permet de le traiter comme un Entier (ou une super-classe de Entier) nouveau:

System.out.println(((Integer) obj).intValue());

ClassCastException occours lorsque le type statique donnée ne correspond pas à l'exécution type de l'objet:

System.out.println(((Float) obj).intValue()); //runtime error

Vous pouvez trouver le runtime type d'un objet à l'aide de getClass() et les différentes méthodes de la Classe:

System.out.println(obj.getClass()); //prints "class java.lang.Integer"