Как заставить функцию принимать все типы итераторов, но специализируться только на одном типе?
Согласно Как заставить конструктор принимать все типы итераторов? Я пытаюсь заставить функцию принимать итераторы из разных типов контейнеров. В отличие от этого вопроса, я хочу, чтобы в этих контейнерах были только элементы определенного типа. Однако, если я использую следующий код, я теряю возможность управлять типом элемента:
template<std::input_iterator ITER>
void f(ITER start, ITER end)
{
for(auto it=start; it!=end; ++it)
{
static_assert(std::is_arithmetic<decltype(*it)>::value, "Not arithmetic");
}
}
Здесь static_assert — не очень плохое решение, потому что ошибка, которую я получаю, совсем не тривиальна для понимания.
Давайте представим мой main как
int main()
{
std::vector<int> v_good{{1, 2, 3, 4, 5}};
std::vector<std::string> v_bad{{std::string("hello"), std::string("world")}};
std::list<int> l_good{{1, 2, 3, 4, 5}};
f(v_good.begin(), v_good.end());
f(l_good.begin(), l_good.end());
f(v_bad.begin(), v_bad.end()); // at this point i want to get a compilation error
return 0;
}
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
1
1
67
2
Перейти к ответу
Данный вопрос помечен как решенный
Ответы 2
Вы можете переместить требование is_arithmetic в отдельное требование concept, которое ниже называется iterator_over_arithmetic_type:
template <class ITER>
concept iterator_over_arithmetic_type =
std::input_iterator<ITER> &&
std::is_arithmetic_v<std::iter_value_t<ITER>>;
template <iterator_over_arithmetic_type ITER>
void f(ITER start, ITER end) {
for (auto it = start; it != end; ++it) {
}
}
Ответ принят как подходящий
Вы можете ограничить value_type итератора (std::iter_value_t) арифметическим типом с помощью
template<std::input_iterator ITER>
requires std::is_arithmetic_v<std::iter_value_t<ITER>>
void f(ITER start, ITER end)
{
for (auto it=start; it!=end; ++it)
{
// ...
}
}
В C++20 тип, возвращаемый end() диапазона (т. е. тип дозорного), может отличаться от его begin(), поэтому вам также может потребоваться
template<std::input_iterator ITER, std::sentinel_for<ITER> SENT>
requires std::is_arithmetic_v<std::iter_value_t<ITER>>
void f(ITER start, SENT end)
{
for(auto it=start; it!=end; ++it)
{
// ...
}
}
Другие вопросы по теме
Почему перегрузка оператора предварительного приращения не вызывается для моего пользовательского класса итератора в C++?
Почему тип итератора `std::views::transform` не кажется детерминированным типом?
Итерация вперед или назад в зависимости от порядка итераторов
В чем причина использования &*beg вместо beg, если beg является итератором?
Как рассчитать индекс относительной силы (RSI) с помощью итераций записи в фрейме данных pandas
Как выполнить двоичный поиск в std::vector, НО, который возвращает RandomAccessIterator?
Действителен ли back_insert_iterator на протяжении всего времени существования контейнера?
Можно ли дважды разыменовать («**itOpt») необязательный итератор?
Как перебирать несколько коллекций одновременно?
Реверс, пока итерация не идет назад
Похожие вопросы
Инициализирует ли инициализация значения сначала нулевые значения членов объекта даже с предоставленным инициализатором элемента по умолчанию в C++?
Std::string из const char* с нулевым распределением
Как найти все позиции нескольких подстрок в строке в C++
RegEx заменяет пустые строки в C++
`std::is_trivyly_copyable` разногласия между GCC и Clang для оболочки типа
Какова целевая область определения статического члена?
Когда глобальная переменная будет экспортирована в исполняемый файл?
Как вычесть средний вектор из матрицы
Вычисления графического процессора OpenCL/CUDA со скоростью звука. Любой метод достаточно быстрый, чтобы считывать данные с графического процессора один раз для каждого аудиобуфера? (т.е. минимум ~43 FPS)
Использование std::thread и Native_handle() для установки маски привязки потока
std::is_arithmetic<decltype(*it)>::valueпочти наверняка не то, что вам нужно. Обычноdecltype(*it)будет ссылочным типом, который не может быть арифметическим. Кроме того,*itможет даже не быть ссылкой на тип значения. Это может быть, например. тип прокси, который преобразуется только в тип значения. Вам нужно выяснить, хотите ли вы проверитьstd::iter_value_tилиstd::iter_reference_t.