Форум программистов, компьютерный форум, киберфорум
Visual C++
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.81/21: Рейтинг темы: голосов - 21, средняя оценка - 4.81
фрилансер
 Аватар для Алексей1153
6462 / 5670 / 1131
Регистрация: 11.10.2019
Сообщений: 15,100

VS2019 и noexcept

05.12.2023, 17:31. Показов 4549. Ответов 6
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
имеется вот такой код. Вижуал студия 2019 жужжит на строку 27, я не понимаю, почему

C++17
https://onlinegdb.com/C9LxFbe-e
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
#include <iostream>
#include <algorithm>
#include <set>
 
int main()
{
    std::set<int> s1, s2;
    static_assert(noexcept(std::swap(s1, s2)));
 
    struct B
    {
        std::set<int> s;
 
        void swap(B& r)noexcept
        {
            std::swap(*this, r);
        }
    };
    B b1, b2;
    static_assert(noexcept(b1.swap(b2)));
 
    struct A
    {
        std::set<int> s;
    };
    A a1, a2;
    static_assert(noexcept(std::swap(a1, a2)));//VS2019: static assertion failed
}
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
05.12.2023, 17:31
Ответы с готовыми решениями:

Noexcept и throw()
здравствуйте, подскажите, в каких случаях нужно использовать noexcept за исключением деструкторов и swap?

noexcept возвращает значение?
Прототип std::swap выглядит так: template &lt;class T, size_t N&gt; void swap(T (&amp;a), T (&amp;b)) noexcept (noexcept(swap(*a,*b))); Получается,...

Почему нужно noexcept?
Здравствуйте. Сразу код :) : class logic_error_ext : public std::exception { private: std::string mesg; bool type; //if...

6
фрилансер
 Аватар для Алексей1153
6462 / 5670 / 1131
Регистрация: 11.10.2019
Сообщений: 15,100
07.12.2023, 09:26  [ТС]
0
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
07.12.2023, 11:29
Лучший ответ Сообщение было отмечено Алексей1153 как решение

Решение

Алексей1153, потому что у А operator=(A&&) и\или A(A&&) не noexcept.

Добавлено через 9 минут
Алексей1153, у std::set перемещающий конструктор не обозначен как noexcept:
https://en.cppreference.com/w/... er/set/set (см. номер 8)
Поэтому и A(A&&) будет не-noexcept.

Добавлено через 3 минуты
Вот так можно подавить ассерт, однако правильно ли это будет в принципе - не ясно.
C++
1
2
3
4
5
6
7
8
9
    struct A
    {
        std::set<int> s;
        A() = default;
        A(A&&) noexcept = default;
        A& operator=(A&&) noexcept = default;
    };
    A a1, a2;
    static_assert(noexcept(std::swap(a1,a2)));
Нужно разбираться в каких случаях std::set бросает исключения из конструктора.

Или возможно это просто дефект стандарта. К сожалению у меня сейчас нет возможности поискать документ об исправлении, если он был вообще.
В любом случае MSVC сейчас просто следует правилам (https://eel.is/c++draft/associative#set.overview-2), а в GCC этот конструктор помечен noexcept уже самовольно (поэтому пример работает в онлайн компиляторе).
1
фрилансер
 Аватар для Алексей1153
6462 / 5670 / 1131
Регистрация: 11.10.2019
Сообщений: 15,100
07.12.2023, 11:32  [ТС]
Цитата Сообщение от DrOffset Посмотреть сообщение
у std::set перемещающий конструктор не обозначен как noexcept:
да, точно. Странно, почему так
И почему тогда 8-я строка нормально воспринимается

Цитата Сообщение от DrOffset Посмотреть сообщение
подавить ассерт
нет, подавлять не требуется
0
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,816
07.12.2023, 12:26
Лучший ответ Сообщение было отмечено Алексей1153 как решение

Решение

Цитата Сообщение от Алексей1153 Посмотреть сообщение
И почему тогда 8-я строка нормально воспринимается
Потому что std::swap перегружен специально для std::set как noexcept (он использует std::set::swap, который noexcept в большинстве случаев).
Так что видимо в случае из поста наиболее правильным будет перегрузить swap для A.
1
фрилансер
 Аватар для Алексей1153
6462 / 5670 / 1131
Регистрация: 11.10.2019
Сообщений: 15,100
07.12.2023, 12:52  [ТС]
DrOffset, понятно, спасибо

Добавлено через 9 минут
как-то так, значит

C++
1
2
3
4
5
6
7
8
9
10
11
struct A
{
    std::set<int> s;
    friend void swap(A& l,A& r)noexcept
    {
        std::swap(l.s, r.s);
    }
};
 
A a1, a2;
static_assert(noexcept(swap(a1, a2)));

студия согласная

Добавлено через 1 минуту
только каждое поле вручную надо не забыть свопнуть
0
Вездепух
Эксперт CЭксперт С++
 Аватар для TheCalligrapher
12943 / 6810 / 1821
Регистрация: 18.10.2014
Сообщений: 17,235
12.12.2023, 18:13
Лучший ответ Сообщение было отмечено Алексей1153 как решение

Решение

Причина, по которой специальные методы класса std::set не являются noexcept периодически всплывают в разных контекстах. Ответ на эту тему можно найти здесь

https://developercommunity.vis... onstructor

Стандарт не требует того, чтобы перемещающие операции std::set были noexcept. Однако в libstdc++ (GCC и Clang) их таки сделали noexcept. В VS они не являются noexcept, потому, что каждый контейнер требует выделения своего индивидуального guard element.

Цитата Сообщение от Алексей1153 Посмотреть сообщение
только каждое поле вручную надо не забыть свопнуть
Если решать проблему просто грубой навеской noexcept, то это можно сделать так

C++
1
2
3
4
5
6
7
8
  struct A
  {
    A() = default;
    A(A&&) noexcept = default;
    A& operator =(A&&) noexcept = default;
 
    std::set<int> s;
  };
Так ничего не нужно больше делать вручную для каждого поля. И ваш static_assert перестанет "стрелять".
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
12.12.2023, 18:13
Помогаю со студенческими работами здесь

Noexcept - рекомендации по применению
У меня вопрос - есть ли какие то правила по применению этого ключевого слова на практике? Когда стоит пользоваться, а когда нет? Из всего...

Что такое noexcept
noexcept

Ключевое слово noexcept
Прочитал про noexcept и понял, что его нужно использовать для тех методов, которые не бросают исключение, что бы компилятор не генерировал...

Когда нужно использовать noexcept
Когда нужно использовать noexcept? В любом методе который 99.9% работает без исключений ?

Оператор noexcept и перегруженные методы класса
Всем привет Как проверить с помощью noexcept, кидает ли исключение нужный мне перегруженный метод? #include &lt;iostream&gt; ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
7
Ответ Создать тему
Новые блоги и статьи
делаю науч статью по влиянию грибов на сукцессию
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
В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .
Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование
8Observer8 05.03.2026
Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D
8Observer8 04.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru