[Development] Disavowing the Lakos Rule for Q_ASSERT

Thiago Macieira thiago.macieira at intel.com
Tue Aug 27 04:17:07 CEST 2024


On Monday 26 August 2024 17:18:22 GMT-7 Ville Voutilainen wrote:
> So eventually such libraries
> need to
> be fixed so that they ship configurations and builds where such
> functions can be compiled as non-noexcept with contract checks turned
> on, so that
> throwing violation handlers can be used. With those (useless)
> noexcepts there, we have the library that's supposed to be the most
> generic and the
> most foundational, and it fails to be that, it bakes in a very
> particular failure mode for logic errors.

Is there a paper proposing the removal of those noexcepts?

And where does it end? Do any pointer dereferences imply a precondition and 
thus not-noexcept?

-- 
Thiago Macieira - thiago.macieira (AT) intel.com
  Principal Engineer - Intel DCAI Platform & System Engineering
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5152 bytes
Desc: not available
URL: <http://lists.qt-project.org/pipermail/development/attachments/20240826/7738c401/attachment.bin>


More information about the Development mailing list