Путаница в указателях?

Question

[Relike]

Есть следующие функции

Three сreateThree(Node **q)
{
    if((*q)->p)
    {
        Three *one, *two;
        one = del(q);
        two = del(q);
        Three *t = new Three;
        t->left = one;
        t->right = two;
        t->weight = one->weight + two->weight;
 
        Node *tmpQ = 0;
 
        while(q)
        {
            Three *tmp;
            tmp = del(q);
            if(!tmpQ)
            {
                tmpQ = t->weight > tmp->weight ? first(tmp) : first(t);
            }
            else
            {
                t->weight > tmp->weight ? add(&tmpQ, tmp) : add(&tmpQ, t);
            }
        }
        сreateThree(&tmpQ);
    }
    else
    {
        return (*(*q)->t);
    }
}
 
Three* del(Node **pbeg)
{
    Three *temp = (*pbeg)->t; //ПОМЕЧЕННАЯ СТРОКА
    Node *pv = *pbeg;
    *pbeg = (*pbeg)->p;
    delete pv;
    return temp;
}
 
 
int main()
{
 
   /*НЕКИЙ РАБОТАЮЩИЙ КОД*/
 
    Node *q;
    formQueue(&q, values, symbols, count);
    Three t = сreateThree(&q);
    Show(&t);
 
    cout<<endl;
    return 0;
}

Вылетает ошибка Segmentation fault. Дебагер говорит что ошибка в помеченой строке. Видимо дело в указателях. Помогите разобраться

У меня тут две динамические структуры:

Three* createList(int weight, char symbol)
{
    Three *t = new Three;
    t->weight = weight;
    t->symbol = symbol;
    t->left = 0;
    t->right = 0;
}

Three* createList(int weight, char symbol)
{
    Three *t = new Three;
    t->weight = weight;
    t->symbol = symbol;
    t->left = 0;
    t->right = 0;
}

void Show(Three *t)
{
    if(t)
    {
        cout<<t->weight<<"\t"<<t->symbol<<endl;
        Show(t->left);
        Show(t->right);
    }
}

struct Node {
    Three *t;
    Node *p;
};

// Начальное формирование очереди
Node * first(Three *t)
{
    Node *pv = new Node;
    pv->t = t;
    pv->p = 0;
    return pv;
}
//---------------------------------------
// Добавление в конец
void add(Node **pend, Three *t)
{
    Node *pv = new Node;
    pv->t = t;
    pv->p = 0;
    (*pend)->p = pv;
    *pend = pv;
}
//---------------------------------------
// Выборка
Three* del(Node **pbeg)
{
    //assert(pbeg);
    //assert(*pbeg); //- Этот аассерт срабатывает и видимо сразу на первом вызове
    Three *temp = (*pbeg)->t;
    Node *pv = *pbeg;
    *pbeg = (*pbeg)->p;
    delete pv;
    return temp;
}


void sortArray(char *symbols, int *values, int count)
{
    int tmp_i;
    char tmp_c;

    for(int i = 0; i < count; i++)
    {
        for(int j = count-1; j > i; j--)
        {
            if(values[j-1] > values[j])
            {
                tmp_i = values[j];
                tmp_c = symbols[j];
                values[j] = values[j-1];
                symbols[j] = symbols[j-1];
                values[j-1] = tmp_i;
                symbols[j-1] = tmp_c;
            }
        }
    }
}

Функция formQoeue формирует очередь из деревьев на основе массива интов и строки:

void formQueue(Node **q, int *values, char *symbols, int count)
{
    Three *l = createList(values[0], symbols[0]);
    (*q) = first(l);
    Node *qEnd = (*q);
    for(int i = 1; i < count; i++)
    {
        Three *tmp = createList(values[i], symbols[i]);
        add(&qEnd, tmp);
    }
}

если сделать следующее:

while(q) Show(del(&q));
 return 0;

То будет всё отлично работать:



А вот в той функции всё пошло косо...я не знаю как быть...



Добавил ассерты

Answer 1

[monah_tuk]

если pbeg == nullptr или *pbeg == nullptr, то (*pbeg)->t будет попыткой разыменования нулевого указателя, а то и двойной. Покажи ещё стек-трейс (команда bt в gdb), но вангую, что он приведёт к строчке:
two = del(q);
а в листе был всего 1 элемент.

Ванговал не правильно, но близко:
Если вы опубликовали правильный код, тот который реально у вас. У вас проблемы. Причём не только с указателями:
1. createList не возвращает созданный t - на выходе будете иметь мусор
2. не могу чётко уловить логику, но createThree тоже может в определённых условиях вернуть мусор. Судя по всему внутри должен быть не просто рекурсивный вызов:
createThree(&tmpQ);
а:
return createThree(&tmpQ);
3. касательно указателей, просмотрел, но вот этот код никогда не закончится:
while(q) {
потому как q ни когда не станет null, а вот *q может и становится и собственно в таком виде и передаётся в del() в строчке tmp = del(q); в результате и получаешь фейл.

дальше у тебя там ещё, походу, баг в логике. Но это уже без меня.

PS если не поможет - приведите минимально-работающий код, на котором воспроизводится проблема.
PPS у вас C++, уйдите от указателей на указатели, используйте ссылки, например:

Three* del(Node &*pbeg)
{
    assert(pbeg != 0); // для гарантий
    Three *temp = pbeg->t; //ПОМЕЧЕННАЯ СТРОКА
    Node *pv = pbeg;
    pbeg = pbeg->p;
    delete pv;
    return temp;
}

И вообще, в C++: попытайтесь заменить указатели на ссылки везде где это только можно. Много нервов сбережёте.

Comments

[Relike]

Обновил пост, добавил кода

[monah_tuk]

Relike: неплохо. Но на минимально-рабочий код не тянет. Половины функций не хватает, что бы скомпилировать и воспроизвести. Как минимум поставьте перед ПОМЕЧЕННОЙ СТРОКОЙ
assert(pbeg);
assert(*pbeg);
Если на одном из них будет вылет в рантайме - вы подсовываете нулевой указатель. Если вылета не будет - вы подсовываете мусор. А это, как минимум, говорит о том, что что-то не проинициализировали.

кроме того, вывод стек-трейка не приведено. А так же не показана функция Show().

По той информации, что приведена: у вас разыменование нулевого указателя. Но где вы точно ошиблись, я не могут сказать без минимально-компилябельного примера.

[Relike]

Можно с вами связаться как-то не публично?

[monah_tuk]

Relike: в частном порядке уже работа, за консультации беру 500р/час (неполный час - полностью). Если устраивает, пишите hatred собака inbox.ru. Скооперируемся по времени, а то уже час ночи, а завтра на работу.

Если нет, то достаточно добавить код:
- Структуры Three
- Функций: add(), first(), Show()

Ассершн сработал, значит предположение правильное - нулевой указатель. По-прежнему мне не ясно откуда он срабатывает. Судя по всему в той строчке, которую я показал:
one = del(q); // на входе *q будет валидным, но на выходе может быть nullptr, тогда:
two = del(q); // логично, что фейлится.

Но это если дело в createThree(), если же срабатывает в Show() то нужно смотреть что там делается.

[Relike]

monah_tuk: щас добавлю

[Relike]

monah_tuk: готово