Gain insights into C++20 Concepts to enhance type safety. Delve into creating compiler-checked criteria for templates and improving error clarity for seamless generic code development.

C++ Concepts by Sándor Dargo_468 x 60 copy.png

clang-gcc.tar.gz

c++20

clang

This course will walk you through the newest version of C++ 20, C++ Concepts.

You will go through one of the most significant new features in C++20, which is Concepts. Concepts allow you to create compiler-checked criteria for template parameters, revolutionizing the way you think about and develop generic code. You can use them to provide both syntactic and semantic requirements. They also allow you to explicitly express your goal in the type system. If something goes wrong, you'll get a clear error message from the compiler.

While useful, Concepts can be difficult to apply and even confusing sometimes. This course provides you with the knowledge you need to overcome these obstacles and move on to more complex topics.

Let's get started.

C++ Concepts: Improve Type Safety with C++ 20

# Special Functions in C++

Since C++11, there are six special functions in C++ that are generated by the compiler under certain conditions.



Special Functions in C++ and Their Role

align-center

> **Note:** The default-generated destructor is never virtual unless it is for a class that inherits from one that has a virtual destructor.

# Rule of 5

If there is no constructor specified, the default constructor is automatically generated.

The other five special functions are also automatically generated unless at least one is implemented manually. If we implement one, we should also implement the others.

That’s what the "rule of 5" is about. If we manually implement one of the special functions, the compiler will not generate those that we didn’t write. So if we need to write any of these functions, the assumption is that we’ll need the rest as well.


Get an overview of the `std::copyable` for copyable types that are shipped with the C++ standard library.

Special functions in C++	Role of Functions
Default constructor (T())	Calls the default constructor of each class member and base class. It doesn’t affect the rest of the special member functions.
Copy constructor (T(const T&))	Calls the copy constructor on each member and base class.
Copy assignment operator (T& operator=(const T&))	Calls a copy assignment operator on each class member and base class.
Move constructor (T(X&&))	Calls the move constructor on each class member and base class.
Move assignment (T& operator=(T&&))	Calls the move constructor on each member and base class.
The destructor (~T())	Calls the destructor of each class member and base class.

Introduction

The Concept Behind C++ Concepts

Four Ways to use Concepts in Functions

C++ Concepts with Classes

Concepts Shipped with the C++ Standard Library

How to Write Your Own C++ Concepts

How to Use C++ Concepts in Real Life

Summary

Concepts in the <concepts> Header (cont.)

Special Functions in C++

Special Functions in C++ and Their Role

Rule of 5