Tag Archives: correctness

The obvious final step

Posted on April 23, 2023 by Andrzej Krzemieński

The title may be misleading, as I had to invent a new short term for the pattern that occurs in the code once in a while. Example first: During the construction of an XML file when you write an element, … Continue reading →

Posted in programming | Tagged , , , | 12 Comments

Decent concepts

Posted on June 3, 2021 by Andrzej Krzemieński

Last year I published two posts on writing concepts: Concept Archetypes, Semantic requirements in concepts. Having had some time to reflect upon these posts, I now realize that the model presented in them is not complete. In this post I … Continue reading →

Posted in programming | Tagged , , , | 1 Comment

Contracts, Preconditions & Invariants

Posted on December 9, 2020 by Andrzej Krzemieński

In this post we will see what a contract is, how preconditions and invariants can be derived from the contract, and how this process can help detect bugs. Two points that I will be stressing in this post are: (1) … Continue reading →

Posted in programming | Tagged , , | 3 Comments

Concept archetypes — update

Posted on September 10, 2020 by Andrzej Krzemieński

An observant reader indicated that in the previous post where I was trying to implement a concept archetype — a type with minimal interface that models a given concept — I actually failed. This deserves a closer examination.

Posted in programming | Tagged , , | 7 Comments

Concept archetypes

Posted on September 2, 2020 by Andrzej Krzemieński

Concepts in the form added in C++20 used to be called lite. This is because they do not provide one quite important functionality: having the compiler check if the author of a constrained template is only using operations and types … Continue reading →

Posted in programming | Tagged , , | 13 Comments

Operation cancelling and std::fstream

Posted on May 23, 2019 by Andrzej Krzemieński

In the previous post we have sketched out the view that error handling is about expressing the success dependency between operations. I have also indicated the guideline “destructors only for releasing resources”. In this post we are going to see … Continue reading →

Posted in programming | Tagged , , , | 11 Comments

Handling errors is canceling operations

Posted on April 25, 2019 by Andrzej Krzemieński

I actually covered this topic before, in this post, but given my recent experience I feel it needs reiterating and a bit of restructuring. It boils down to the observation that any error handling I have encountered — be it … Continue reading →

Posted in programming | Tagged , , , | 7 Comments

Treating symptoms instead of the cause

Posted on November 22, 2018 by Andrzej Krzemieński

Compiler warnings can sometimes help us find bugs before we even build our program, but it only works provided that we can make use of the warnings. Especially, when we are aware that warnings detect only symptoms of the bugs … Continue reading →

Posted in programming | Tagged , , | 8 Comments

Faces of undefined behavior

Posted on October 27, 2018 by Andrzej Krzemieński

I have been busy recently (doing C++-related stuff) and cannot find a spare time for preparing a decent blog post. I expect that to change in November. For the interim I am posting here my last year’s talk at code::dive: … Continue reading →

Posted in programming | Tagged , , , , , | 1 Comment