发现 windows 的 fwrite 库函数有个严重的BUG。

tgbvc

原帖由 flw2 于 2008-2-20 17:20 发表
循环之所以不停，是因为read write的缓冲可能是不同的，或者文件当前位置有两个，一个读写

能否把FILE的定义找出来？

猜测也得靠谱。

tgbvc

linux下也这样么？大家试了没有？

flw2

原帖由 tgbvc 于 2008-2-20 17:27 发表


猜测也得靠谱。

猜测要大胆，呵呵
你的循环不退出，就是因为永远没有超过当前文件结尾，所以我那么猜测
至少完全不能说是fseek的问题
fwrite和fread之间没有fseek(或等价的)行为是未定义的
错误的代码肯定不能证明有bug，尽管它可能真有bug

cjaizss

无论如何，标准I/O的输入输出之间要刷新流，这是C语言标准的规定。

Edengundam

代码...看起来很难受, 不过还是坚持下来....

你vc调试, 看stream里面, 有个ptr和base. 两个buffer

[ 本帖最后由 Edengundam 于 2008-2-20 18:01 编辑 ]

flw2

简单的看了一下，linux下的stdio FILE是有两个指针，当fwrite时改变write指针，而不改变read指针，
但是buf指针后移，所以read种能得到，要下班了，在linux试试，估计结果一样

flw2

哦，才看见，你的正确的代码后面是有fseek
看一个FILE只有一个指针(当前位置)的fseek实现，不难想象有两个指针的fseek

int
fseek(FILE *stream, long int offset, int whence)
{
        int adjust = 0;
        long pos;

        stream->_flags &= ~(_IOEOF | _IOERR);
        /* Clear both the end of file and error flags */

        if (io_testflag(stream, _IOREADING)) {
                if (whence == SEEK_CUR
                    && stream->_buf
                    && !io_testflag(stream,_IONBF))
                        adjust = stream->_count;
                stream->_count = 0;
        } else if (io_testflag(stream,_IOWRITING)) {
                fflush(stream);
        } else        /* neither reading nor writing. The buffer must be empty */
                /* EMPTY */ ;

        pos = _lseek(fileno(stream), offset - adjust, whence);
        if (io_testflag(stream, _IOREAD) && io_testflag(stream, _IOWRITE))
                stream->_flags &= ~(_IOREADING | _IOWRITING);

        stream->_ptr = stream->_buf;
        return ((pos == -1) ? -1 : 0);
}

ivhb

原帖由 flw2 于 2008-2-20 17:08 发表
在fread和fwrite之间需要fseek(stream,0,SEEK_SET);

呵呵，栽在这个上面人估计不会少。

醉卧水云间

乐死了, MS的fwrite都多少年了,还怀疑有BUG.

mailt

这个...根据多年的经验总结，在下结论怀疑别人的BUG，尤其是成熟的开发库平台的BUG之前，最好还是自己先多试验一下，看看是否自己对某些东西的理解有偏差...