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