V3070. Uninitialized variables are used when initializing the 'A' variable.
Анализатор обнаружил потенциально возможную ошибку, связанную с тем, что член класса будет инициализирован не тем значением, которое предполагалось.
Рассмотрим пример:
class AClass {
static int A = B + 1;
static int B = 10;
}
В данном случае поле 'A' будет инициализировано значением '1', а не '11', как мог предположить программист. Дело в том, что на момент инициализации поля 'A', значение поля 'B' будет равно '0'. Это обусловлено тем, что изначально все члены типа (класса или структуры) инициализируются значениями по умолчанию ('0' для числовых типов, 'false' - для логического, и 'null' для ссылочных). И только после этого будет выполняться инициализация, установленная программистом. Решением проблемы будет изменение порядка следования полей:
class AClass {
static int B = 10;
static int A = B + 1;
}
В таком случае на момент инициализации поля 'A', 'B' будет содержать в себе значение '10', как и предполагалось.
Данная диагностика классифицируется как:
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V3070. |