| #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"; |
| #include <iostream> | |
| #include <complex> | |
| #include <cmath> | |
| #include <utility> | |
| #include <chrono> | |
| #include <array> | |
| // std::complex<T>::operators -- not constexpr in C++17 | |
| template <class T> |
| #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 {}; \ | |
| \ |
Подходит к концу 2019 год. Уже скоро C++20 станет доступен во всей своей красе. Но совсем не скоро он плотно войдет в мир промышленной разработки (сюда еще даже C++14 не везде дошел).
В С++20 появятся концепции/типажи (concepts) -- долгожданная горсть синтаксического сахара, призванная дать разработчикам возможность писать шаблоны (templates), накладывая ограничения на их параметры так, чтоб потом не было мучительно больно.
Допустим, у нас есть такой простенький шаблон
В предыдущей серии мы пытались сделать нечто, напоминающее проверку концепции C++20 средствами C++14/17.
У нас была функция sum, от типов аргументов которой мы требовали применимости операции +.
И выглядело в конечном итоге это так:
template<typename T>
auto sum(T a, T b) -> RESULT::REQUIRES> {
| #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 { |