VS2019 и noexcept

Алексей1153 · Регистрация: 11.10.2019

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

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

C++17
https://onlinegdb.com/C9LxFbe-e

C++

#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
}

Алексей1153 · 07.12.2023, 09:26 **[ТС]**

@DrOffset · 07.12.2023, 11:29

Алексей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++

    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 уже самовольно (поэтому пример работает в онлайн компиляторе).

Алексей1153 · 07.12.2023, 11:32 **[ТС]**

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

у std::set перемещающий конструктор не обозначен как noexcept:

да, точно. Странно, почему так
И почему тогда 8-я строка нормально воспринимается

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

подавить ассерт

нет, подавлять не требуется

@DrOffset · 07.12.2023, 12:26

Сообщение от Алексей1153

И почему тогда 8-я строка нормально воспринимается

Потому что std::swap перегружен специально для std::set как noexcept (он использует std::set::swap, который noexcept в большинстве случаев).
Так что видимо в случае из поста наиболее правильным будет перегрузить swap для A.

Алексей1153 · 07.12.2023, 12:52 **[ТС]**

DrOffset, понятно, спасибо

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

C++

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 минуту
только каждое поле вручную надо не забыть свопнуть

@TheCalligrapher · 12.12.2023, 18:13

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

https://developercommunity.vis... onstructor

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

Сообщение от Алексей1153

только каждое поле вручную надо не забыть свопнуть

Если решать проблему просто грубой навеской noexcept, то это можно сделать так

C++

  struct A
  {
    A() = default;
    A(A&&) noexcept = default;
    A& operator =(A&&) noexcept = default;
 
    std::set<int> s;
  };

Так ничего не нужно больше делать вручную для каждого поля. И ваш static_assert перестанет "стрелять".

VS2019 и noexcept

Решение

Решение

Решение

Алексей1153 фрилансер 5846 / 5377 / 1103 Регистрация: 11.10.2019 Сообщений: 14,376
	07.12.2023, 09:26 [ТС]	2
	0

Алексей1153 фрилансер 5846 / 5377 / 1103 Регистрация: 11.10.2019 Сообщений: 14,376
	07.12.2023, 11:32 [ТС]	4
	Сообщение от DrOffset у std::set перемещающий конструктор не обозначен как noexcept: да, точно. Странно, почему так И почему тогда 8-я строка нормально воспринимается Сообщение от DrOffset подавить ассерт нет, подавлять не требуется 0

@DrOffset 19409 / 10028 / 2443 Регистрация: 30.01.2014 Сообщений: 17,678
	07.12.2023, 12:26	5
	Сообщение было отмечено Алексей1153 как решение Решение Сообщение от Алексей1153 И почему тогда 8-я строка нормально воспринимается Потому что std::swap перегружен специально для std::set как noexcept (он использует std::set::swap, который noexcept в большинстве случаев). Так что видимо в случае из поста наиболее правильным будет перегрузить swap для A. 1

	12.12.2023, 18:13