32 lines
1.2 KiB
C++
Executable File
32 lines
1.2 KiB
C++
Executable File
#pragma once
|
|
|
|
#include <iostream>
|
|
#include <vector>
|
|
#include <list>
|
|
#include <map>
|
|
#include <unordered_map>
|
|
|
|
namespace hack::concepts
|
|
{
|
|
template<typename T>
|
|
concept is_sequence_container = std::same_as<T, std::vector<typename T::value_type>> ||
|
|
std::same_as<T, std::list<typename T::value_type>>;
|
|
|
|
template<typename T>
|
|
concept is_tuple = requires (T t) { std::tuple_cat(t, std::make_tuple(1, "tuple")); };
|
|
|
|
template<typename T>
|
|
concept is_string = std::is_convertible_v<T, std::string_view>;
|
|
|
|
template<typename T>
|
|
concept is_map = std::same_as<T, std::map<typename T::key_type, typename T::mapped_type, typename T::key_compare, typename T::allocator_type>> ||
|
|
std::same_as<T, std::unordered_map<typename T::key_type, typename T::mapped_type, typename T::hasher, typename T::key_equal, typename T::allocator_type>>;
|
|
|
|
template<typename T>
|
|
concept not_defined = !std::enable_if_t<!(std::integral<T> ||
|
|
is_sequence_container<T> ||
|
|
is_map<T> ||
|
|
is_tuple<T> ||
|
|
is_string<T>), bool>() == true;
|
|
}
|