как скопировать модификатор noexcept в свою функцию?

[Олег М]

Цитата Eric-S @ 10.03.17, 00:21

Аналогичную ошибку я получаю, если напишу:

static_assert( noexcept( (someclass< stub_object, false >()).~someclass() ), "noexcept destructor" );

Для деструктора надо полностью имя прописывать

static_assert( noexcept( (someclass<stub_object, false>()).someclass<stub_object, false>::~someclass() ), "noexcept destructor" );

Цитата Eric-S @ 10.03.17, 00:21

reinterpret_cast< someclass< stub_object, false >* >( 0 )

Здесь, наверное, лучше использовать std::declval<someclass< stub_object, false >>().........

[Eric-S]

Цитата Олег М @ 10.03.17, 06:08

Для деструктора надо полностью имя прописывать

static_assert( noexcept( (someclass<stub_object, false>()).someclass<stub_object, false>::~someclass() ), "noexcept destructor" );

О! Не знал. Спасибо.
Но объявление конструктора мне ломает независимость проверки деструктора.
Если конструктор noexcept( false ), то провал.

Добавлено 10.03.17, 11:34

Цитата Олег М @ 10.03.17, 06:08

Здесь, наверное, лучше использовать std::declval<someclass< stub_object, false >>().........

А вот так совсем чудненько

static_assert( noexcept( ( declval< someclass< stub_object, false > >() ).someclass< stub_object, false >::~someclass() ), "noexcept destructor" );

[Олег М]

Забил бы ты на эти деструкторы. Исключения в них это экзотика, а усилий тратишь кучу

[Eric-S]

Цитата Олег М @ 10.03.17, 11:38

Забил бы ты на эти деструкторы. Исключения в них это экзотика, а усилий тратишь кучу

Уже всё. Отвлёкся вот на пару минут, для коррекции кода и написании ответа и пошёл заниматся другими делами.

У меня в todo list большой список пунктов. А за эту ночь, я его сократил на 6 пунктиков.
И ни один из них не косался деструкторов и noexcept.

[Олег М]

Цитата Eric-S @ 10.03.17, 11:33

static_assert( noexcept( (someclass<stub_object, false>()).someclass<stub_object, false>::~someclass() ), "noexcept destructor" );

О! Не знал. Спасибо.
Но объявление конструктора мне ломает независимость проверки деструктора.
Если конструктор noexcept( false ), то провал

Это потому что ты перед вызовом деструтора вызывал конструктор

[Eric-S]

Цитата Олег М @ 10.03.17, 11:38

а усилий тратишь кучу

Ну, зато вот всякое интересное узнал по ходу. Да ещё пару косвенных багов откопал, которые мог бы и не заметить. Так что нормуль, остался с двойным профитом и чувством удовлетворения.

Добавлено 10.03.17, 11:56

Цитата Олег М @ 10.03.17, 11:53

потому что ты перед вызовом деструтора вызывал конструктор

Угу. Догадался сразу. Поэтому и проверку сделал.