| #include <iostream> | |
| #include <utility> | |
| namespace impl{ | |
| template <int N, int D, int R> | |
| constexpr auto FizzBuzz = ""; | |
| template <int N> | |
| constexpr auto FizzBuzz<N, 15, 0> = "fizzbuzz"; |
| #pragma once | |
| #include <type_traits> | |
| #include <utility> | |
| #include <cstddef> | |
| #include <algorithm> | |
| #include <typeinfo> | |
| #include <iterator> | |
| template<class Range> |
| //https://godbolt.org/z/tctouH | |
| #include <iostream> | |
| #include <random> | |
| #include <functional> | |
| #include <exception> | |
| #include <cstring> | |
| #include <chrono> | |
| using namespace std; |
| #include <functional> | |
| #include <iostream> | |
| template<class ObjT, class ValueT> | |
| using setter_t = std::function<ObjT(ObjT, ValueT)>; | |
| template<class ObjT, class ValueT> | |
| using getter_t = std::function<ValueT(ObjT)>; | |
| template <class ObjT, class ValueT> |
| #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 {}; \ | |
| \ |
В предыдущей серии мы пытались сделать нечто, напоминающее проверку концепции C++20 средствами C++14/17.
У нас была функция sum, от типов аргументов которой мы требовали применимости операции +.
И выглядело в конечном итоге это так:
template<typename T>
auto sum(T a, T b) -> RESULT::REQUIRES> {
Подходит к концу 2019 год. Уже скоро C++20 станет доступен во всей своей красе. Но совсем не скоро он плотно войдет в мир промышленной разработки (сюда еще даже C++14 не везде дошел).
В С++20 появятся концепции/типажи (concepts) -- долгожданная горсть синтаксического сахара, призванная дать разработчикам возможность писать шаблоны (templates), накладывая ограничения на их параметры так, чтоб потом не было мучительно больно.
Допустим, у нас есть такой простенький шаблон
В предыдущей серии мы изобретали нечто, называемое 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>;
в предыдущей серии мы изобретали CRTP. А в этой серии мы вернемся обратно к тому с чего начинали и изобретем удивительно прекрасную синтаксическую конструкцию, сравнимую по красоте с концептами.
Пусть наша задача написать свой собственный std::bit_cast. C++20, конечно, вышел, но до продакшена везде и повсюду ему далеко, так что такая задача вполне может быть.
bit_cast позволяет посмотреть на значение одного типа, как будто бы это значение совершенно другого типа. Как reinterpret_cast, только без нарушения strict aliasing rule и провоцирования UB.
В простейшем и очень не правильном виде, bit_cast реализуется так: