Ricerca di file con base SML

Question

C'è un modo, utilizzando la libreria Basi SML, per aprire un file in una posizione specifica? Cioè, usa una chiamata al sistema operativo per cambiare la posizione, piuttosto che scansionare il file e buttare via i dati.

Answer 1

Questo è difficile. Sfortunatamente, la ricerca non è direttamente supportata. Inoltre, le posizioni dei file sono trasparenti solo per i file binari, cioè quelli che sono stati aperti con la struttura BinIO [1]. Per questa struttura, il tipo corrispondente BinIO.StreamIO.pos è definito come Position.int, che è un tipo intero.

Tuttavia, in un sistema SML che supporta lo stack completo di I/O da quella standard si dovrebbe essere in grado di sintetizzare la seguente funzione cercare utilizzando i più bassi di I/O strati:

(* seekIn : BinIO.instream * Position.int -> unit *) 

fun seekIn(instream, pos) = 
    case BinIO.StreamIO.getReader(BinIO.getInstream instream) of 
     (reader as BinPrimIO.RD{setPos = SOME f, ...}, _) => 
     (f pos; 
      BinIO.setInstream(instream, 
      BinIO.StreamIO.mkInstream(reader, Word8Vector.fromList[])) 
     ) 
    | (BinPrimIO.RD{name, ...}, _) => 
     raise IO.Io{ 
      name = name, 
      function = "seekIn", 
      cause = IO.RandomAccessNotSupported 
     } 

utilizzarlo come:

val file = BinIO.openIn "filename" 
val _ = seekIn(file, 200) 
val bin = BinIO.inputN(file, 1000) 

Se avete bisogno di convertire da Word8Vector a stringa:

val s = Byte.bytesToString bin 

Puoi anche fare l'equivalente per i flussi esterni.

[1] http://standardml.org/Basis/bin-io.html#BIN_IO:SIG:SPEC

Answer 2

Se si riesce a entrare in possesso del reader/writer, allora non dovrebbe avere getPos, setPos e endPos funzioni, a seconda di quale tipo di lettore/scrittore si sta trattando.