Come salvare, se è possibile, un record Java in un file .dat

[tulipan]

Buon pomeriggio!

Ho definito un record Java così:

public record Prodotto() {
     public static int[] codice =new int[3];
     public static char[] denominazione=new char[30];
     public static Integer prezzoUnitario;
     public static enum reparto{Alimentare, Abbigliamento, Casalinghi};
}

Quello che adesso vorrei fare e salvare esso in un file .dat. E' possibile una cosa del genere? Se no, come posso fare differentemente?

Grazie
tulipan

[andbin]

Quello che adesso vorrei fare e salvare esso in un file .dat.

La questione è che l'estensione .dat è molto (troppo...) generica, nel senso che di per sé non vuol dire nulla di specifico. Se non il fatto che il file contiene (guardacaso...) dei "dati". Ma quale sia la forma/struttura di questi dati, è tutto da stabilire, potrebbe essere molte cose: un file di testo puro, un file binario con struttura proprietaria, un file criptato, un file con la serializzazione degli oggetti di Java, ecc...

Quindi bisogna precisare COSA si vuole mettere nel file come forma/struttura, altrimenti la richiesta non ha senso ..

public record Prodotto() {
     public static int[] codice =new int[3];
     public static char[] denominazione=new char[30];
     public static Integer prezzoUnitario;
     public static enum reparto{Alimentare, Abbigliamento, Casalinghi};
}

Questo che hai scritto comunque non è nemmeno corretto/sensato. Gli "static" non vanno messi lì. Per la enum lo static è superfluo, poiché le nested-enum sono già implicitamente static. E ad ogni modo, pone dubbi tipo: perché codice è un array? Cosa contiene? Perché denominazione è un char[] e non un più comune String??

Considera inoltre che i nuovi "record" consentono di definire una data class “immutabile”, quindi potrebbe non essere quello che ti serve.