前文说过,ifstream是继承于istream,ofstream是继承于ostream,fstream是继承于iostream类,而他们使用的缓冲区类是filebuf。
关于这些类之间的关系,有兴趣可以去查看我之前的文章: c++标准输入输出流关系梳理
1. filebuf类介绍
filebuf类又比stringbuf类要复杂一点,毕竟是对文件进行读写,首先在它的成员变量中找到了这样一条声明:
__file_type _M_file;
Mfile就是它里面的文件操作对象,那么探究一下__file_type
到底是什么类型呢,通过跟代码发现它其实是一个类模板__basic_file
的char实例,而__basic_file
是围绕一个FILE类型的指针来进行操作的,而FILE这个类型大家其实就很熟悉啦,它是c语言标准库里面操作文件的标准类型,一般是叫做文件指针,所以从这里就可以看出filebuf最终其实还是基于c语言的fopen等这一套文件操作函数去进行处理的。当然啦,在linux里面fopen其实又是基于它的系统调用open函数来进行的,这个我们知道就好,就不再做展开啦。
当看到fopen的调用时,其实内心是挺惊喜的,因为fstream这一套东西以前也经常使用,但是呢,从来不知道它的底层到底是怎么实现的,这次总算是知道了一点。
1.1 filebuf类构造函数和析构函数
首先看一下filebuf的构造函数原型,如下:
//这里声明了一个无参构造函数
basic_filebuf();
#if __cplusplus >= 201103L
basic_filebuf(const basic_filebuf&) = delete;
//这里声明了一个入参为右值引用的移动构造函数,所谓右值引用,它允许内容从一个filebuf对象移动到另外一个filebuf对象,移动完成以后,源filebuf对象将被销毁,不能再被使用,它没有发生任何拷贝的动作
basic_filebuf(basic_filebuf&&);
#endif
#if __cplusplus >= 201103L
basic_filebuf& operator=(const basic_filebuf&) = delete;
//同上,这里声明了一个移动赋值函数
basic_filebuf& operator=(basic_filebuf&&);
#endif
//析构函数关闭文件
virtual
~basic_filebuf()
{ this->close(); }
小贴士:=delete是c++11的用法,在c++11以前要防止类对象被拷贝和赋值,就要把拷贝构造函数和赋值函数声明为private的,到了c++11就直接使用=delete来进行声明,它意味着这个函数不能被调用,否则编译就会报错。
从上面我们可以看到filebuf类是不允许拷贝和赋值的,否则可能会发生多个对象操作同一个IO缓冲,就会导致诸多的问题,它只允许进行移动,这样能保证任何时候同一个IO缓冲只有一个对象可以操作。
使用例子如下:
#include <fstream>
using namespace std;
int main()
{
filebuf buf;
filebuf buf2(move(buf));//移动构造函数,std::move用于生成一个绑定在buf上的filebuf&&
filebuf buf3 = move(buf);//移动赋值函数
return 0;
}
1.2 open函数
函数原型如下:
//is_open用于判断文件是否是打开状态,返回true则表示文件是打开状态,否则就是关闭状态
bool
is_open() const throw()
{ return _M_file.is_open(); }
//__s表示文件名,__mode表示文件打开方式
__filebuf_type*
open(const char* __s, ios_base::openmode __mode);
#if __cplusplus >= 201103L
//同上,只是文件名使用了string表示而已
__filebuf_type*
open(const std::string& __s, ios_base::openmode __mode)
{ return open(__s.c_str(), __mode); }
#endif
//关闭文件
__filebuf_type*
close();
使用案例如下:
#include <fstream>
#include <iostream>
using namespace std;
int main()
{
filebuf buf;
if ( buf.open("aaa.txt", ios_base::in) == nullptr )
{
cout << "file open failed" << endl;
return -1;
}
if ( buf.is_open())
{
cout << "file is opened" << endl;
}
else
cout << "file is closed" << endl;
buf.close();//可以调用也可以不调用,析构函数会自动关闭
return 0;
}
还有其他函数这里就不多做介绍了,理论上来讲,我们并不会直接使用filebuf,因为它只是一个工具人,是幕后奉献者,是藏于暗中滴,大多数时候,我们都是直接使用ifstream和ofstream。
2. ifstream类
2.1 构造函数和析构函数
ifstream的构造函数除了默认无参构造函数以外,还基于filebuf的open函数声明了另外两个构造函数,fstream头文件中原型如下:
//默认的无参构造函数
basic_ifstream() : __istream_type(), _M_filebuf()
{ this->init(&_M_filebuf); }
//基于filebuf的open函数,声明了两个有参构造函数,默认是从文件读取数据
explicit
basic_ifstream(const char* __s, ios_base::openmode __mode = ios_base::in)
: __istream_type(), _M_filebuf()
{
this->init(&_M_filebuf);
this->open(__s, __mode);
}
#if __cplusplus >= 201103L
explicit
basic_ifstream(const std::string& __s,
ios_base::openmode __mode = ios_base::in)
: __istream_type(), _M_filebuf()
{
this->init(&_M_filebuf);
this->open(__s, __mode);
}
//同样的,拷贝构造函数不允许使用
basic_ifstream(const basic_ifstream&) = delete;
basic_ifstream(basic_ifstream&& __rhs)
: __istream_type(std::move(__rhs)),
_M_filebuf(std::move(__rhs._M_filebuf))
{ __istream_type::set_rdbuf(&_M_filebuf); }
#endif
~basic_ifstream()
{ }
#if __cplusplus >= 201103L
basic_ifstream&
operator=(const basic_ifstream&) = delete;
basic_ifstream&
operator=(basic_ifstream&& __rhs)
{
__istream_type::operator=(std::move(__rhs));
_M_filebuf = std::move(__rhs._M_filebuf);
return *this;
}
ifstream的拷贝构造函数和赋值函数也是直接被禁用的,那么再调用有参的构造函数后,默认的文件就被打开了,无需再次调用open函数,可以看到它的析构函数是什么都没有做的,所以ifstream需要显式的调用close函数,如果不显式调用的话,filebuf对象也会自动调用析构函数关闭文件,但如果filebuf调用close失败,就没办法知道当前流的状态了。
2.2 swap和rdbuf函数
函数原型如下:
//交换两个ifstream
void swap(basic_ifstream& __rhs);
//返回一个指向当前filebuf缓冲区的指针
__filebuf_type*
rdbuf() const;
一个使用案例如下:
#include <fstream>
#include <iostream>
#include <string.h>
using namespace std;
int main()
{
char szIn[32] = {0};
char szIn2[32] = {0};
ifstream in("aaa.txt", ios_base::in);//aaa.txt 内容:0123456789
ifstream in2("file.txt");//使用默认打开方式, file.txt 内容abcdefg带换行符
cout << "file aaa.txt size is " << in.rdbuf()->in_avail() << endl;
in.read(szIn, 3);
in2.read(szIn2, 3);
cout << "in's content is " << szIn << endl << "in2's conteng is " << szIn2 <<endl;
in.swap(in2);
memset(szIn, 0x00, sizeof(szIn));
memset(szIn2, 0x00, sizeof(szIn2));
in.read(szIn, sizeof(szIn));
in2.read(szIn2, sizeof(szIn2));
cout << "in's content is " << szIn << endl << "in2's conteng is " << szIn2 <<endl;
in.close();
in2.close();
return 0;
}
in_avail是streambuf类里面的一个函数,用于返回当前缓冲区长度。
编译后执行结果如下:
[root@mylinux ~]# ./a.out
file aaa.txt size is 10
in's content is 012
in2's conteng is abc
in's content is defg
in2's conteng is 3456789
[root@mylinux ~]#
通过结果可以看到swap函数并不会重置当前读的位置,基本是按照原样交换过来的。
2.3 open和close函数
函数原型如下:
bool
is_open();
bool
is_open() const;
void
open(const char* __s, ios_base::openmode __mode = ios_base::in);
void
open(const std::string& __s, ios_base::openmode __mode = ios_base::in);
void
close()
{
if (!_M_filebuf.close())
this->setstate(ios_base::failbit);
}
open函数和is_open函数用法与filebuf类基本一致,这里不再多说,主要是close,我们可以看到它调用失败以后,会将当前流状态置为失败,所以标准的做法,还是显式的调用一下close函数比较好。
2.4 ofstream类和fstream类
ofstream用于往文件写入数据,除了构造和调用open函数的时候,默认的打开模式是ios_base::out,其他所有函数使用都与ifstream一模一样,且用法也是一样的,包括fstream的函数用法,也是一样的,只是fstream默认打开模式是ios_base::in | ios_base::out,其他函数的用法这里不再多说。
总之,我们要记住,如果要从文件读取数据,那么使用ifstream,如果要将数据写到文件,那么使用ofstream,如果既要读又要写,那么使用fstream。
3. stream流打开模式
前文说到文件打开方式ios_base::in和ios_base::out,实际上流打开方式不只这两种,下面就一一说明一下:
流打开模式 | 说明 |
---|---|
ios_base::app | 以追加方式打开文件,文件打开以后当前指针位置直接指到缓冲区最后面,总是从文件末尾写入 |
ios_base::ate | 打开时文件指针位置指向文件末尾,但可以手动改变指针位置,进而从当前位置开始写入 |
ios_base::binary | 文件打开后在二进制模式下进行读写,根据我的观察,需要与ios_base::in或者ios_base::out联合使用,否则打开失败 |
ios_base::in | 以只读方式打开文件,若文件存在则默认从最开始读取,如果文件不存在,则文件会打开失败 |
ios_base::out | 以只写方式打开文件,若文件存在,则清空文件内容,若文件不存在,则创建一个空文件 |
ios_base::trunc | 每次打开文件都直接清空文件内容,一般用于写入 |
在使用的时候,以'|'分隔,例如:ios_base::in|ios_base::out
。
下面列几种不同场景下使用时的组合,如下:
场景 | 打开模式 |
---|---|
以只读方式打开一个已存在文件 | ios_base::in |
以只写方式打开一个空文件(不论文件是否存在,文件打开后内容被清空) | ios_base::out或者ios_base::trunc|ios_base::out |
以追加方式打开一个文件并进行写入 | ios_base::out|ios_base::app或者ios_base::app |
以可读可写的方式打开一个文件,且不清空文件内容 | ios_base::in|ios_base::out |
以可读可写的方式打开一个文件,且清空文件内容 | ios_base::in|ios_base::out|ios_base::trunc |
以追加方式打开一个文件并进行读写 | ios_base::in|ios_base::out|ios_base::app |
以上场景都是针对文本文件进行读写的,如果想以同样的方式操作二进制文件,则在每个场景后面追加一个ios_base::binary
即可。
这里在使用ifstream的时候要注意,不管是构造函数打开还是手动调用open函数打开文件,它在我们指定的文件模式上会另外追加一个ios_base::in,如下:
void
open(const char* __s, ios_base::openmode __mode = ios_base::in)
{
if (!_M_filebuf.open(__s, __mode | ios_base::in))
this->setstate(ios_base::failbit);
else
// _GLIBCXX_RESOLVE_LIB_DEFECTS
// 409. Closing an fstream should clear error state
this->clear();
}
同理,ofstream则会默认追加一个ios_base::out
,但fstream则没有默认追加,不指定就默认ios_base::in|ios_base::out
,如果指定了模式,则以指定的为准。
不知道大家有没有发现一点,这里我们一直没有说到ios_base::ate
的使用场景,是以为我始终想不出来有用这个的必要性,唯一的场景是想打开文件的时候指针指向末尾,而后续又可能从其他位置进行读写,就使用它,但在使用ofstream的时候如果指定了ios_base::ate
,它又会因为默认追加的ios_base::out
而清空文件,这时唯一的方法是使用fstream类,并指定模式为ios_base::ate|ios_base::in|ios_base::out
,这样才既没有清空文件,也满足了我们的使用场景。