Comment fonctionne la sérialisation java désérialiser final champs lorsque aucun constructeur par défaut spécifié?

J'ai une classe définissant une valeur immuable type que j'ai maintenant besoin de sérialiser. L'immutabilité vient de la finale de champs qui sont définis dans le constructeur. J'ai essayé de la sérialisation, et il fonctionne (étonnamment?) - mais je n'ai aucune idée de comment.

Voici un exemple de la classe

public class MyValueType implements Serializable
{
    private final int value;

    private transient int derivedValue;

    public MyValueType(int value)
    {
        this.value = value;
        this.derivedValue = derivedValue(value);
    }

    //getters etc...
}

Étant donné que la classe n'ont pas non arg constructeur, comment peut-il être instancié et la finale de champ?

(Un côté - j'ai remarqué cette classe, en particulier parce que l'IDÉE n'était pas de la génération d'un "pas de serialVersionUID" inspection avertissement pour cette classe, pas encore réussi à produire des mises en garde pour les autres classes que je viens de sérialisable.)

InformationsquelleAutor mdma | 2010-05-25
  1. 39

    La désérialisation est mis en œuvre par la JVM sur un niveau en dessous de la langue de base des constructions. Plus précisément, il ne s'agit pas de tout constructeur.

    • En fait, il appelle le constructeur sans paramètre. Seules les classes avec un constructeur sont sérialisables.
    • Pas vrai. Vous pouvez sérialiser une classe sans constructeur par défaut.
    • mon mauvais. J'ai confondu avec le fait que les non-sérialisable des super-classes de types sérialisables doit disposer d'un tel constructeur.
    • bon, alors Michael réponse est en fait légèrement inexacte (pas que c'est important pour le but de cette question). La désérialisation fait appel au constructeur de la dernière non-classe sérialisable dans la hiérarchie.
    InformationsquelleAutor Michael Borgwardt
  2. 19

    Étant donné que la classe n'ont pas non arg constructeur, comment peut-il être instancié et la finale de champ?

    Une certaine mauvaise magie noire qui se passe. Il y a une porte dérobée dans la machine qui permet à un objet d'être créé sans invoquer de tout constructeur. Les champs de la nouvelle de l'objet sont d'abord initialisé à leurs valeurs par défaut (false, 0, null, etc), et puis la désérialisation des objets code remplit les champs avec les valeurs du flux d'objet.

    (Maintenant que Java est open source, vous pouvez lire le code qui fait cela ... et pleurer!)

    • En fait, vous n'avez même pas besoin méchant de la magie noire, de la réflexion (un.k.un. méchant gris de la magie 😉 peut être utilisée pour définir final champs. Il fonctionne tant que les valeurs avant de les champs sont en lecture la première fois.
    • mais la magie noire qui est nécessaire pour créer l'objet sans l'exécution de tous les constructeurs.
    InformationsquelleAutor Stephen C
  3. 12

    Michael et Stephen vous a donné une excellente réponse, je veux juste vous mettre en garde sur transient champs.

    Si la valeur par défaut (null pour les références, 0 pour les primitives ) n'est pas acceptable pour eux après la désérialisation, alors vous devez fournir votre version de readObject et l'initialiser là.

        private void readObject (
            final ObjectInputStream s
        ) throws
            ClassNotFoundException,
            IOException
    {
        s.defaultReadObject( );

        //derivedValue is still 0
        this.derivedValue = derivedValue( value );
    }
    • Grand commentaire, merci pour l'exemple.
    • Vous pouvez également affecter une valeur dans le champ de la déclaration, si elle est suffisante.
    InformationsquelleAutor Alexander Pogrebnyak