6.64.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.