5

Пишу простую шаблонную функцию in_array. По замыслу, она должна работать с любыми типами. Вот код:

template <typename T>
bool in_array(T needle, const T* haystack) {
    T *e = std::find(std::begin(haystack), std::end(haystack), needle);
    if (e != std::end(haystack))
        return true;
    else
        return false;
}

Получаю ошибки:

std::begin: не найдена соответствующая перегруженная функция

То же для std::end. В чем моя ошибка?

1
  • Используйте std::array, этим Вы решите множество проблем, как насущных, так и будущих.
    – ixSci
    25 ноя 2016 в 6:25

2 ответа 2

7

Для указателей стандартные функции std::begin и std::end не определены.

Имея указатель, в общем случае, нельзя определить, указывает ли он на одиночный объект или на первый объект некоторой последовательности объектов. В виду этого нельзя определить функцию std::end для указателей, так как неизвестно число элементов, которые могут адресоваться указателем.

Вы могли бы свою функцию определить следующим образом

template <typename T, size_t N>
bool in_array(T needle, T ( &haystack )[N] ) {
    auto e = std::find(std::begin(haystack), std::end(haystack), needle);

    return e != std::end(haystack);
}

Либо вы можете эту функцию определить как

template <typename T>
bool in_array(T needle, T *haystack, size_t n ) {
    auto e = std::find( haystack, haystack + n, needle);

    return e != haystack + n;
}

включив в объявление функции еще один параметр, задающий число элементов в массиве.

12
  • 1
    @Nik Когда вы передаете массив по значению, то он преобразуется в указатель на свой первый элемент. Однако совершенно неизвестно, сколько элементов адресуется этим указателем. Поэтому если вы передаете массив по значению, вам также следует передавать в функцию число элементов в массиве. 24 ноя 2016 в 17:48
  • 2
    @Nik N выводится из передаваемого аргумента. Для каждого массива с различным числом элементов инстанциируется своя шаблонная функция. Я в своем ответе привел еще один вариант. Для этой шаблонной функции будет инстанциироваться только одна функция для конкретного типа T. 24 ноя 2016 в 17:55
  • 2
    @Nik Когда массив передается по ссылке, а не преобразуется в указатель на свой первый элемент, то его тип известен компилятору. 24 ноя 2016 в 18:04
  • 2
    @Nik Тип массива - это T[N]. Компилятор знает тип любого объекта, который вы объявляете. 24 ноя 2016 в 18:55
  • 2
    @Nik Есть такой шаблонный класс как std::extent 24 ноя 2016 в 19:06
2

Для указателя эти функции не определены.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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