Contract oriented programming in C++

So you've written some C++ classes and functions, but how can you describe these in a conventional way that even specifies its interface in a verifiable way? Contract oriented programming, also known as design by contract, provides this and more.

This will be a presentation focusing on preconditions, postconditions, and invariants in contract oriented programming applied to C++, followed by discussion. If you're not already familiar with contract oriented programming, you'll hopefully come away from the talk with a basic understanding and a vision of how that can be applied to your future code. If you are already familiar with this, you'll hopefully enjoy my presentation or enjoy participating in the discussion.

We'll be using the Meeting Room in my Discord server for this meeting. Note that I have been unable to reliably get invite links that seem to stay valid from Discord and am working with Discord support on this. In the meantime, I've generated yet another new supposedly non-expiring link and have updated the meeting event with it.

I'll start the meetup, working out any kinks, and saying hello for the first five minutes or so. The presentation part of this meetup will be approximately the next thirty minutes . Then I'll switch over to a more open question, answer, and discussion format for the remaining scheduled time.