Il 26/08/24 19:56, Thiago Macieira ha scritto:
I'd like to request Qt code not obey that rule. In my opinion, it's a defect
in the contract implementation rather than on Qt code. The*pre*  condition
indicates something that must be true before the method is called and
therefore the method's own noexcept specification does not apply*yet*.

As far as I've understood, that's only part of the issue. The other part of the issue is that code calling the function may break: if you turn the failed precondition check into an exception, the exception handling will need to bubble it up through code which may not have set up the correct unwinding state -- because it rightfully assumed that no exception would escape out of a noexcept function.

My 2 c,
--
Giuseppe D'Angelo | giuseppe.dang...@kdab.com | Senior Software Engineer
KDAB (France) S.A.S., a KDAB Group company
Tel. France +33 (0)4 90 84 08 53, http://www.kdab.com
KDAB - Trusted Software Excellence

Attachment: smime.p7s
Description: Firma crittografica S/MIME

-- 
Development mailing list
Development@qt-project.org
https://lists.qt-project.org/listinfo/development

Reply via email to