Обеспечение статической памяти для параметра функции

Question

Мы имеем этот прототип функции:

BNode *b_new_node(const char *name, int pos, int len, const char *val); 

Большая часть кода с помощью этого (и подобные) являются автоматически генерируемый код, и выглядит следующим образом:

b = b_new_node("foo.bar.id.1", 0, 10, some_data); 

Функция выделяет новый BNode и копирует в него строку val, но он просто назначает члену name указателю, например

b_strlcpy(new_node->val, val, sizeof new_node->val); 
new_node->name = name; 

Это разрушает опустошение, если первый аргумент в b_new_node ("foo.bar.id.1", 0, 10, some_data); не является строковым литералом или иным способом со статической продолжительностью хранения, но, например, буфер в стеке.

В любом случае, с gcc (другие компиляторы тоже представляют интерес), мы можем проверить время компиляции, чтобы этот аргумент передавался из статического хранилища?

(конечно, простой способ избежать этих возможных проблем - скопировать этот аргумент в узел - измерения, которые мы сделали с этим подходом, увеличивают потребность в памяти на 50% и замедляют работу программы на 10%, поэтому подход нежелательно).

Answer 1

Вы можете сделать BNode условно скопировать имя. Это потребует и дополнительный бит памяти в BNode. Например .:

typedef struct BNode { 
    char const* name; 
    unsigned char : own_name; 
} BNode; 

void b_copy_name(BNode* n) { 
    if(!n->own_name) { 
     char* p = strdup(n->name); 
     if(p) { 
      n->own_name = 1; 
      n->name = p; 
     } 
     else { 
      abort(); 
     } 
    } 
} 

void b_destroy(BNode* n) { 
    // ... 
    if(n->own_name) 
     free(n->name); 
} 

Answer 2

Это определит строковых литералов:

#include <stdio.h> 

#define PRINT_IT(c) do {\ 
if (__builtin_constant_p(c))\ 
    print_it(c, 1);\ 
else \ 
    1/__builtin_constant_p(c);\ 
} while (0) 


void print_it(const char *c, int is_static) 
{ 
    printf("%s is a constant %d\n", c, is_static); 
} 

int main(int argc, char *argv[]) 
{ 
    char bar[] = "bar"; 
    PRINT_IT("Foo"); //line 19 
    PRINT_IT(bar); //line 20 

return 0; 

} 


$ gcc foo.c 
foo.c: In function ‘main’: 
foo.c:20: warning: division by zero 

Таким образом, вы можете обернуть вашу функцию b_new_node() в макросе, возможно, только для отладки сборки, и использовать деление на ноль предупреждений.

Обратите внимание, что он определяет только строковые литералы как «аргументы», а не статическое хранилище, например.

const char *foo = "foo"; 
PRINT_IT(foo); //will generate a warning 
PRINT_IT("foo"); //will not generate a warning 
PRINT_IT(global_foo); //will generate a warning, even when. 
         //global_foo is const char *foo = "foo"; or 
         //global_foo is const char foo[] = "foo"; 

Answer 3

Обычно нет; нет средства C-обеспечения, чтобы узнать, указывает ли указатель на что-то в статическом хранилище. Конкретные среды и структуры данных могут изменить обстоятельства - например, проверка, если указанный адрес указан в read-only memory segment.

Экономия пространства за счет противодействия дублирования

Чтобы устранить дублирующие значения, так как указывает name, вы могли бы использовать the flyweight pattern, который не сильно отличается от string interning.

В основном вы создаете центральный набор встреченных жетонов и сохраняете только ссылку на каждый токен. Ссылки могут быть индексами или указателями массива.

Для быстрой очистки вы можете комбинировать мухи с reference counting, где отсчет нуля означает отсутствие ссылок.

Чтобы сохранить производительность центрального хранилища высоко, используйте структуру данных, где поиск выполняется быстро, например, набор, или с map, если используется reference counting.