30 Input/output library [input.output]

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

Postconditions: is_­open() == false.

Effects: Переместите конструкции из rvalue rhs. Это определяется реализация ли указатели последовательности в *this (eback(), gptr(), egptr(), pbase(), pptr(), epptr()) получить значение , которые rhs имели. Независимо от того, работают они или нет, *this и rhs ссылаются на отдельные буферы (если они вообще есть) после построения. Дополнительно *this ссылается на файл, который rhs был создан до построения, и не rhs ссылается на файл после построения. Также копируются режим openmode, locale и любое другое состояние rhs .

Postconditions: Позвольте rhs_­p ссылаться на состояние rhs непосредственно перед этой конструкцией и позвольте rhs_­a ссылаться на состояние rhs сразу после этой конструкции.

• (4.1)

  is_­open() == rhs_­p.is_­open()

• (4.2)

  rhs_­a.is_­open() == false

• (4.3)

  gptr() - eback() == rhs_­p.gptr() - rhs_­p.eback()

• (4.4)

  egptr() - eback() == rhs_­p.egptr() - rhs_­p.eback()

• (4.5)

  pptr() - pbase() == rhs_­p.pptr() - rhs_­p.pbase()

• (4.6)

  epptr() - pbase() == rhs_­p.epptr() - rhs_­p.pbase()

• (4.7)

  if (eback()) eback() != rhs_­a.eback()

• (4.8)

  if (gptr()) gptr() != rhs_­a.gptr()

• (4.9)

  if (egptr()) egptr() != rhs_­a.egptr()

• (4.10)

  if (pbase()) pbase() != rhs_­a.pbase()

• (4.11)

  if (pptr()) pptr() != rhs_­a.pptr()

• (4.12)

  if (epptr()) epptr() != rhs_­a.epptr()

Effects: Уничтожает объект класса basic_­filebuf<charT, traits>. Звонки close(). Если во время уничтожения объекта, включая вызов close(), возникает исключение, исключение перехватывается, но не генерируется повторно (см [res.on.exception.handling]. Раздел "Ресурсы" ).

Effects: close() Затем вызовы перемещают назначенных из rhs. После того, как присвоение хода *this приобрело наблюдаемое состояние, оно было бы, если бы оно было построено из rhs (см. [filebuf.cons]).

Returns: *this.

Effects: Меняет состояние *this и rhs.

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

Returns: true если предыдущий вызов open завершился успешно (вернул ненулевое значение) и не было промежуточного вызова для закрытия.

Effects: Если is_­open() != false, возвращает нулевой указатель. В противном случае инициализирует при filebuf необходимости. Затем он открывает файл, если это возможно, с именем ntbs s (как если бы при вызове fopen(s, modstr)). В НТБ определяется , как указано в табл . Если в таблице не указана комбинация флагов, то открытие не выполняется. modstr mode & ~ios_­base​::​ate 117 mode

Если операция открытия завершается успешно и (mode & ios_­base​::​ate) != 0, помещает файл в конец (как если бы при вызове fseek(file, 0, SEEK_­END)).327

Если операция изменения положения завершается неудачно, вызывает close() и возвращает нулевой указатель, указывающий на сбой.

Returns: this в случае успеха - нулевой указатель.

Returns: open(s.c_­str(), mode);

Effects: Если is_­open() == false, возвращает нулевой указатель. Если область размещения существует, вызывает overflow(traits​::​​eof()) сброс символов. Если последняя функция виртуального члена призвала *this (между underflow, overflow, seekoffи seekpos) был overflow тогда вызовы a_­codecvt.unshift (возможно , несколько раз) , чтобы определить последовательность терминации, вставляет эти символы и вызовы overflow(traits​::​​eof()) снова. Наконец, независимо от того, завершается ли какой-либо из предыдущих вызовов сбоем или возникает исключение, функция закрывает файл (как если бы путем вызова fclose(file)). Если какой-либо из вызовов, выполненных функцией, в том числе fclose, завершается ошибкой, close завершается ошибкой, возвращая нулевой указатель. Если один из этих вызовов вызывает исключение, исключение перехватывается и генерируется повторно после закрытия файла.

Returns: this в случае успеха - нулевой указатель.

Postconditions: is_­open() == false.

Effects: Ведет себя так же, как basic_­streambuf​::​showmanyc() ([streambuf.virtuals]).

Remarks: Реализация могла бы предоставить переопределение для этой сигнатуры функции, если она может определить, что из входной последовательности можно прочитать больше символов.

Effects: Ведет себя в соответствии с описанием basic_­streambuf<charT, traits>​::​underflow()со специализацией, согласно которой последовательность символов считывается из входной последовательности, как если бы она считывала из связанного файла во внутренний буфер (extern_­buf), а затем как если бы выполнялась:

char   extern_buf[XSIZE];
char*  extern_end;
charT  intern_buf[ISIZE];
charT* intern_end;
codecvt_base::result r =
  a_codecvt.in(state, extern_buf, extern_buf+XSIZE, extern_end,
               intern_buf, intern_buf+ISIZE, intern_end);

Это должно быть сделано таким образом, чтобы класс мог восстановить позицию (fpos_­t), соответствующую каждому символу между intern_­buf и intern_­end. Если значение r указывает, что в нем не a_­codecvt.in() хватает места intern_­buf, повторите попытку с большим intern_­buf.

Effects: Ведет себя в соответствии с описаниемbasic_­streambuf<charT, traits>​::​uflow(), со специализацией, заключающейся в том , что последовательность символов считывается из ввода тем же методом, что и underflow.

Effects: Возвращает символ, обозначенный значком, c во входную последовательность, если это возможно, одним из трех способов:

• (5.1)

  Если traits​::​eq_­int_­type(c, traits​::​eof()) возвращается false и , если функция делает позицию Putback доступную и если traits​::​eq(to_­char_­type(c), gptr()[-1]) возвращается true, вычитает следующий указатель для входной последовательности, gptr().

  Возвращает: c.

• (5.2)

  Если traits​::​eq_­int_­type(c, traits​::​eof()) возвращается, false и если функция делает доступной позицию возврата и если функции разрешено назначать позицию возврата, уменьшает следующий указатель для входной последовательности и сохраняет c его.

  Возвращает: c.

• (5.3)

  Если traits​::​eq_­int_­type(c, traits​::​eof()) возвращается true, и если либо входная последовательность имеет место Putback доступны или функция делает положение Putback доступна, вычитает следующий указатель для входной последовательности, gptr().

  Возвращает: traits​::​not_­eof(c).

Returns: traits​::​eof() для обозначения отказа.

Remarks: Если is_­open() == false, функция всегда терпит неудачу.

Функция не возвращает символ непосредственно во входную последовательность.

Если функция может быть успешной более чем одним из этих способов, не указано, какой путь будет выбран. Функция может изменить количество позиций возврата, доступных в результате любого вызова.

Effects: Ведет себя в соответствии с описанием basic_­streambuf<charT, traits>​::​overflow(c), за исключением того, что поведение «потребляющих символов» выполняется путем предварительного преобразования, как если бы:

charT* b = pbase();
charT* p = pptr();
charT* end;
char   xbuf[XSIZE];
char*  xbuf_end;
codecvt_base::result r =
  a_codecvt.out(state, b, p, end, xbuf, xbuf+XSIZE, xbuf_end);

а потом

• (10.1)

  Если r == codecvt_­base​::​error тогда не получится.

• (10.2)

  Если r == codecvt_­base​::​noconv тогда вывести символы от b до (и не включая) p.

• (10.3)

  Если r == codecvt_­base​::​partial затем вывести в файл символы от xbuf до xbuf_­endи повторить, используя символы от end до p. Если вывести не удалось, завершитесь ошибкой (без повторения).

• (10.4)

  В противном случае вывести из xbuf в xbuf_­endи потерпеть неудачу, если вывести не удалось . На этом этапе, если b != p и b == end (xbuf недостаточно большое), увеличьте XSIZE и повторите сначала.

Returns: traits​::​not_­eof(c) для обозначения успеха и traits​::​eof() для обозначения неудачи. Если is_­open() == false, функция всегда терпит неудачу.

Effects: Если setbuf(0, 0) вызывается в потоке до того, как в этом потоке произошел какой-либо ввод-вывод, поток становится небуферизованным. В противном случае результаты определяются реализацией. «Unbuffered» означает , что pbase() и pptr() всегда возвращают нуль и вывод в файл должен появиться как можно скорее.

Effects: Пусть width обозначают a_­codecvt.encoding(). Если is_­open() == false, или off != 0 && width <= 0, то операция позиционирования не выполняется. В противном случае, если way != basic_­ios​::​cur или off != 0, и если была выведена последняя операция, обновите выходную последовательность и запишите любую несмещенную последовательность. Далее ищем новую позицию: если width > 0звоните fseek(file, width * off, whence), в противном случае звоните fseek(file, 0, whence).

Remarks: «Последняя операция была выведена» означает, что либо последняя виртуальная операция была переполнена, либо буфер размещения не пуст. «Записать любую последовательность без сдвига» означает, что width если меньше нуля, то вызвать a_­codecvt.unshift(state, xbuf, xbuf+XSIZE, xbuf_­end) и вывести результирующую последовательность без сдвига. Функция определяет одно из трех значений аргумента whenceтипа int, как указано в таблице 118.

Returns: Недавно созданный pos_­type объект, который, если возможно, сохраняет позицию результирующего потока. Если операция позиционирования завершается неудачно или объект не может представлять позицию результирующего потока, возвращается pos_­type(off_­type(-1)).

Если возможно, изменяет положение файла, чтобы оно соответствовало положению, сохраненному в sp (как описано ниже). Изменение положения файла происходит следующим образом:

1. 1.если (om & ios_­base​::​out) != 0, то обновить выходную последовательность и записать любую несмещенную последовательность;

2. 2.установить позицию файла, sp как если бы при вызове fsetpos;

3. 3.если (om & ios_­base​::​in) != 0, то обновить входную последовательность;

где om открытый режим передан последнему вызову open(). Приis_­open() возврате операция завершается ошибкой false.

Если sp это недопустимая позиция потока или функция не позиционирует ни одну последовательность, операция позиционирования завершается ошибкой. Если sp не был получен предыдущим успешным вызовом одной из функций позиционирования (seekoff или seekpos) в том же файле, эффекты не определены.

Returns: sp об успехе. В противном случае возвращается pos_­type(off_­type(-1)).

Effects: Если область размещения существует, вызывает filebuf​::​overflow запись символов в файл, а затем сбрасывает файл, как если бы путем вызова fflush(file). Если область получения существует, эффект определяется реализацией.

Requires: Если файл не расположен в начале и кодировка текущей локали, определяемая с помощью, зависит от a_­codecvt.encoding() состояния ([locale.codecvt.virtuals]), то этот фасет совпадает с соответствующим фасетом loc.

Effects: Заставляет символы, вставленные или извлеченные после этого вызова, преобразовываться loc до следующего вызова imbue.

Remarks: Это может потребовать повторного преобразования ранее преобразованных символов. Это, в свою очередь, может потребовать от реализации возможности восстановить исходное содержимое файла.

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

Effects: Создает объект класса basic_­ifstream, инициализируя базовый класс с помощью basic_­istream(&sb) и инициализируя sb с помощью basic_­filebuf<charT, traits>()) ([istream.cons], [filebuf.cons]), затем вызывает rdbuf()->open(s, mode | ios_­base​::​in). Если эта функция возвращает нулевой указатель, вызывает setstate(failbit).

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

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

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

Returns: *this.

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

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

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

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

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

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

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

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

Effects: Создает объект класса basic_­ofstream<charT, traits>, инициализируя базовый класс с помощью basic_­ostream(&sb) и инициализируя sb с помощью basic_­filebuf<charT, traits>()) ([ostream.cons], [filebuf.cons]), затем вызывает rdbuf()->open(s, mode | ios_­base​::​out). Если эта функция возвращает нулевой указатель, вызывает setstate(​failbit).

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

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

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

Returns: *this.

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

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

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

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

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

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

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

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

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

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

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

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

Returns: *this.

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

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

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

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

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

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

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