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

VS2019 и noexcept

05.12.2023, 17:31. Показов 4529. Ответов 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
6444 / 5637 / 1128
Регистрация: 11.10.2019
Сообщений: 14,993
07.12.2023, 09:26  [ТС]
0
19491 / 10097 / 2460
Регистрация: 30.01.2014
Сообщений: 17,805
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
6444 / 5637 / 1128
Регистрация: 11.10.2019
Сообщений: 14,993
07.12.2023, 11:32  [ТС]
Цитата Сообщение от DrOffset Посмотреть сообщение
у std::set перемещающий конструктор не обозначен как noexcept:
да, точно. Странно, почему так
И почему тогда 8-я строка нормально воспринимается

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

Решение

Цитата Сообщение от Алексей1153 Посмотреть сообщение
И почему тогда 8-я строка нормально воспринимается
Потому что std::swap перегружен специально для std::set как noexcept (он использует std::set::swap, который noexcept в большинстве случаев).
Так что видимо в случае из поста наиболее правильным будет перегрузить swap для A.
1
фрилансер
 Аватар для Алексей1153
6444 / 5637 / 1128
Регистрация: 11.10.2019
Сообщений: 14,993
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
12925 / 6793 / 1819
Регистрация: 18.10.2014
Сообщений: 17,189
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
Ответ Создать тему
Новые блоги и статьи
PhpStorm 2025.3: WSL Terminal всегда стартует в ~
and_y87 14.12.2025
PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .
Как объединить две одинаковые БД Access с разными данными
VikBal 11.12.2025
Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук
volvo 07.12.2025
Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом
volvo 05.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha
Etyuhibosecyu 20.11.2025
Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
Мысли в слух
kumehtar 18.11.2025
Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .
Создание Single Page Application на фреймах
krapotkin 16.11.2025
Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru