init_seg

  • Статья

Блок, относящийся только к языку C++

Определяет ключевое слово или раздел кода, влияющие на порядок выполнения кода запуска.

#pragma init_seg({ compiler | lib | user | "section-name" [, func-name]} )

Заметки

Термины сегмент и раздел в этом разделе взаимозаменимы.

Поскольку инициализация глобальных статических объектов может включать в себя исполняемый код, необходимо указать ключевое слово, определяющее, когда будут создаваться объекты. Прагма-директиву init_seg особенно важно использовать в библиотеках динамической компоновки (DLL) и библиотеках, требующих инициализации.

Ниже перечислены параметры прагма-директивы init_seg.

  • компилятор
    Зарезервирован для инициализации библиотеки времени выполнения Microsoft C. Объекты в этой группе создаются первыми.

  • lib
    Доступен для инициализаций поставщиков сторонних библиотек классов. Объекты в этой группе создаются после того, как отмечаются как compiler, но до любых других.

  • пользователь
    Доступен для любого пользователя. Объекты в этой группе создаются последними.

  • имя-раздела
    Позволяет явно определить раздел инициализации. Объекты в указанном пользователем имени-раздела создаются неявно; однако их адреса размещаются в разделе с именем-раздела.

    В разделе с указанным именем будут содержаться указатели на вспомогательные функции, которые будут создавать глобальные объекты, объявленные в данном модуле после прагма-директивы.

    Список имен, которые не следует использовать при создании раздела, см. в разделе /SECTION.

  • имя-функции
    Определяет функцию, вызываемую вместо функции atexit при выходе из программы. Эта вспомогательная функция также вызывает функцию atexit с указателем на деструктор для глобального объекта. Если в прагма-директиве формы указывается идентификатор функции

    int __cdecl myexit (void (__cdecl *pf)(void))

    то вместо функции atexit библиотеки времени выполнения C будет вызываться пользовательская функция. Это позволяет создать список деструкторов, которые будет необходимо вызывать при готовности к удалению объектов.

Если требуется отложить инициализацию (например, в библиотеке DLL), можно явно указать имя раздела. Затем необходимо вызвать конструкторы для каждого статического объекта.

Идентификатор для замены функции atexit не заключается в кавычки.

Объекты по-прежнему будут размещаться в разделах, указанных другими прагма-директивами XXX_seg.

Объекты, объявленные в модуле, не будут автоматически инициализироваться средой выполнения C. Инициализацию потребуется выполнить самостоятельно.

По умолчанию разделы init_seg предназначены только для чтения. Если имя раздела — .CRT, компилятор автоматически изменит атрибут на атрибут только для чтения, даже если он отмечен как предназначенный для чтения и записи.

Несколько раз указать init_seg в записи преобразования невозможно.

Даже если объект не содержит определяемый пользователем конструктор и конструктор, явно не определенный в коде, компилятор может создать его (например, для привязки указателей на v-таблицу). Следовательно, конструктор, созданный компилятором, должен будет вызываться кодом.

Пример

// pragma_directive_init_seg.cpp
#include <stdio.h>
#pragma warning(disable : 4075)

typedef void (__cdecl *PF)(void);
int cxpf = 0;   // number of destructors we need to call
PF pfx[200];    // pointers to destructors.

int myexit (PF pf) {
   pfx[cxpf++] = pf;
   return 0;
}

struct A {
   A() { puts("A()"); }
   ~A() { puts("~A()"); }
};

// ctor & dtor called by CRT startup code 
// because this is before the pragma init_seg
A aaaa; 

// The order here is important.
// Section names must be 8 characters or less.
// The sections with the same name before the $
// are merged into one section. The order that
// they are merged is determined by sorting
// the characters after the $.
// InitSegStart and InitSegEnd are used to set
// boundaries so we can find the real functions
// that we need to call for initialization.

#pragma section(".mine$a", read)
__declspec(allocate(".mine$a")) const PF InitSegStart = (PF)1;

#pragma section(".mine$z",read)
__declspec(allocate(".mine$z")) const PF InitSegEnd = (PF)1;

// The comparison for 0 is important.
// For now, each section is 256 bytes. When they
// are merged, they are padded with zeros. You
// can't depend on the section being 256 bytes, but
// you can depend on it being padded with zeros.

void InitializeObjects () {
   const PF *x = &InitSegStart;
   for (++x ; x < &InitSegEnd ; ++x)
      if (*x) (*x)();
}

void DestroyObjects () {
   while (cxpf>0) {
      --cxpf;
      (pfx[cxpf])();
   }
}

// by default, goes into a read only section
#pragma init_seg(".mine$m", myexit)

A bbbb; 
A cccc;

int main () {
   InitializeObjects();
   DestroyObjects();
}

См. также

Ссылки

Директивы Pragma и ключевое слово __Pragma