Dmitry Sviridkin Nekrolm

C++14/17 type_traits. Часть 4.

в предыдущей серии мы изобретали CRTP. А в этой серии мы вернемся обратно к тому с чего начинали и изобретем удивительно прекрасную синтаксическую конструкцию, сравнимую по красоте с концептами.

Пусть наша задача написать свой собственный std::bit_cast. C++20, конечно, вышел, но до продакшена везде и повсюду ему далеко, так что такая задача вполне может быть.

bit_cast позволяет посмотреть на значение одного типа, как будто бы это значение совершенно другого типа. Как reinterpret_cast, только без нарушения strict aliasing rule и провоцирования UB.

В простейшем и очень не правильном виде, bit_cast реализуется так:

std::dangling, или как хоть иногда не отстрелить себе ногу

- А можно нам lifetime checker?

- У нас есть lifetime checker дома

Lifetime checker дома:

Собственно, этому и посвящена данная заметка. В C++, начиная с 11 стандарта, есть механизмы, позволяющие немного снизить вероятность влететь в проблему с обращением по ссылкам к уже мертвым объектам

C++14/17 type_traits Часть 3.

В предыдущей серии мы изобретали нечто, называемое XXX_traits, где под XXX скрывается какой-то концепт. А сам трейт описывает, какие операции доступны для типов, реализующих данный концепт. И все взаимодействие с шаблонными параметрами происходило с помощью вспомогательной структуры.

template <class T, class S>
auto accumulate(const std::vector<T>& arr, S&& op) 
    -> RESULT<T>::REQUIRES<SummatorTraits<S>::value> {
    using STraits = SummatorTraits<S>;

C++14/17 type_traits Часть 2.

В предыдущей серии мы пытались сделать нечто, напоминающее проверку концепции C++20 средствами C++14/17.

У нас была функция sum, от типов аргументов которой мы требовали применимости операции +. И выглядело в конечном итоге это так:

template<typename T>
auto sum(T a, T b) -&gt; RESULT::REQUIRES&gt; {

C++14/17 type_traits (пока нет concepts)

Подходит к концу 2019 год. Уже скоро C++20 станет доступен во всей своей красе. Но совсем не скоро он плотно войдет в мир промышленной разработки (сюда еще даже C++14 не везде дошел).

В С++20 появятся концепции/типажи (concepts) -- долгожданная горсть синтаксического сахара, призванная дать разработчикам возможность писать шаблоны (templates), накладывая ограничения на их параметры так, чтоб потом не было мучительно больно.

Зачем вообще накладывать ограничения?

Допустим, у нас есть такой простенький шаблон

	#include <memory>
	#include <type_traits>
	#include <concepts>
	#include <span>
	#include <functional>
	#include <iostream>

	struct Context {
	std::string_view body;
	std::string_view headers;


	#pragma once

	#include <type_traits>

	namespace cxxconcept17 {

	namespace detail {
	enum class RequiredE { kRequired = 0 };
	}

	#include <iostream>
	#include <cstring>
	#include <type_traits>
	#include <utility>
	#include <tuple>

	// graph descriptions
	template <int... Next>
	using AdjacentList = std::integer_sequence<int, Next...>;

	#include <type_traits>

	template <class From, class To>
	concept is_convertible = requires(From f){
	{ static_cast<To>(f) } -> To;
	};


	template <typename Fst>
	concept BaseFst = requires {

	#include <type_traits>
	#include <utility>
	#include <iostream>



	#define DECLARE_TAG_CHECKER(TAG_NAME) \
	template <class T, class = void> \
	struct has_##TAG_NAME##_tag : std::false_type {}; \
	\