Ссылка NULL в C++ [закрыто] ⇐ C++
-
Anonymous
Ссылка NULL в C++ [закрыто]
Я знаю, что ссылки в C++ не могут иметь значение NULL, но не знаю, как еще это объяснить:
Я анализирую (относительно) большой файл JSON (~ 46000 символов) с помощью nlohmann/json. Обычно это работает нормально. Однако в определенный момент я беру foo["a"]["b"] и передаю его в свою функцию bar(), которая объявляется как < code>void* bar(json &baz). На этом этапе происходит сбой: EXC_BAD_ACCESS.
Когда я иду искать в lldb (я использую MacOS), frame select 1 дает мне bar(baz=0x0000000000000000), что объясняет сбой. Я просто не понимаю, почему это происходит. Я также проверил, что сам ключ не равен нулю с помощью foo["a"]["b"].is_null().
Поначалу я предполагал, что нужно что-то сделать со стеком, но я специально переключился на использование ссылок, чтобы предотвратить это.
Обновление 1: После некоторого копания я определил, что это связано с переполнением стека. Я предполагаю, что аргумент не был передан в новый вызов, потому что был достигнут предел, и поэтому функция была вызвана с null< /код>. Если я использую ASAN, предел достигается раньше, но последний вызов не вызывается с нулевым значением. Мне нужно определить, что вызывает переполнение, поскольку рекурсивных вызовов всего 16, а этого недостаточно, чтобы (обычно) вызвать переполнение.
Обновление 2: Еще немного покопавшись, я также обнаружил, что замена большой лестницы if-else на переключатель еще больше снижает использование стека, но это лишь откладывает проблему.
Я знаю, что ссылки в C++ не могут иметь значение NULL, но не знаю, как еще это объяснить:
Я анализирую (относительно) большой файл JSON (~ 46000 символов) с помощью nlohmann/json. Обычно это работает нормально. Однако в определенный момент я беру foo["a"]["b"] и передаю его в свою функцию bar(), которая объявляется как < code>void* bar(json &baz). На этом этапе происходит сбой: EXC_BAD_ACCESS.
Когда я иду искать в lldb (я использую MacOS), frame select 1 дает мне bar(baz=0x0000000000000000), что объясняет сбой. Я просто не понимаю, почему это происходит. Я также проверил, что сам ключ не равен нулю с помощью foo["a"]["b"].is_null().
Поначалу я предполагал, что нужно что-то сделать со стеком, но я специально переключился на использование ссылок, чтобы предотвратить это.
Обновление 1: После некоторого копания я определил, что это связано с переполнением стека. Я предполагаю, что аргумент не был передан в новый вызов, потому что был достигнут предел, и поэтому функция была вызвана с null< /код>. Если я использую ASAN, предел достигается раньше, но последний вызов не вызывается с нулевым значением. Мне нужно определить, что вызывает переполнение, поскольку рекурсивных вызовов всего 16, а этого недостаточно, чтобы (обычно) вызвать переполнение.
Обновление 2: Еще немного покопавшись, я также обнаружил, что замена большой лестницы if-else на переключатель еще больше снижает использование стека, но это лишь откладывает проблему.
Мобильная версия