ПроблемаЗапись в 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);
} 
