30 Input/output library [input.output]

30.9 File-based streams [file.streams]

30.9.5 Class template basic_­fstream [fstream]

namespace std {
  template <class charT, class traits = char_traits<charT>>
  class basic_fstream : public basic_iostream<charT, traits> {
  public:
    using char_type   = charT;
    using int_type    = typename traits::int_type;
    using pos_type    = typename traits::pos_type;
    using off_type    = typename traits::off_type;
    using traits_type = traits;

    // [fstream.cons], constructors
    basic_fstream();
    explicit basic_fstream(
      const char* s,
      ios_base::openmode mode = ios_base::in | ios_base::out);
    explicit basic_fstream(
      const std::filesystem::path::value_type* s,
      ios_base::openmode mode = ios_base::in|ios_base::out);  // wide systems only; see [fstream.syn]
    explicit basic_fstream(
      const string& s,
      ios_base::openmode mode = ios_base::in | ios_base::out);
    explicit basic_fstream(
      const filesystem::path& s,
      ios_base::openmode mode = ios_base::in | ios_base::out);
    basic_fstream(const basic_fstream& rhs) = delete;
    basic_fstream(basic_fstream&& rhs);

    // [fstream.assign], assign and swap
    basic_fstream& operator=(const basic_fstream& rhs) = delete;
    basic_fstream& operator=(basic_fstream&& rhs);
    void swap(basic_fstream& rhs);

    // [fstream.members], members
    basic_filebuf<charT, traits>* rdbuf() const;
    bool is_open() const;
    void open(
      const char* s,
      ios_base::openmode mode = ios_base::in | ios_base::out);
    void open(
      const std::filesystem::path::value_type* s,
      ios_base::openmode mode = ios_base::in|ios_base::out);  // wide systems only; see [fstream.syn]
    void open(
      const string& s,
      ios_base::openmode mode = ios_base::in | ios_base::out);
    void open(
      const filesystem::path& s,
      ios_base::openmode mode = ios_base::in | ios_base::out);
    void close();

  private:
    basic_filebuf<charT, traits> sb; // exposition only
  };

  template <class charT, class traits>
    void swap(basic_fstream<charT, traits>& x,
              basic_fstream<charT, traits>& y);
}
1
#

Шаблон класса basic_­fstream<charT, traits> поддерживает чтение и запись из именованных файлов. Он использует basic_­filebuf<charT, traits> объект для управления связанными последовательностями. Для демонстрации поддерживаемые данные представлены здесь как:

  • (1.1)

    sb, basic_­filebuf объект.

30.9.5.1 basic_­fstream constructors [fstream.cons]

basic_fstream();

1
#

Effects: Создает объект класса basic_­fstream<charT, traits>, инициализируя базовый класс basic_­iostream(&sb) и инициализируя sb с помощью basic_­filebuf<charT, traits>().

explicit basic_fstream( const char* s, ios_base::openmode mode = ios_base::in | ios_base::out); explicit basic_fstream( const filesystem::path::value_type* s, ios_base::openmode mode = ios_base::in | ios_base::out); // wide systems only; see [fstream.syn]

2
#

Effects: Создает объект класса basic_­fstream<charT, traits>, инициализируя базовый класс basic_­iostream(&sb) и инициализируя sb с помощью basic_­filebuf<charT, traits>(). Потом звонит rdbuf()->open(s, mode). Если эта функция возвращает нулевой указатель, вызывает setstate(failbit).

explicit basic_fstream( const string& s, ios_base::openmode mode = ios_base::in | ios_base::out); explicit basic_fstream( const filesystem::path& s, ios_base::openmode mode = ios_base::in | ios_base::out);

3
#

Effects: То же, что и basic_­fstream(s.c_­str(), mode).

basic_fstream(basic_fstream&& rhs);

4
#

Effects: Переместите конструкции из rvalue rhs. Это достигается перемещением конструирования базового класса и содержащегося в нем basic_­filebuf. Далее basic_­istream<charT, traits>​::​set_­rdbuf(&sb) вызывается для установки содержащегося basic_­filebuf.

30.9.5.2 Assign and swap [fstream.assign]

basic_fstream& operator=(basic_fstream&& rhs);

1
#

Effects: Move назначает базу и членов *this из базы и членов-корреспондентов rhs.

2
#

Returns: *this.

void swap(basic_fstream& rhs);

3
#

Effects: Меняет состояние *this и rhs по вызову basic_­iostream<charT,traits>​::​swap(rhs) и sb.swap(rhs.sb).

template <class charT, class traits> void swap(basic_fstream<charT, traits>& x, basic_fstream<charT, traits>& y);

4
#

Effects: Как будто мимо x.swap(y).

30.9.5.3 Member functions [fstream.members]

basic_filebuf<charT, traits>* rdbuf() const;

1
#

Returns: const_­cast<basic_­filebuf<charT, traits>*>(&sb).

bool is_open() const;

2
#

Returns: rdbuf()->is_­open().

void open( const char* s, ios_base::openmode mode = ios_base::in | ios_base::out); void open( const filesystem::path::value_type* s, ios_base::openmode mode = ios_base::in | ios_base::out); // wide systems only; see [fstream.syn]

3
#

Effects: Звонки rdbuf()->open(s, mode). Если эта функция не возвращает вызовы нулевого указателя clear(), в противном случае вызывает setstate(failbit) (который может вызывать ios_­base​::​failure) ([iostate.flags]).

void open( const string& s, ios_base::openmode mode = ios_base::in | ios_base::out); void open( const filesystem::path& s, ios_base::openmode mode = ios_base::in | ios_base::out);

4
#

Effects: Звонки open(s.c_­str(), mode).

void close();

5
#

Effects: Вызывает rdbuf()->close() и, если эта функция возвращает нулевой указатель, вызывает setstate(failbit) (который может вызывать ios_­base​::​failure) ([iostate.flags]).