Разве в move конструкторе [1] не должно возникнуть противоречие, в

Question

Разве в move конструкторе [1] не должно возникнуть противоречие, в

результате чего должен выбраться generated noexcept вместо defined?
template <typename T>
class A
{
T v;
public:
A() = default;
A(const A&) = default;

//A(A&&) = default;
A(A&&) noexcept(false) = default; [1]

A& operator=(const A&) = default;
A& operator=(A&&) = default;
};

int main()
{
std::cout << std::boolalpha;
std::cout << std::is_nothrow_move_constructible<A<std::string>>::value << '\n'; // false
}

#c #embedded #programming #russian

0

07.02.2022

9 ответов

20 просмотров

Ilya Zviagin

А скажи, какой смысл в move для такого класса, что он будет перемещать?

0

07.02.2022

Aleksandr Bazhenov Автор вопроса

Егор (Дима)
так он не генерируется в этом случае

не понял ответ. У класса один член - std::string. У std::string move-конструктор noexcept. Следовательно если написать в классе A(A&&) = default, то у класса A move-конструктор так же будет noexcept. Теперь я пытаюсь явно переопределить это, используя conditional noexcept(false). И это работает. Но мне не понятно почему. Так как я прочитал, что если они противоречат, то выбор падает в пользу generated noexcept, а generated в свою очередь смотрит на все свои члены и если у всех move-конструктор noexcept, то и у класса будет noexcept.

0

07.02.2022

CodeDetector

Aleksandr Bazhenov
не понял ответ. У класса один член - std::string. ...

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

0

07.02.2022

Aleksandr Bazhenov Автор вопроса

Ilya Zviagin
А скажи, какой смысл в move для такого класса, чт...

я просто пытаюсь поглубже понять как это устроено

0

07.02.2022

Слава

Aleksandr Bazhenov
не понял ответ. У класса один член - std::string. ...

Вроде noexcept на default вообще вешать нельзя. У меня по крайней мере компайл тайм ошибки были на кланге

0

07.02.2022

Aleksandr Bazhenov Автор вопроса

Слава
Вроде noexcept на default вообще вешать нельзя. У ...

можно. я же показал, что вывод false в main

0

07.02.2022

Ilya Zviagin

Aleksandr Bazhenov
я просто пытаюсь поглубже понять как это устроено

Я тоже...

0

07.02.2022

Aleksandr Bazhenov Автор вопроса

Ilya Zviagin
Я тоже...

тут может я как-то не правильно трактую слово "contradict" вот в этом тексте (C++ Move Semantics. Nicolai M. Josuttis). When you have a defaulted special member function you can explicitly specify a different noexcept guarantee than the generated one. For example: class C { ... public: C(const C&) noexcept = default; // guarantees not to throw (OK since C++20) C(C&&) noexcept(false) = default; // specifies that it might throw (OK since C++20) ... }; Before C++20, if the generated and specified noexcept condition contradict, the defined function was deleted.

0

07.02.2022

Егор (Дима) · Accepted Answer

Егор (Дима)

так он не генерируется в этом случае

0

07.02.2022

170 похожих чатов

Разве в move конструкторе [1] не должно возникнуть противоречие, в

9 ответов

Похожие вопросы