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

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .