std::fpos

template< class State >
class fpos;

Специализации шаблона класса std::fpos обозначают абсолютные позиции в потоке или файле. Каждый объект типа fpos хранит позицию байта в потоке (обычно в виде закрытого члена типа std::streamoff) и текущее состояние сдвига — значение типа State (обычно std::mbstate_t).

Предоставлены следующие имена typedef для std::fpos<std::mbstate_t> (хотя в стандарте они записываются иначе, они обозначают один и тот же тип):

Все специализации fpos удовлетворяют требованиям DefaultConstructible, CopyConstructible, CopyAssignable, Destructible и EqualityComparable.

Если State тривиально копируется конструктором копирования, fpos имеет тривиальный конструктор копирования. Если State тривиально копируется оператором присваивания, fpos имеет тривиальный оператор копирующего присваивания. Если State тривиально разрушаем, fpos имеет тривиальный деструктор.

Параметр шаблона

Функции-члены

Кроме того, для поддержки следующих операций предоставляются функции-члены и нешаблонные функции:

• Конструктор по умолчанию, который сохраняет смещение, равное нулю, и инициализирует объект состояния значением по умолчанию.
• Неявный конструктор, принимающий аргумент типа (возможно, const) std::streamoff, который сохраняет это смещение и инициализирует объект состояния значением по умолчанию. Этот конструктор также должен принимать специальное значение std::streamoff(-1): объект std::fpos, созданный таким образом, возвращается некоторыми операциями с потоками для обозначения ошибок.
• Явное преобразование из (возможно, const) fpos в std::streamoff. Результатом является сохранённое смещение.
• operator== и operator!=, которые сравнивают два объекта типа (возможно, const) std::fpos и возвращают prvalue типа bool. p != q эквивалентно !(p == q).
• operator+ и operator-, для которых, если объект p имеет тип (возможно, const) fpos<State>, а объект o имеет тип (возможно, const) std::streamoff
• p + o имеет тип fpos<State> и хранит смещение, полученное в результате прибавления o к смещению p.
• o + p имеет тип, преобразуемый в fpos<State>, а результат преобразования равен p + o.
• p - o имеет тип fpos<State> и хранит смещение, полученное в результате вычитания o из смещения p.
• operator+= и operator-=, принимающие (возможно, const) std::streamoff и соответственно прибавляющие его к сохранённому смещению или вычитающие его из него.
• operator-, который может вычитать два объекта типа (возможно, const) std::fpos, получая std::streamoff, так что для двух таких объектов p и q выполняется p == q + (p - q).

Примечания

Некоторые функции-члены потоков ввода-вывода возвращают объекты типа pos_type и работают с ними. Для потоков эти типы-члены предоставляются параметром шаблона Traits, который по умолчанию равен std::char_traits; эти типы определяют свои pos_type как специализации std::fpos. Поведение библиотеки потоков ввода-вывода определяется реализацией, если Traits::pos_type не является std::fpos<std::mbstate_t> (также известным как std::streampos, std::wstreampos и т. д.).

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также