Contracts, Preconditions & Invariants -- Andrzej Krzemienski

By Andrzej Krzemienski | Feb 4, 2021 12:24 PM | Tags: None

"Contract support" is one of the things actively developed for C++.

Contracts, Preconditions & Invariants

By Andrzej Krzemienski

About the article

This blog post is an introductory material, demonstrating what a contract is, how preconditions and invariants can be derived from the contract, and how this process can help detect bugs. Two points stressed in this post are: (1) preconditions and invariants are not “contracts” and (2) only a subset of contract-related bugs can be detected through preconditions and invariants.

Barriers and Atomic Smart Pointers in C++20--Rainer Grimm

By Adrien Hamelin | Feb 2, 2021 02:47 PM | Tags: c++20

More tools for concurency safety.

Barriers and Atomic Smart Pointers in C++20

by Rainer Grimm

From the article:

In my last post, I introduced latches in C++20. A latch enables it threads to wait until a counter becomes zero. Additionally, to a latch, its big sibling barrier can be used more than once. Today, I write about barriers and present atomic smart pointers...

std::jthread and cooperative cancellation with stop token--Hitesh Kumar

By Adrien Hamelin | Feb 2, 2021 02:37 PM | Tags: c++20

Making our lives easier.

std::jthread and cooperative cancellation with stop token

by Hitesh Kumar

From the article:

A std::jthread instance represents an automatically joining and cooperatively cancellable thread. std::jthread has an exception-safe thread termination flow compared to std::thread and can replace it in most situations with little or no code changes...

Inheritance Without Pointers--Jonathan Boccara

By Adrien Hamelin | Feb 2, 2021 02:29 PM | Tags: intermediate

What do you think?

Inheritance Without Pointers

by Jonathan Boccara

From the article:

Inheritance is a useful but controversial technique in C++. There is even a famous talk by Sean Parent called Inheritance is the base class of evil. So inheritance is not the most popular feature of the C++ community.

Nevertheless, inheritance is useful, and widely used by C++ developers.

What is the problem of inheritance? It has several problems, and one of them is that it forces us to manipulate objects through pointers...

Online C++ User Group Meetings in February 2021

By Meeting C++ | Feb 1, 2021 11:43 AM | Tags: meetingcpp community

THe monthly overview on upcoming User Group Meetings:

Online C++ User Group Meetings in February 2021

by Jens Weller

From the article:

The monthly overview of upcoming online C++ User Group meetings.

Tomorrow my Meeting C++ online Group meets to have a chat about C++ in Production! 17:00 CET!

GotW #98 Solution: Assertion levels -- Herb Sutter

By Blog Staff | Jan 25, 2021 01:57 PM | Tags: None

Solution just posted:

GotW #98 Solution: Assertion levels

by Herb Sutter

From the article:

This special Guru of the Week series focuses on contracts. We covered basic assertions in GotW #97... but not all asserted conditions are created equal.

Inlining and Compiler Optimizations--Scott Wolchok

By Adrien Hamelin | Jan 25, 2021 01:34 PM | Tags: performance intermediate

The complicated world of optimisations.

Inlining and Compiler Optimizations

by Scott Wolchok

From the article:

Why is inlining so important in C++? Clearly, it reduces function call overhead: if a function is inlined, there is no need to spend time setting up its arguments, jumping to it, creating a stack frame, and then undoing all that upon returning. More interestingly, though, inlining enables other compiler optimizations. In this article, I will show examples of constant propagation and loop-invariant code motion (LICM). Then, I will explain how inlining enables these optimizations to apply more widely and show an example of the consequences when that doesn’t happen...

C++ Best Practices--Jason Turner

By Adrien Hamelin | Jan 25, 2021 01:32 PM | Tags: community

Interested?

C++ Best Practices

by Jason Turner

From the article:

Level up your C++, get the tools working for you, eliminate common problems, and move on to more exciting things!

Build Throughput Series: More Efficient Template Metaprogramming--Xiang Fan

By Adrien Hamelin | Jan 25, 2021 01:29 PM | Tags: community

The series continue.

Build Throughput Series: More Efficient Template Metaprogramming

by Xiang Fan

From the article:

In the previous blog post I shared how template specialization and template instantiation are processed in the MSVC compiler. We will now look at some examples from real-world code bases to show some ways to reduce the number of them...

Semaphores in C++20--Rainer Grimm

By Adrien Hamelin | Jan 20, 2021 12:27 PM | Tags: c++20

A new useful construct in the standard library.

Semaphores in C++20

by Rainer Grimm

From the article:

Semaphores are a synchronization mechanism used to control concurrent access to a shared resource. They also allow it to play ping-pong...