указатели на функции c ++, дающие ошибку времени выполнения при передаче в push_heap

Question

указатели на функции c ++, дающие ошибку времени выполнения при передаче в push_heap

0

Я реализую алгоритм кратчайшего пути Djikstra и использую очередь приоритетов, чтобы определить, какой узел будет посещать следующий, но я не могу использовать std :: priority_queue, потому что это приложение требует, чтобы куча была перестроена. Я написал свою собственную оболочку для функций std::make_heap(), std::push_heap() и std::pop_heap() и я std::pop_heap() свой собственный компаратор, но он возвращает ошибку нулевого указателя во время выполнения. У меня такое чувство, что я либо не передавал правильность указателя функции, либо не был правильно инициализирован указатель на функцию.

здесь код для инициализации указателя функции

bool ShortestDistToHere(const Node& lhs, const Node& rhs){
    return distances[lhs.xpos][lhs.ypos] < distances[rhs.xpos][rhs.ypos];
}
bool (*shortestDist)(const Node& lhs, const Node& rhs) = &shortestDistToHere;

и здесь используется вызов функции

push_heap(queueVector.begin(), queueVector.end(), shortestDist);

Изменение: в комментариях я заметил, что произошла ошибка, когда она пыталась вызвать что-то в предикате. Ну, оказывается, что Visual Studio 11 не полностью соответствует спецификациям C++ (или документация просто неясна), потому что в ссылке говорилось, что третий аргумент make_heap был указателем функции или функциональным объектом, но на самом деле это был предикат. Если объект функции не является предикатом, то я все время делал это неправильно.

Mitchell Carroll 06 дек. 2014, в 03:03

Источник

3

Что такое "расстояния"? Можете ли вы показать его объявление / инициализацию?
KalyanS 06 дек. 2014, в 01:21
0

Расстояния - это массив int [250] [200], который содержит текущее кратчайшее расстояние, чтобы добраться до узла, следующий узел, который нужно посетить, это тот, у которого самое короткое расстояние, как в графике со всеми ненулевыми ребрами, гарантируется, что это кратчайший путь к этому узлу.
Mitchell Carroll 06 дек. 2014, в 01:25
3

Если это так, вы, возможно, смотрите на недопустимый доступ к массиву, и совсем не обязательно что-то связанное с указателями на функции.
KalyanS 06 дек. 2014, в 01:31
0

Я проследил трассировку (ошибка дала мне файл и номер строки), и все ошибки были вызваны в файле _DEBUG_POINTER(_Pred); Visual Studio в этой строке _DEBUG_POINTER(_Pred); где _Pred - предикат, используемый для определения порядка.
Mitchell Carroll 06 дек. 2014, в 01:37
0

Предположим, что есть три ребра от начального узла S до узлов A , B и C , с весами 1, 10 и 100. Куча размещает их в порядке [A, B, C] . Затем вы исследуете узел A и обнаруживаете, что есть ребро с весом от 1 до C Затем вы обновите distance[C] = 2 . Внезапно, в соответствии с теперь измененным предикатом сравнения, последовательность [B, C] больше не является допустимой кучей, но вы продолжаете рассматривать ее как единое целое. На этом этапе ваша программа демонстрирует неопределенное поведение.
Igor Tandetnik 06 дек. 2014, в 03:14
0

Именно поэтому я не использую std::priority_queue а вместо этого обернул функции самостоятельно. Неопределенное поведение больше не является неопределенным, если после обновления distance[C] вы вызываете std::make_heap(queueVector.begin(), queueVector.end(), <comparator>) . Проблема, с которой я std::make_heap(queueVector.begin(), queueVector.end(), <comparator>) в этом вопросе, заключалась в том, что я вставляю для <comptor> не выдавал ошибок времени компиляции, а кучу странных ошибок времени выполнения. Оказалось, что фактический формат был таким же, как и при использовании std::priority_queue но только не в угловых скобках.
Mitchell Carroll 07 дек. 2014, в 16:24

Показать ещё 4 комментария

Теги:

c++

pointers

c++11

1 ответ

Ещё вопросы

Что такое "расстояния"? Можете ли вы показать его объявление / инициализацию?
Расстояния - это массив int [250] [200], который содержит текущее кратчайшее расстояние, чтобы добраться до узла, следующий узел, который нужно посетить, это тот, у которого самое короткое расстояние, как в графике со всеми ненулевыми ребрами, гарантируется, что это кратчайший путь к этому узлу.
Если это так, вы, возможно, смотрите на недопустимый доступ к массиву, и совсем не обязательно что-то связанное с указателями на функции.
Я проследил трассировку (ошибка дала мне файл и номер строки), и все ошибки были вызваны в файле _DEBUG_POINTER(_Pred); Visual Studio в этой строке _DEBUG_POINTER(_Pred); где _Pred - предикат, используемый для определения порядка.
Предположим, что есть три ребра от начального узла S до узлов A , B и C , с весами 1, 10 и 100. Куча размещает их в порядке [A, B, C] . Затем вы исследуете узел A и обнаруживаете, что есть ребро с весом от 1 до C Затем вы обновите distance[C] = 2 . Внезапно, в соответствии с теперь измененным предикатом сравнения, последовательность [B, C] больше не является допустимой кучей, но вы продолжаете рассматривать ее как единое целое. На этом этапе ваша программа демонстрирует неопределенное поведение.
Именно поэтому я не использую std::priority_queue а вместо этого обернул функции самостоятельно. Неопределенное поведение больше не является неопределенным, если после обновления distance[C] вы вызываете std::make_heap(queueVector.begin(), queueVector.end(), <comparator>) . Проблема, с которой я std::make_heap(queueVector.begin(), queueVector.end(), <comparator>) в этом вопросе, заключалась в том, что я вставляю для <comptor> не выдавал ошибок времени компиляции, а кучу странных ошибок времени выполнения. Оказалось, что фактический формат был таким же, как и при использовании std::priority_queue но только не в угловых скобках.

Mitchell Carroll · Answer 1 · 2014-12-07T13-57-00.000Z

Правильный способ вызова push_heap() -

push_heap(queueVector.begin(), queueVector.end(), ShortestDistToHere());

ему нужен экземпляр объекта-функтора.