тест C, если переменная только для чтения раздел

Question

Я хотел бы написать функцию протоколирования низкого уровня, который будет выглядеть так:

DO_DBG("some string", val1, val2) 

То, что я хочу, чтобы это сделать, чтобы хранить указатель строка, а не копия строки, по соображениям производительности. Это предполагает, что строка является литералом только для чтения. Чтобы люди не могли отлаживать отладчик, было бы неплохо, если компилятор мог бы пожаловаться, если первый параметр DO_DBG был в разделе для записи кода и текста и т. Д. Мне интересно, существует ли механизм для этого. (Я использую gcc 4.9.1, ld 2.24).

Answer 1

Вы можете использовать автоматическую строковую конкатенацию в свою пользу:

#define DO_DBG(s, a, b) _DO_DBG("" s, a, b) 

И реализовать свой реальный макрос _DO_DBG.

Answer 2

В качестве альтернативы можно использовать stringify макросъемки конструкцию:

#define DO_DBG(s, a, b) DO_DBG_INTERNAL(# s, a, b) 

и вызвать вашу функцию DO_DGB_INTERNAL так что люди будут делать:

DO_DBG(some string, val1, val2) 

PS, вполне возможно, VARIADIC функция и макрос будет хорошая идея здесь.

Answer 3

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

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

В любом случае, если вы не знаете, как это сделать, то вы не увидите (или не более, очень маленькую) разницу в производительности, если строка прочитана - только чтение-запись, одна копия или несколько.

Если вы пишете вы действуете с параметром char *, и магазин сказал указатель в сторону (не копию строки, указанной), вы должны всегда получить ту же строку обратно (если среда не является действительно странно).

Answer 4

Вы можете настроить SIGSEGV обработчик, а затем попытаться сделать:

s[0] = s[0]; 

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

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