Error c4703 используется потенциально неинициализированная локальная переменная указатель

ошибка C4703: потенциально неинициализированная переменная локального указателя ‘pNamesPtr’ используется

Я работаю над проектом crypter и при попытке скомпилировать программу столкнулся с следующей ошибкой.

main.cpp(520): ошибка C4703: потенциально неинициализированный локальный указатель переменная ‘pNamesPtr’ используется
========== Build: 0 удалось, 1 не удалось, 0 обновлено, 0 пропущено ==========

Может кто-нибудь помочь мне с этой ошибкой? Вам нужен больше кода, чтобы иметь хороший ответ?

3 ответа

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

Например, если я пишу:

Если вы оптимизируете, вы можете знать, что значение whatever всегда истинно, если значение this_and_that истинно, поэтому, если printf вызывается, тогда i уже гарантированно инициализируется, но компилятор часто не может определить связь между this_and_that и whatever , поэтому вы получаете предупреждение. Одним из возможных быстрых исправлений для этого предупреждения является инициализация переменной до значения по умолчанию, где вы ее объявляете. На мой взгляд, избавление от инициализации — плохая практика и источник множества ошибок.

Это означает, что

• вы не инициализируете pNamesPtr , когда вы его объявляете, поэтому он начинается с недопустимого значения; и
• компилятор не может быть уверен, что перед его использованием вам будет присвоено действительное значение.

Проверьте все пути кода от объявления до точки использования. Все ли они назначают что-то разумное для переменной? Если нет, исправьте это, чтобы они это сделали.

Если они это сделают, и вы уверены, что правильно назначили его, можете ли вы упростить код, чтобы он был очевидным для компилятора?

Если все остальное не удается, вы можете отключить компилятор, инициализируя его значением nullptr или другим значением по умолчанию в инициализации. Но делайте это только в том случае, если вы действительно уверены, что ваш код верен — компиляторы обычно хорошо разбираются в таких ошибках.

Источник

/sdl (включение дополнительных проверок безопасности)

Включает рекомендуемые проверки жизненного цикла разработки безопасности (SDL). Эти проверки изменяют предупреждения, связанные с безопасностью, на ошибки и задают дополнительные безопасные функции создания кода.

Синтаксис

Комментарии

/sdl включает надмножество базовых проверок безопасности, предоставляемых /GS и переопределяет /GS- . По умолчанию /sdl параметр отключен. /sdl- отключает дополнительные проверки безопасности.

Проверки времени компиляции

/sdl позволяет применять эти предупреждения как ошибки:

Проверки во время выполнения

Если /sdl параметр включен, компилятор создает код, который выполняет эти проверки во время выполнения:

Включает строгий режим обнаружения переполнения буфера /GS во время выполнения, эквивалентный компиляции с #pragma strict_gs_check(push, on) помощью .

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

Инициализирует указатели членов класса. Автоматически инициализирует члены класса типа nullptr указателя на при создании экземпляра объекта (перед запуском конструктора). Это помогает предотвратить использование неинициализированных указателей, которые конструктор явно не инициализирует. Инициализация указателя члена, созданного компилятором, вызывается при условии, что:

Объект не выделяется с помощью пользовательского (определяемого пользователем) operator new

Объект не выделяется как часть массива (например new A[x] , ).

Класс не управляется и не импортируется

Класс имеет определяемый пользователем конструктор по умолчанию.

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

Установка данного параметра компилятора в среде разработки Visual Studio

Откройте диалоговое окно Страницы свойств проекта. Подробнее см. в статье Настройка компилятора C++ и свойства сборки в Visual Studio.

Перейдите на страницу свойств Свойства конфигурации>C/C++>Общие.

Задайте свойство проверки SDL с помощью раскрывающегося списка свойств. Нажмите кнопку ОК или Применить , чтобы сохранить изменения.

Источник

используется потенциально неинициализированная переменная локального указателя ‘playtimer’

Не могли бы вы помочь мне с этой проблемой, пожалуйста? Заранее спасибо.

Выше приведен мой код. Ошибки и предупреждения ниже:

предупреждение C4101: ‘str’: локальная переменная без ссылки —

предупреждение C4715: «SDL_main»: не все пути управления возвращают значение —

ошибка C4703: потенциально неинициализированная переменная локального указателя
«playtimer» используется

Решение

Единственное место, которое вы инициализируете playtimer в

Это условная инициализация и средства playtimer может или не может быть инициализирован в следующем коде. Тогда у вас есть

Так что если вы достигнете SDL_RemoveTimer(playtimer); playtimer может или не может быть инициализирован из-за первого оператора if. Теперь мы можем рассуждать, что поскольку оба условия имеют одинаковое условие, то playtimer должны быть инициализированы, и мы в порядке. К сожалению, попытка заставить компилятор увидеть, что это чрезвычайно сложно и более чем вероятно, будет тем, что производители компиляторов решили не реализовывать. Также, если это многопоточная программа mode может измениться между ними, если операторы и компилятор не смогут проанализировать это.

Я предлагаю вам объединить оба оператора в один блок if, чтобы гарантировать playtimer инициализируется, когда используется:

Я бы также предложил вам сделать то же самое для simthread ,

Источник

/sdl (включение дополнительных проверок безопасности)

Включает рекомендуемые проверки жизненного цикла разработки безопасности (SDL). Эти проверки изменяют предупреждения, связанные с безопасностью, на ошибки и задают дополнительные безопасные функции создания кода.

Синтаксис

Комментарии

/sdl включает надмножество базовых проверок безопасности, предоставляемых /GS и переопределяет /GS- . По умолчанию /sdl параметр отключен. /sdl- отключает дополнительные проверки безопасности.

Проверки времени компиляции

/sdl позволяет применять эти предупреждения как ошибки:

Проверки во время выполнения

Если /sdl параметр включен, компилятор создает код, который выполняет эти проверки во время выполнения:

Включает строгий режим обнаружения переполнения буфера /GS во время выполнения, эквивалентный компиляции с #pragma strict_gs_check(push, on) помощью .

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

Инициализирует указатели членов класса. Автоматически инициализирует члены класса типа nullptr указателя на при создании экземпляра объекта (перед запуском конструктора). Это помогает предотвратить использование неинициализированных указателей, которые конструктор явно не инициализирует. Инициализация указателя члена, созданного компилятором, вызывается при условии, что:

Объект не выделяется с помощью пользовательского (определяемого пользователем) operator new

Объект не выделяется как часть массива (например new A[x] , ).

Класс не управляется и не импортируется

Класс имеет определяемый пользователем конструктор по умолчанию.

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

Установка данного параметра компилятора в среде разработки Visual Studio

Откройте диалоговое окно Страницы свойств проекта. Подробнее см. в статье Настройка компилятора C++ и свойства сборки в Visual Studio.

Перейдите на страницу свойств Свойства конфигурации>C/C++>Общие.

Задайте свойство проверки SDL с помощью раскрывающегося списка свойств. Нажмите кнопку ОК или Применить , чтобы сохранить изменения.

Источник

Предупреждения компилятора с C4600 по C4799

В статьях в этом разделе документации объясняется подмножество предупреждающих сообщений, создаваемых компилятором.

Компиляторы и средства сборки Visual Studio могут сообщать о различных типах ошибок и предупреждений. После обнаружения ошибки или предупреждения средства сборки могут делать предположения о намерении кода и пытаться продолжить работу, чтобы одновременно можно было сообщить о дополнительных проблемах. Если средства делают неверное предположение, последующие ошибки или предупреждения не могут применяться к проекту. При устранении проблем в проекте всегда начинайте с первой зарегистрированной ошибки (или предупреждения) и выполняйте повторную сборку как можно чаще. Одно исправление может привести к устранению многих последующих ошибок.

Чтобы получить справку по определенному диагностическом сообщению в Visual Studio, выберите его в окне Вывод и нажмите клавишу F1 . Visual Studio открывает страницу документации по этой ошибке, если она существует. Вы также можете использовать средство поиска в верхней части страницы, чтобы найти статьи о конкретных ошибках или предупреждениях. Или просмотрите список ошибок и предупреждений по инструменту и введите в оглавление на этой странице.

Не все ошибки или предупреждения Visual Studio задокументированы. Во многих случаях в диагностическом сообщении содержатся все доступные сведения. Если вы попали на эту страницу при использовании F1 и считаете, что сообщение об ошибке или предупреждении нуждается в дополнительных объяснениях, сообщите нам об этом. Вы можете использовать кнопки обратной связи на этой странице, чтобы вызвать проблему с документацией на GitHub. Если вы считаете ошибку или предупреждение неправильным или обнаружили другую проблему с набором инструментов, сообщите о проблеме с продуктом на сайте Сообщество разработчиков. Вы также можете отправлять отзывы и вводить ошибки в интегрированной среде разработки. В Visual Studio перейдите в строку меню и выберите Справка > Отправить отзыв > Сообщить о проблеме или отправьте предложение с помощью команды Отправить > отзыв > Отправить предложение.

Дополнительную помощь по ошибкам и предупреждениям можно найти на форумах Microsoft Learn Q&A . Или найдите номер ошибки или предупреждения на сайте visual Studio C++ Сообщество разработчиков. Вы также можете выполнить поиск в Stack Overflow , чтобы найти решения.

Ссылки на дополнительные справочные материалы и ресурсы сообщества см. в справке и сообществе Visual C++.

Источник

I’m writing a project for a class and I have to have my program read arithmetic expressions from an input file and evaluate them. Unfortunately whenever I try to implement my ternaryCondition.h header my debug throws three

subexpression.cpp(75):error C4703: potentially uninitialized local pointer variable ‘first’ used

subexpression.cpp(75):error C4703: potentially uninitialized local pointer variable ‘second’ used

subexpression.cpp(75):error C4703: potentially uninitialized local pointer variable ‘third’ used

This is my second time working with C++ so I feel like I’m just missing something entirely.

I’ve tried disabling /sdl checks but when I do that I find that my program can no longer read line by line through my input file and evaluate the expressions.

This is the subexpressions.cpp thats throwing the error up to the 75th line where the error occurs:

#include <iostream>

using namespace std;

#include "expression.h"
#include "subexpression.h"
#include "operand.h"
#include "plus.h"
#include "minus.h"
#include "times.h"
#include "divide.h"
#include "greaterThan.h"
#include "lessThan.h"
#include "equal.h"
#include "and.h"
#include "or.h"
#include "negation.h"
#include "ternaryCondition.h"


#include <sstream>


SubExpression::SubExpression(Expression* left, Expression* right)

{

    this->left = left;
    this->right = right;

}

SubExpression::SubExpression(Expression* first, Expression* second, Expression* third)
{
    this->first = first;
    this->second = second;
    this->third = third;
}

SubExpression::SubExpression(Expression* left)
{
    this->left = left;
}

Expression* SubExpression::parse(stringstream& in)

{
    Expression* left;
    Expression* right;
    Expression* first;
    Expression* second;
    Expression* third;
    char operation, paren;
    bool isTernary = false;

    left = Operand::parse(in);
    cin >> operation;
    right = Operand::parse(in);
    if (operation == ':')
    {
        first = left;
        second = right;
        left = Operand::parse(in);
        cin >> operation;
        right = Operand::parse(in);
        if (operation == '?')
        {
            third = right;
            isTernary = true;
        }
    }
    cin >> paren;
    if (isTernary == true)
    {
        return new TernaryCondition(first, second, third); 
//THE LINE ABOVE IS LINE 75 WHERE THE ERROR IS BEING THROWN
    }
    switch (operation)
    {

And this is the ternaryCondition.h header in case that could be causing issues:

class TernaryCondition : public SubExpression
{
public:
    TernaryCondition(Expression* first, Expression* second, Expression* third) :
        SubExpression(first, second, third)
    {
    }
    int evaluate()
    {
        return third->evaluate() ? first->evaluate() : second->evaluate(); 
    }
};

The point of this part of my code is so that the program can calculate expressions like

( ( ( z < ( 50 + aa ) ) & ( bb ! ) ) * ( ( 3 / cc ) | ( 1 : 0 ? ( z > aa ) ) , z = 4 , aa = 2 , bb = 4 , cc = 2 ;

I’m sorry if I submitted this in a improper format, this is my first time posting.

ADDED THE subexpression.h HEADER FILE:

class SubExpression : public Expression
{
public:
    SubExpression(Expression* left, Expression* right);
    SubExpression(Expression* left);
    SubExpression(Expression* first, Expression* second, Expression* third);
    static Expression* parse(stringstream& in);

protected:
    Expression* left;
    Expression* right;
    Expression* first;
    Expression* second;
    Expression* third;
};

I’m writing a project for a class and I have to have my program read arithmetic expressions from an input file and evaluate them. Unfortunately whenever I try to implement my ternaryCondition.h header my debug throws three

subexpression.cpp(75):error C4703: potentially uninitialized local pointer variable ‘first’ used

subexpression.cpp(75):error C4703: potentially uninitialized local pointer variable ‘second’ used

subexpression.cpp(75):error C4703: potentially uninitialized local pointer variable ‘third’ used

This is my second time working with C++ so I feel like I’m just missing something entirely.

I’ve tried disabling /sdl checks but when I do that I find that my program can no longer read line by line through my input file and evaluate the expressions.

This is the subexpressions.cpp thats throwing the error up to the 75th line where the error occurs:

#include <iostream>

using namespace std;

#include "expression.h"
#include "subexpression.h"
#include "operand.h"
#include "plus.h"
#include "minus.h"
#include "times.h"
#include "divide.h"
#include "greaterThan.h"
#include "lessThan.h"
#include "equal.h"
#include "and.h"
#include "or.h"
#include "negation.h"
#include "ternaryCondition.h"


#include <sstream>


SubExpression::SubExpression(Expression* left, Expression* right)

{

    this->left = left;
    this->right = right;

}

SubExpression::SubExpression(Expression* first, Expression* second, Expression* third)
{
    this->first = first;
    this->second = second;
    this->third = third;
}

SubExpression::SubExpression(Expression* left)
{
    this->left = left;
}

Expression* SubExpression::parse(stringstream& in)

{
    Expression* left;
    Expression* right;
    Expression* first;
    Expression* second;
    Expression* third;
    char operation, paren;
    bool isTernary = false;

    left = Operand::parse(in);
    cin >> operation;
    right = Operand::parse(in);
    if (operation == ':')
    {
        first = left;
        second = right;
        left = Operand::parse(in);
        cin >> operation;
        right = Operand::parse(in);
        if (operation == '?')
        {
            third = right;
            isTernary = true;
        }
    }
    cin >> paren;
    if (isTernary == true)
    {
        return new TernaryCondition(first, second, third); 
//THE LINE ABOVE IS LINE 75 WHERE THE ERROR IS BEING THROWN
    }
    switch (operation)
    {

And this is the ternaryCondition.h header in case that could be causing issues:

class TernaryCondition : public SubExpression
{
public:
    TernaryCondition(Expression* first, Expression* second, Expression* third) :
        SubExpression(first, second, third)
    {
    }
    int evaluate()
    {
        return third->evaluate() ? first->evaluate() : second->evaluate(); 
    }
};

The point of this part of my code is so that the program can calculate expressions like

( ( ( z < ( 50 + aa ) ) & ( bb ! ) ) * ( ( 3 / cc ) | ( 1 : 0 ? ( z > aa ) ) , z = 4 , aa = 2 , bb = 4 , cc = 2 ;

I’m sorry if I submitted this in a improper format, this is my first time posting.

ADDED THE subexpression.h HEADER FILE:

class SubExpression : public Expression
{
public:
    SubExpression(Expression* left, Expression* right);
    SubExpression(Expression* left);
    SubExpression(Expression* first, Expression* second, Expression* third);
    static Expression* parse(stringstream& in);

protected:
    Expression* left;
    Expression* right;
    Expression* first;
    Expression* second;
    Expression* third;
};

UINT8* x = new UINT8[512];
if (!x) goto clean;

//UINT32* y = NULL;
UINT32* y = new UINT32[4];
if (!y) goto clean;

//char* z = NULL;
char* z = new char[512];
if (!z) goto clean;

{.... Some Code....}

clean:

if (x) delete[] x;
if (y) delete[] y;
if (z) delete[] z;

Решение

UINT8* x = NULL;
UINT32* y = NULL;
char* z = NULL;

x = new UINT8[512];
if (!x) goto clean;

y = new UINT32[4];
if (!y) goto clean;

z = new char[512];
if (!z) goto clean;

Другие решения

std::vector<std::uint8_t> x {512};
std::vector<std::uint32_t> y {4};
std::vector<char> z {512}; // Or std::string

if (!x) goto clean;

if (x) delete[] x;
if (y) delete[] y;
if (z) delete[] z;