Пытаюсь придумать концепт для ситуации
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>
, так что выбирается второй случай.
Но кажется мне, что я и тут не так рассуждаю.
А как надо?
.size()
. А если написатьstd::size(x)
, то можно и сырые массивы поддержать. Аналогичноstd::data(x)
- если они оба есть, то это непрерывный контейнер. Последний использовать для доступа к элементам, илиa[b]
.