Boost::asio, любопытный фрагмент кода

@eva2326 · Регистрация: 17.05.2015

Студворк — интернет-сервис помощи студентам

Всем привет!

Вот такой фрагмент в файле buffer.hpp:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
#if defined(ASIO_ENABLE_BUFFER_DEBUGGING)
namespace detail {
 
template <typename Iterator>
class buffer_debug_check
{
public:
  buffer_debug_check(Iterator iter)
    : iter_(iter)
  {
  }
 
  ~buffer_debug_check()
  {
#if defined(ASIO_MSVC) && (ASIO_MSVC == 1400)
    // MSVC 8's string iterator checking may crash in a std::string::iterator
    // object's destructor when the iterator points to an already-destroyed
    // std::string object, unless the iterator is cleared first.
    iter_ = Iterator();
#endif // defined(ASIO_MSVC) && (ASIO_MSVC == 1400)
  }
 
  void operator()()
  {
    *iter_;
  }
 
private:
  Iterator iter_;
};
 
} // namespace detail
#endif // ASIO_ENABLE_BUFFER_DEBUGGING

Смущает operator()

warning C4834: discarding return value of function with 'nodiscard' attribute

В чем сакральный смысл?
Мне так и не удалось обнаружить кто запускает operator()
Поиск по коду boost ничего не дал.

Я подозреваю, что итератор разыменовывается с целью проверить: если после разыменовывания программа упала, значит итератор был не валидным.
То есть, проверка закладывается на внутреннею защиту Iterator

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

2. Будет ли корректно с моей стороны подавить предупреждение от компилятора?
Или может быть лучше пропатчить код:

C++
1
2
3
4
5
void operator()()
{
    auto&&  v = *iter_;
    (void) v;
}

Патчить чужой код мне вообще не хочется))

В настоящий момент я использую вот такое решение:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
    #ifdef _MSC_VER
        #pragma warning(push)
        // warning C4834: discarding return value of function with 'nodiscard' 
        #pragma warning(disable : 4834)
    #else
        #pragma GCC diagnostic push
        #pragma GCC diagnostic ignored "-Wcast-function-type"
        #pragma GCC diagnostic ignored "-Wctor-dtor-privacy"
        #pragma GCC diagnostic ignored "-Wsign-conversion"
        #pragma GCC diagnostic ignored "-Wold-style-cast"
        #pragma GCC diagnostic ignored "-Wconversion"
        #pragma GCC diagnostic ignored "-Wshadow"
        #pragma GCC diagnostic ignored "-Weffc++"
        #pragma GCC diagnostic ignored "-Wall"
    #endif
 
    #include <boost/asio.hpp>
 
    #ifdef _MSC_VER
        #pragma warning(pop)
    #else
        #pragma GCC diagnostic pop
    #endif

@argcargv · 30.06.2021, 09:23

Сообщение от eva2326

В чем сакральный смысл?

https://www.boost.org/doc/libs... _DEBUGGING

Сообщение от eva2326

Мне так и не удалось обнаружить кто запускает operator()
Поиск по коду boost ничего не дал.

C++
1
2
3
4
5
6
7
8
#if defined(BOOST_ASIO_ENABLE_BUFFER_DEBUGGING)
  mutable_buffer(void* data, std::size_t size,
      boost::asio::detail::function<void()> debug_check)
    : data_(data),
      size_(size),
      debug_check_(debug_check)
  {
  }

C++
1
2
3
4
5
6
7
  /// Get a pointer to the beginning of the memory range.
  void* data() const BOOST_ASIO_NOEXCEPT
  {
#if defined(BOOST_ASIO_ENABLE_BUFFER_DEBUGGING)
    if (size_ && debug_check_)
      debug_check_();
#endif // BOOST_ASIO_ENABLE_BUFFER_DEBUGGING

Сообщение от eva2326

Или может быть лучше пропатчить код

https://github.com/boostorg/as... 328bb08760

Новые блоги и статьи Все статьи Все блоги /
Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит токи на L и напряжения на C в установ. режимах до и. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .