0

Пытаюсь придумать концепт для ситуации

template<typename T, typename C>

где C должен быть либо vector<T>, либо array<T,N> с произвольным N. Естественно, is_same не работает. Не подскажете, как это сделать?

Я могу выложить тут свои неработающие попытки, но, по-моему, и без них понятно, что я пробовал и это не просьба сделать домашку :)

Добавление для user7860670

Я сделал так:

template<typename T, typename C>
class t_IsVectorOrArray
{
    public: static constexpr bool value{false};
};

template<typename T, typename Item, ::std::size_t count>
class t_IsVectorOrArray<T,::std::array<Item, count>>
{
    public: static constexpr bool value{is_same_v<T,Item>};
};

template<typename T, typename Args>
class t_IsVectorOrArray<T,::std::vector<Args>>
{
    public: static constexpr bool value{is_same_v<T,Args>};
};


template<typename T = double, typename C = vector<T>>
requires (t_IsVectorOrArray<T,C>::value)
struct Container
{
    C c;
};

Вы это имели в виду?

Кажется, работает, но я был вынужден убрать три точки в шаблоне для вектора. Это критично? Теоретически для аллокатора не по умолчанию будут неприятности?

Второе добавление для user7860670

Как говорил пацан из "Ералаша", я понимаю, что они не пересекаются, но почему они не пересекаются?

template<typename T, typename C>
class t_IsVectorOrArray
{
    public: static constexpr bool value{false};
};

template<typename T, ::std::size_t count>
class t_IsVectorOrArray<T,::std::array<T, count>>
{
    public: static constexpr bool value{true};     };

template<typename T, typename... Args>
class t_IsVectorOrArray<T,::std::vector<T, Args...>>
{
    public: static constexpr bool value{true};
};

template<typename T = double, typename C = vector<T>>
requires (t_IsVectorOrArray<T,C>::value)
struct Container
{
    C c;
};

int main()
{
    Container<int,vector<int>> c1;
    Container<int,vector<double>> c2;
    Container<int,array<double,5>> c3;
    Container<int,array<int,4>> c4;
    Container<int,list<int>> c5;
}

Все пытаюсь себя представить компилятором.

Вижу

Container<int,vector<int>> c1;

Ага, значит, в определении

template<typename T = double, typename C = vector<T>>
requires (t_IsVectorOrArray<T,C>::value)
struct Container

мы УЖЕ имеем T == int и С == vector<int>. Нам не нужно их выводить, они указаны явно.

Теперь нужно выбрать один из трех классов

class t_IsVectorOrArray<int,vector<int>>

class t_IsVectorOrArray<int,::std::array<int, count>>

class t_IsVectorOrArray<int,::std::vector<int, vector<int>>>

Если я компилятор, то я сразу выбрасываю array - там нужен какой-то count, которого у меня нет. Остаются

class t_IsVectorOrArray<int,vector<int>>
class t_IsVectorOrArray<int,::std::vector<int, vector<int>>>

Но второе определение - какой-то бред, его тоже надо выбросить. Остается первое, false.

Что в моих рассуждениях не так?

Если считать, что типы для t_IsVectorOrArray<T,C> еще не выведены - то нам их и вывести не из чего.

С array - nen хоть как-то понятно... есть лишний параметр шаблона, который мы не знаем, но его хотя бы можем вывести из определения, например, из

    Container<int,array<int,4>> c4;

получаем

class t_IsVectorOrArray<int,array<int, 4>>
class t_IsVectorOrArray<int,array<int, count>>
class t_IsVectorOrArray<int,vector<int,array<int, 4>>>

Опять последний бред выбрасываем, во втором можем вывести count == 4 и тогда под определение проходит

class t_IsVectorOrArray<int,array<int,4>>

при этом параметр фактически самый простой, просто int и просто 4, в то время как для первого случая второй параметр array<int,4>, так что выбирается второй случай.

Но кажется мне, что я и тут не так рассуждаю.

А как надо?

4
  • А точно нужен именно вектор или массив? Не любой непрерывный контейнер? 7 июл в 15:42
  • @HolyBlackCat Да я и с этими уже замахался — у них же размеры по-разному определяются. А если еще вообще какой-то массив из С... Вы намекаете на Random Access iterator? Наличие операции индексирования?
    – Mikhajlo
    8 июл в 9:43
  • Да вроле одинаково, .size(). А если написать std::size(x), то можно и сырые массивы поддержать. Аналогично std::data(x) - если они оба есть, то это непрерывный контейнер. Последний использовать для доступа к элементам, или a[b]. 8 июл в 18:43
  • @HolyBlackCat Я имел в виду создание. Конструктор массива должен быть известен во время компиляции, и сам размер массива меняться не должен. Вектов - наоборот. И как мне, скажем, член обобщенно инициализировать? Сложновато. А если еще какой-то заранее неизвестный контейнер будет, то еще страшнее. Или есть какой-то способ?
    – Mikhajlo
    10 июл в 7:58

2 ответа 2

3

Вроде тривиальный трейт.

#include <array>
#include <vector>
#include <cstddef>

template<typename T>
class t_IsVectorOrArray
{
    public: static constexpr bool value{false};
};

template<typename Item, ::std::size_t count>
class t_IsVectorOrArray<::std::array<Item, count>>
{
    public: static constexpr bool value{true};
};

template<typename... Args>
class t_IsVectorOrArray<::std::vector<Args...>>
{
    public: static constexpr bool value{true};
};

#include <list>
static_assert(not t_IsVectorOrArray<int>::value);
static_assert(not t_IsVectorOrArray<::std::list<int>>::value);
static_assert(t_IsVectorOrArray<::std::array<int, 4>>::value);
static_assert(t_IsVectorOrArray<::std::vector<int>>::value);

online compiler

Вариант с заданием хранимого типа:

#include <array>
#include <vector>
#include <cstddef>

template<typename X, typename T>
class t_IsVectorOrArray
{
    public: static constexpr bool value{false};
};

template<typename X, ::std::size_t count>
class t_IsVectorOrArray<X, ::std::array<X, count>>
{
    public: static constexpr bool value{true};
};

template<typename X, typename... Args>
class t_IsVectorOrArray<X, ::std::vector<X, Args...>>
{
    public: static constexpr bool value{true};
};

#include <list>
static_assert(not t_IsVectorOrArray<int, int>::value);
static_assert(not t_IsVectorOrArray<int, ::std::list<int>>::value);
static_assert(not t_IsVectorOrArray<int, ::std::array<float, 4>>::value);
static_assert(not t_IsVectorOrArray<int, ::std::vector<float>>::value);
static_assert(t_IsVectorOrArray<int, ::std::array<int, 4>>::value);
static_assert(t_IsVectorOrArray<int, ::std::vector<int>>::value);

online compiler

19
  • Спасибо, я что-то зациклился на использовании стандартных is_*. Но теперь я еще вижу, что мне надо проверить, чтоб вектор или массив были определенного тпа, что-то вроде template<typename T = double, typename C = vector<T>> struct Container, вобщем, контейнеры указанного типа. Я пока написал template<typename T = double, typename C = vector<T>> requires (t_IsVectorOrArray<C>::value && is_same_v<typename C::value_type,T>) struct Container, и это работает, но не соображу пока, а как добавить эту проверку прямо в ваш t_IsVectorOrArray? Не покажете?
    – Mikhajlo
    7 июл в 7:21
  • Первым параметром для array и vector поставьте нужный тип вместо шаблонного. 7 июл в 7:24
  • Посмотрите "Добавление для user7860670" в вопросе. Вы это имели в виду?
    – Mikhajlo
    7 июл в 7:28
  • Нет конечно. Я же ничего не писал про добавление параметров в t_IsVectorOrArray. Достаточно написать ::std::array<double, count> 7 июл в 7:29
  • Если вы имели в виду конкретный тип, то я же не знаю, каким он будет. Надо совпадение типа T и типа элемента в векторе/массиве.
    – Mikhajlo
    7 июл в 7:31
1

Вы не с той стороны подходите.

Давайте попробуем так: у вас есть Container<int,array<int,4>> c4;

И три объявления

template<typename X, typename T>
class t_IsVectorOrArray

template<typename X, ::std::size_t count>
class t_IsVectorOrArray<X, ::std::array<X, count>>

template<typename X, typename... Args>
class t_IsVectorOrArray<X, ::std::vector<X, Args...>>

Просто сравните (не смотря на часть template), на что это похоже больше всего? Правда, на class t_IsVectorOrArray<X, ::std::array<X, count>>, где X — это int, а count — 4? Прям тютелька в тютельку.

На class t_IsVectorOrArray<X, ::std::vector<X, Args...>> это в принципе не похоже, нет тут никакого массива.

И на class t_IsVectorOrArray - да, годится... но уже не совсем в ту самую тютельку, потому что второй параметр получается слишком сложным. Так что выбираем эту самую тютельку.

Точно так же, если возьмем вектор — тоже сработает, но уже на векторе. Еще раз: на часть template не реагируем. Что оно там выберет — это его проблемы. Главное, что мы имеем конкретные типы, подходящие под наши объявления.

Если же написать что-то не годящееся ни для вектора, ни для массива, или не совпадающее по типам элементов и типу из первого параметра — вариантов нет, работает только первый вариант, с false.

Так понятнее?

Отталкивайтесь не от первой строки с template, а от второй, с видом класса.

1
  • Кажется, дошло... Спасибо!
    – Mikhajlo
    8 июл в 9:43

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.