Блог

Подумайте, что у меня есть структура.

 template<typename T>
struct Range{
    T min, max;
    
    Range() = default;
    Range(T min = std::numeric_limits<T>::min(),T max = std::numeric_limits::max()) :
                                   min(min), max(max){
    } 
};
 

Таким образом, эта структура содержит диапазон для любого типа T, и если он не задан, диапазон становится числовыми пределами этого типа.
Примечание: Конечно, я проверяю T , чтобы быть fundamental типом, но этот вопрос не об этом.

Теперь в моем случае использования я хочу иметь такую структуру

 template<typename T,Range<T>...ranges>
struct Something{
    static std::array<Range<T>,sizeof...(ranges)> RANGES = {ranges...};
};
 

Но когда я хочу «определить» это что-то с помощью этого
using Defined = Something<int,Range<int>(100,200),Range<int>(200,300)>
Я получаю ошибку во время компиляции, потому Range<T> что это параметр шаблона, не относящийся к типу, и я его не использую C 20 . Поэтому я пошел дальше и обновил свою структуру диапазона следующим образом.

 template<typename T, T MIN = std::numeric_limits<T>::min(), T MAX = std::numeric_limits<T>::max()>
struct Range {
    T min = MIN, max = MAX;

    Range(T min, T max) : min(min), max(max) {}

    Range() = default;
};
 

И шаблон моей Something структуры становится таким typename<T,typename... Args> , так что теперь using Defined = Something<int,Range<int,100,200>,Range<int,200,300>> работает. Итак, на данный момент у меня есть 2 вопроса: как я могу статически утверждать, что каждый из аргументов равен a Range<T,T min, T max> . Второй вопрос касается его хранения. Послушайте, я знаю, что мне нужно хранить ...Args в кортеже, но если вы посмотрите на мою реализацию Range, могу ли я как-то обернуть их в std::array<Range<T>,sizeof(args)> ?

Вы можете создать признак is_range :

 template <typename> struct is_range : std::false_type{};

template<typename T, T MIN, T MAX>
struct is_range<Range<T, MIN, MAX> : std::true_type{};
 

а затем сложите выражение (C 17)

 template <typename ...Ts>
struct Something{
    static_assert((is_range<Ts>::value amp;amp; ...));
    static std::tuple<Ts...> RANGES;
};