ПроблемаЗапись в const
квалифицированный объект возникает, когда вы делаете одно из следующего:
Использование const
-qualified object как место назначения.
Передайте const
-qualified object в функцию, которая изменяет аргумент.
Для образца дефект может возникнуть в следующих ситуациях:
Вы передаете const
-квалифицированный объект как первый аргумент одной из следующих функций:
mkstemp
mkostemp
mkostemps
mkdtemp
Вы передаете const
-qualified object как аргумент назначения одной из следующих функций:
strcpy
strncpy
strcat
memset
Вы выполняете операцию записи на const
-квалифицированный объект.
РискРиск зависит от изменений, внесенных в const
-квалифицированный объект.
Ситуация | Риск |
---|
Передача в mkstemp , mkostemp , mkostemps , mkdtemp и так далее. | Эти функции заменяют последние шесть символов их первого аргумента строкой. Поэтому они ожидают изменяемого char массив как их первый аргумент. |
Передача в strcpy , strncpy , strcat , memset и так далее. | Эти функции изменяют их аргумент назначения. Поэтому они ожидают изменяемого char массив как их конечный аргумент. |
Запись в объект | The const qualificer подразумевает соглашение о том, что значение объекта не будет изменено. Путем записи в const -qualified object, вы нарушаете соглашение. Результат операции не определен. |
ЗафиксироватьИсправление зависит от внесенной в const
модификации
-квалифицированный объект.
Ситуация | Зафиксировать |
---|
Передача в mkstemp , mkostemp , mkostemps , mkdtemp и так далее. | Пройдите не- const объект как первый аргумент функции. |
Передача в strcpy , strncpy , strcat , memset и так далее. | Пройдите не- const объект как целевой аргумент функции. |
Запись в объект | Выполните операцию записи на не- const объект. |
См. примеры исправлений ниже.
Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.
Пример - Запись в const
-Квалифицированный объект#include <string.h>
const char* buffer = "abcdeXXXXXXX";
void func(char* string) {
char *ptr = (char*)strchr(buffer,'X');
if(ptr)
strcpy(ptr,string);
}
В этом примере, потому что buffer
является const
-квалифицированный, strchr(buffer,'X')
возвращает const
-квалифицированные char*
указатель. Когда это char*
указатель используется в качестве целевого аргумента strcpy
Появляется Writing to const qualified object ошибка.
Коррекция - Копирование const
-Qualified объект Non - const
ОбъектОдной из возможных коррекций является назначение постоянной строки не- const
объект и использовать non- const
объект как конечный аргумент strchr
.
#include <string.h>
char buffer[] = "abcdeXXXXXXX";
void func(char* string) {
char *ptr = (char*)strchr(buffer,'X');
if(ptr)
strcpy(ptr,string);
}