Date: Sun, 5 Oct 2025 22:35:21 +0300
On Thu, 2 Oct 2025 at 23:32, Andrzej Krzemienski via SG21
<sg21_at_[hidden]> wrote:
> But P3835 seems to be expressing a different need. So my question to the authors of P3835 is: is your motivating use case testing the library *usage* or really testing one library's implementation in a different way than another library's implementation? If it is the latter, that would be strange: you would have to mistrust the library L enough to want to keep checking its implementation, but at the same time trust it enough that the author put the right assertions in the right places with sufficient density.
It's certainly more to test library usage, but that's not a a
difference a programmer needs to think about when the programmer says
"flip the checks on". It might come as quite a surprise to such a
programmer when a function template doesn't end up having the checks
on.
<sg21_at_[hidden]> wrote:
> But P3835 seems to be expressing a different need. So my question to the authors of P3835 is: is your motivating use case testing the library *usage* or really testing one library's implementation in a different way than another library's implementation? If it is the latter, that would be strange: you would have to mistrust the library L enough to want to keep checking its implementation, but at the same time trust it enough that the author put the right assertions in the right places with sufficient density.
It's certainly more to test library usage, but that's not a a
difference a programmer needs to think about when the programmer says
"flip the checks on". It might come as quite a surprise to such a
programmer when a function template doesn't end up having the checks
on.
Received on 2025-10-05 19:35:36