Ошибка сегментации при вызове strlen с ранее выделенным указателем

Question

До сих пор у меня был код, который отлично работал с переменной wfiles. wfiles инициализируется в моем основном файле:

char* wfiles = ""; 

Какой, насколько я могу судить, C не имеет жалоб. Далее переменная wfiles выделяется в распределительном заявление:

switch (c) { 
    case 't': 
     /* the user wants a template */ 
     template = optarg; 
     break; 
    case 'f': 
     wfiles = optarg; 
     break; 
    case 'v': 
     vcs = optarg; 
     break; 
    case 'u': 
     url = optarg; 
     break; 
    case 's': 
     /* custom save location */ 
     save_loc = optarg; 
     break; 
    case '?': 
     break; 
    default: 
     abort(); 
    } 

я, наконец, проверить на ли или нет wfiles пуст:

if (!empty(wfiles)) 

пустой макрос, который расширяется до (strlen(wfiles) == 0)

я не могу см. любые проблемы с этим, но когда я запускаю этот код, я получаю ошибку сегментации. Раньше этого не было. Когда я запускал код в gdb с и без отладочных символов, я получаю одну строку, указывающую на ранее упомянутое утверждение if. Кто-нибудь знает, почему это?

Answer 1

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

Например, в случае optarg=NULL и c='f', ваш код будет выполняться как:

case 'f': 
    wfiles = optarg; 
    //Now wfiles=NULL 

strlen(wfiles) будет: происходит ошибка strlen(NULL) и сегментации.

См this related question для получения дополнительной справки

Answer 2

EDIT:

Как уже упоминалось в других ответах, действительно вам нужно проверить на NULL, прежде чем передать указатель на strlen(). В вашем случае optarg может очень содержать NULL. Итак, лучше поместите NULL-проверку против входящего указателя в empty() MACRO.

^{Однако нижеследующая точка все еще действительна, поэтому сохраняйте ее как есть.}

---

Я думаю, ваша проблема может быть с тем, как вы назначитьoptargwfiles к. optarg может меняться при разных итерациях. Таким образом, только , указывая на optarg, может дать вам безупречный результат. Вам необходимо указать копию содержание optarg для этой конкретной итерации.

Вместо назначения (хранения) указатель, попробуйте

• выделения памяти для wfiles.
• strcpy()optarg до wfiles.

Или вы можете использовать strdup() напрямую.

Answer 3

Вы можете защитить макрос empty от 1 ^й тестирования является ли ее аргумент указывает на NULL перед вызовом strlen().

#define empty(s) (s) ?(0 == strlen(s)) :1