[Development] Disavowing the Lakos Rule for Q_ASSERT

Thiago Macieira thiago.macieira at intel.com
Tue Aug 27 16:20:57 CEST 2024


On Tuesday 27 August 2024 02:59:34 GMT-7 Giuseppe D'Angelo via Development 
wrote:
> It's not noexcept in the Standard; implementations just chose to make it
> so. Libstdc++ chose¹ to have always-terminating precondition
> enforcement, i.e. the checks never throw, and so doesn't operator[].
> 
> We can decide otherwise -- and that's orthogonal to if and when
> contracts actually land, as Marc says.

Can we decide otherwise? Doesn't the underlying Standard C++ library 
implementation's choice make the same choice for us?

-- 
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/20240827/8030c0fb/attachment-0001.bin>


More information about the Development mailing list