Calendar and Time-Zones in C++20: Time-Zones--Rainer Grimm

By Adrien Hamelin | Nov 23, 2020 11:40 AM | Tags: c++20

Time computations.

Calendar and Time-Zones in C++20: Time-Zones

by Rainer Grimm

From the article:

This post concludes my introduction to the chrono extension in C++20. Today I present the time-zones functionality.

2020-11 mailing available

By Administrator | Nov 22, 2020 11:20 AM | Tags: None

The 2020-11 mailing of new standards papers is now available.

Why PVS-Studio Doesn't Offer Automatic Fixes

By Andrey Karpov | Nov 19, 2020 01:13 AM | Tags: static code analysis pvs-studio bugs

Static analyzer PVS-Studio can detect bugs in pretty complex and intricate parts of code, and coming up with appropriate fixes for such bugs may be a tough task even for human developers. That's exactly the reason why we should avoid offering any options for automatic fixing at all. Here are a couple of examples.

Why PVS-Studio Doesn't Offer Automatic Fixes

by Andrey Karpov

From the article:

But it only simplifies the code, not fixes it! Somebody else noticed this and opened a discussion: os_thread_windows.c - get_rel_wait() will block if abstime is in the past. As you can see, even humans make mistakes when trying to come up with a fix. Machines are just hopeless in that respect.

Overload 159 is now available

By Adrien Hamelin | Nov 16, 2020 11:57 AM | Tags: community

ACCU’s Overload journal of October 2020 is out. It contains the following C++ related articles.

Overload 159 is now available

From the journal:

Virtual/Reality
By Frances Buontempo
Do we know what reality is? Frances Buontempo is no longer sure and now wonders if she’s a fictional character.

poly::vector – A Vector for Polymorphic Objects
By Ferenc Nándor Janky
Heterogeneous vectors can be slow. Janky Ferenc introduces a sequential container for storing polymorphic objects in C++.

Kafka Acks Explained
By Slanislav Kozlovski
Kafka’s configuration can be confusing. Slanislav Kozlovski helps us visualise this most misunderstood configuration setting.

Concurrency Design Patterns
By Lucian Tadu Teodorescu
Orchestrating concurrent tasks using mutexes is seldom efficient. Lucian Tadu Teodorescu investigates design patterns that help unlock concurrent performance.

C++ Modules: A Brief Tour
By Nathan Sidwell
C++20’s long awaited module system has arrived. Nathan Sidwell presents a tourist’s guide.

The Edge of C++
By Ferenc Deák
Everything has limits. Deák Ferenc explores the bounds of various C++ constructs.

Afterwood
By Chris Oldwood
Assume failure by default. Chris Oldwood considers various fail cases.

Destructing outside the lock when removing items from C++ standard containers--Raymond Chen

By Adrien Hamelin | Nov 16, 2020 11:55 AM | Tags: advanced

How do you do it?

Destructing outside the lock when removing items from C++ standard containers

by Raymond Chen

From the article:

Last time, we saw that object destruction is a hidden callout that can cause you to violate the rule against calling out to external code while holding an internal lock...

Quick Q: Why do I have to access template base class members through the this pointer?

By Adrien Hamelin | Nov 16, 2020 11:45 AM | Tags: advanced

Quick: in order to make x a dependent name, so that lookup is deferred until the template parameter is known

Recently on SO:

Why do I have to access template base class members through the this pointer?

If the classes below were not templates I could simply have x in the derived class. However, with the code below, I have to use this->x. Why?

template <typename T>
class base {

protected:
    int x;
};

template <typename T>
class derived : public base<T> {

public:
    int f() { return this->x; }
};

int main() {
    derived<int> d;
    d.f();
    return 0;
}

Dependency Injection with Boost.DI -- Richard Thomson

By Legalize Adulthood | Nov 16, 2020 11:07 AM | Tags: None

Utah C++ Programmers has released a video on dependency injection with the Boost.DI library.

Dependency Injection with Boost.DI

by Richard Thomson

From the video description:

Richard Thomson gives us a presentation on dependency injection in C++.  We'll look at dependency injection in general and then look at dependency injection using the Boost.DI library.

YouTube: https://www.youtube.com/watch?v=zMTAc8WHIgo

C++20 Compile-time Metamath Proof Verification using C'est -- Paul Keir

By pkeir | Nov 16, 2020 11:05 AM | Tags: None

What next?

C++20 Compile-time Metamath Proof Verification using C'est

by Paul Keir

From the article:

This post introduces C'est, a non-standard version of the C++20 standard library, with enhanced support for compile-time evaluation. The C'est library is also shown applied to the porting of an existing C++ Metamath database verifier for compile-time execution.

CopperSpice: What is Initialization

By Ansel Sermersheim | Nov 16, 2020 11:05 AM | Tags: None

New video on the CopperSpice YouTube Channel:

What is Initialization

by Barbara Geller and Ansel Sermersheim

About the video:

In this video we look at some of the ways that variables are initialized in C++. We cover the various forms of initialization, the syntax used to specify them, and some of the corner cases that can occur. We also talk about the difference between initialization and initializers, and why being able to recognize an initializer is important for writing correct code.

Please take a look and remember to subscribe!

PVS-Studio 7.10 Release: OWASP, AUTOSAR, SARIF

By Andrey Karpov | Nov 11, 2020 10:59 AM | Tags: sarif pvs-studio owasp devsecops autosar

We develop PVS-Studio not only as a classic code analyzer, but also in the direction of Security and Safety. In this regard, we've started working on the support of the OWASP and AUTOSAR C++14 standards. To facilitate PVS-Studio integration into other code quality control tools, we supported analyzer results conversion to the SARIF format.

PVS-Studio 7.10 Release: OWASP, AUTOSAR, SARIF

by Andrey Karpov

From the article:

Utilities for converting PVS-Studio analysis results (PlogConverter.exe for Windows and plog-converter for Linux\macOS) now support conversion to SARIF (Static Analysis Results Interchange Format). SARIF is a universal open format for presenting the results of tools that search for errors, safety and security defects. This format is supported by many static analyzers and allows you to combine various code quality control tools in a single ecosystem.