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