6.61.2 ISO/IEC 14882:1998 Исправления для потоково-локального хранения

Следующие изменения вносятся в ISO/IEC 14882:1998 (также известный как C++98), чтобы документировать точные семантики расширения языка.

• [intro.execution]

  Новый текст после абзаца 4

  Поток — это поток управления внутри абстрактной машины. Реализующая система может определить, может ли существовать более одного потока.

  Новый текст после абзаца 7

  Не определено, требуется ли дополнительное действие для обеспечения того, когда и как побочные эффекты видны другим потокам.

• [lex.key]

  Добавить __thread.

• [basic.start.main]

  Добавить после абзаца 5

  Поток, который начинает выполнение в функции main называется главным потоком. Реализующая система определяет, как обозначаются или типизируются функции, запускающие потоки, отличные от главного потока. Функция, обозначенная таким образом, а также функция main, называется функцией запуска потока. Реализующая система определяет, что происходит, если функция запуска потока возвращает значение. Реализующая система определяет, что происходит с другими потоками, когда любой поток вызывает exit.

• [basic.start.init]

  Добавить после абзаца 4

  Хранилище объекта со сроком хранения потока должно быть статически инициализировано перед первой инструкцией функции запуска потока. Объекту со сроком хранения потока не требуется динамическая инициализация.

• [basic.start.term]

  Добавить после абзаца 3

  Тип объекта со сроком хранения потока не должен иметь нетривиального деструктора, ни он не должен быть типом массива, элементы которого (прямо или косвенно) имеют нетривиальные деструкторы.

• [basic.stc]

  Добавить «потоковый срок хранения» в список в абзаце 1.

  Изменить абзац 2

  Потоковый, статический и автоматический сроки хранения связаны с объектами, введенными объявлениями [...].

  Добавить __thread в список спецификаторов в абзаце 3.

• [basic.stc.thread]

  Новый раздел перед [basic.stc.static]

  Ключевое слово __thread применённое к объекту, не являющемуся локальным, предоставляет объекту потоковый срок хранения.

  Локальная переменная или член данных класса, объявленные как static и __thread предоставляет переменной или члену потоковый срок хранения.

• [basic.stc.static]

  Изменить абзац 1

  Все объекты, у которых нет срока хранения потока, динамического срока хранения, или они локальные [...].

• [dcl.stc]

  Добавить __thread в список в абзаце 1.

  Изменить абзац 1

  За исключением __thread, в данном decl-specifier-seq может присутствовать не более одного storage-class-specifier. Спецификатор __thread может использоваться самостоятельно или сразу после спецификаторов extern или static. [...]

  Добавить после абзаца 5

  Спецификатор __thread может быть применён только к именам объектов и к анонимным объединениям.

• [class.mem]

  Добавить после абзаца 6

  Члены, не являющиеся static, не должны быть __thread.