Exponenta Banner

Large pass-by-value argument

Большой аргумент передается значением между функциями

расширьте все на странице

Описание

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

Риск

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

Специальные замечания для возвращаемых значений: В коде С, когда функция возвращается значением, возвращаемое значение копируется в вызывающую сторону. Поэтому этот дефект появляется на функциях, которые имеют большие возвращаемые значения. В Коде С++, если функциональное возвращаемое значение имеет тип класса при определенных обстоятельствах, стандарт позволяет компиляторам стараться не копировать возвращаемое значение (C++ 98: Разделите 12.8, Пункт 15; C++ 11: Разделите 12.8, Пункт 31). Большинство компиляторов не выполняет копию в таких случаях. Это поведение называется оптимизацией возвращаемого значения. В таких случаях Polyspace® Bug Finder™ не производит этот дефект, если большой объект возвращен значением.

Фиксация

Для переменных, больше, чем 64 байта, передайте значение указателем или ссылкой. Для структурированных переменных можно также осуществить рефакторинг тип переменной так, чтобы только некоторые члены были скопированы.

Если вы не хотите устранять проблему, добавьте комментарии в свой результат или код, чтобы избежать другого анализа. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Выравнивания.

Примеры

развернуть все

typedef struct s_userid {
    char name[2];
    int idnumber[100];
} userid;

char username(userid first) {
    return first.name[0];
}

Большая структура, userid, передается функциональному username. Поскольку userid больше, чем 64 байта, эта функция производит большой дефект передачи значением.

Коррекция — передает ссылкой

Одна возможная коррекция должна передать аргумент ссылкой вместо значением. В этом откорректированном примере, указателе на userid структура передается вместо фактической структуры.

typedef struct s_userid {
    char name[2];
    int idnumber[100];
} userid;

char username(userid *first) {
    return (*first).name[0];
}
#include <stdlib.h>

#define initialSize 4
#define idSize 100

typedef struct {
    char initials[initialSize];
    int id[idSize];
} userId;

userId* getAddress(void);
assignValues(char*, int*);

userId username(void) {
    userId * newId = getAddress();
    assignValues((*newId).initials, (*newId).id);
    return *newId;
}

В этом примере, функциональном username возвращает большую структуру *newId значением. Когда вызовы функции username, значение в *newId копируется в вызывающую сторону.

Коррекция — передает ссылкой

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

#include <stdlib.h>

#define initialSize 4
#define idSize 100

typedef struct {
    char initials[initialSize];
    int id[idSize];
} userId;

userId* getAddress(void);
assignValues(char*, int*);

userId * username(void) {
    userId * newId = getAddress();
    assignValues((*newId).initials, (*newId).id);
    return newId;
}

Проверяйте информацию

Группа: Хорошая практика
Язык: C | C++
Значение по умолчанию: 'off'
Синтаксис командной строки: PASS_BY_VALUE
Удар: низко

Смотрите также

Темы

Введенный в R2013b

Документация Polyspace Bug Finder
Поддержка