С++, любопытная ошибка компилятора при реализации функции `int next (std::string param)`

Ответ 1

Здесь происходит несколько вещей, взаимодействующих тонко.

Во-первых, неквалифицированный вызов next с аргументом типа std::string означает, что как и ваша собственная функция next, стандартный шаблон функции std::next находится Аргумент-зависимый поиск (ADL).

После того, как поиск имени нашел ваш ::next и стандартную библиотеку std::next, он выполняет разрешение перегрузки, чтобы узнать, какой из них лучше подходит для аргументов, с которыми вы его вызывали.

Определение std::next выглядит так:

template <class ForwardIterator>
  ForwardIterator next(ForwardIterator x,
  typename std::iterator_traits<ForwardIterator>::difference_type n = 1);

Это означает, что когда компилятор выполняет разрешение перегрузки, он заменяет тип std::string на std::iterator_traits<std::string>.

До С++ 14 iterator_traits не является SFINAE-совместимым, что означает, что он недействителен для создания экземпляра с типом, который не является итератором. std::string не является итератором, поэтому он недействителен. Правило SFINAE здесь не применяется, поскольку ошибка не находится в непосредственном контексте, и поэтому использование iterator_traits<T>::difference_type для любого нетератора T приведет к жесткой ошибке, а не к ошибке замены.

Ваш код должен корректно работать на С++ 14 или использовать другую стандартную библиотечную реализацию, которая уже предоставляет SFINAE-дружественный iterator_traits, такой как библиотека GCC. Я считаю, что Microsoft также предоставит SFINAE-дружественный iterator_traits для следующего крупного выпуска Visual Studio.

Чтобы заставить ваш код работать сейчас, вы можете квалифицировать вызов next, чтобы ADL не выполнялся:

::next(std::string{ "abc" });

Это говорит о вызове next в глобальном пространстве имен, а не о любом другом next, который может быть найден путем поиска неквалифицированных имен.

Ответ 2

(Обновлено по комментариям Джонатана) Здесь есть два вида: С++ 11 и С++ 14. Еще в 2013 году С++ 11 std::next не был определен правильно. Он должен применяться к итераторам, но из-за того, что выглядит как надзор, это вызовет серьезные сбои, когда вы передадите ему неитератор. Я считаю, что намерение состояло в том, что SFINAE должно было предотвратить это; std::iterator_traits<X> должен вызывать ошибки замены.

В С++ 14 эта проблема решена. Определение std::next не изменилось, но второй аргумент (std::iterator_traits<>) теперь корректно пуст для неитераторов. Это исключает std::next из набора перегрузки для неитераторов.

Соответствующая декларация (взятая из VS2013)

template<class _FwdIt> inline
 _FwdIt next(_FwdIt _First,
 typename iterator_traits<_FwdIt>::difference_type _Off = 1)

Эта функция должна быть добавлена ​​к набору перегрузки, если она может быть создана для данных аргументов.

Функция найдена через зависимый от аргумента поиск и структуру заголовка Microsoft. Они помещают std::next в <xutility>, который разделяется между <string> и <iterator>

Примечание: _FwdIt и _Off являются частью пространства имён реализации. Не используйте сами подчеркивания.

Ответ 3

Компилятор нашел стандартную функцию std::next из-за так называемого зависимого от аргумента поиска, потому что аргумент, используемый в вызове - std::string -, объявлен в пространстве имен std.

Ответ 4

Фактически std::next() - это функция, определенная в <iterator>, которая возвращает следующий итератор, переданный в std::next(). Ваш код работает на моем компьютере с gcc-4.9.2. Подробнее: http://en.cppreference.com/w/cpp/iterator/next

Код, который я использовал:

#include<string>
#include <iostream>
int next(std::string param){
    std::cout<<param<<std::endl;
    return 0;
}

void foo(){
    next(std::string{ "abc" });
}

int main()
{
    foo();
    return 0;
}

Также на ideone: http://ideone.com/QVxbO4