SMLベーシスを求めるファイル

Question

SMLベーシスライブラリを使用して、特定の位置でファイルを開く方法はありますか？つまり、ファイルをスキャンしてデータを破棄するのではなく、オペレーティングシステムコールを使用して位置を変更します。

Answer 1

これは扱いにくいです。残念ながら、シークは直接サポートされていません。さらに、ファイルの位置は、バイナリファイル、すなわちBinIO構造[1]で開かれたものに対してのみ透過的です。この構造の場合、対応するタイプBinIO.StreamIO.posは、整数タイプのPosition.intと定義されています。それはように使用

(* 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 
     } 

：

しかし、標準から完全なI/OスタックをサポートしているSMLシステムでは、あなたは下のI/Oレイヤを使用して関数を求め、以下の合成することができるはずです。

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

あなたはWord8Vectorから文字列に変換する必要がある場合

：

val s = Byte.bytesToString bin 

同様にアウトストリームに対しても同様の処理を行うことができます。

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

Answer 2

あなたがreader/writerのホールドを取得するために管理することができれば、彼らはあなたが扱っているリーダ/ライタの種類に応じて、getPos、setPosとendPos機能を持っている必要があります。