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
smime.p7s
Description: Firma crittografica S/MIME
-- Development mailing list Development@qt-project.org https://lists.qt-project.org/listinfo/development