[ruby-dev:22225] Re: yet another inconsistency about EOF between StringIO and IO

In article <[e-mail]>,
  Tanaka Akira <[e-mail]> writes:

> あとこれも

結局、網羅的に StringIO と IO を比較してしまい、次のを見つけました。

% echo -n > zz
% ruby -e 'f = open("zz")
p f.read
open("zz", "w") {|g| g << "a" }
p f.read
'
""
nil

% ruby -rstringio -e 'buf = ""
f = StringIO.new(buf)
p f.read
buf << "a"
p f.read
'
""
"a"

まぁ、横から内容をいじるのはさすがに反則な気もします。

あと、思ったのですが、EOF flag に依存した挙動を仕様とするのは IOモドキ
を作る時にすごく間違いやすいため、結局、仕様を EOF flag に依存しないよ
うに変えるほうが適切なのかもしれません。つまり、read(nil) を常に
String を返すようにするわけですが。

比較スクリプト:
require 'stringio'
require 'tempfile'

def make_io(content, pos, eof)
  io = Tempfile.new("xxx")
  io.seek pos
  io.read if eof
  open(io.path, "w") {|f| f << content }
  if content != File.read(io.path)
    p [:io_content, content, pos, eof, io.string]
  end
  if pos != io.pos
    p [:io_pos, content, pos, eof, io.pos]
  end
  if eof != !io.read(0)
    p [:io_eof, content, pos, eof, io.read(0)]
  end
  io
end

def make_stringio(content, pos, eof)
  buf = ""
  io = StringIO.new(buf)
  io.seek pos
  io.read if eof
  buf << content
  if content != io.string
    p [:stringio_content, content, pos, eof, io.string]
  end
  if pos != io.pos
    p [:stringio_pos, content, pos, eof, io.pos]
  end
  if eof != !io.read(0)
    p [:stringio_eof, content, pos, eof, io.read(0)]
  end
  io
end

def make_stringio(content, pos, eof)
  if pos <= content.length && !eof
    io = StringIO.new(content.dup)
    io.read(pos)
  elsif pos == content.length && eof
    io = StringIO.new(content.dup)
    io.read(pos+1)
  else
    buf = ""
    io = StringIO.new(buf)
    io.seek pos
    io.read if eof
    buf << content
  end
  if content != io.string
    p [:stringio_content, content, pos, eof, io.string]
  end
  if pos != io.pos
    p [:stringio_pos, content, pos, eof, io.pos]
  end
  if eof != !io.read(0)
    p [:stringio_eof, content, pos, eof, io.read(0)]
  end
  io
end

(0..3).each {|len|
  content = "a" * len
  (0..(len+1)).each {|pos|
    [false, true].each {|eof|
      {
        :read_all => lambda {|io| io.read },
        :read0 => lambda {|io| io.read(0) },
        :read1 => lambda {|io| io.read(1) },
        :read10 => lambda {|io| io.read(10) },
      }.each {|name, fun|
        f = make_io(content, pos, eof)
        s = make_stringio(content, pos, eof)
        rf = fun.call(f)
        rs = fun.call(s)
        p [name, content, pos, eof, rf, rs] unless rf == rs
      }
    }
  }
}
-- 
[田中 哲][たなか あきら][Tanaka Akira]