Стандартный алгоритмы в С++

GCC говорит, что стандарт 98 года не позволяет дефолтные значения параметров шаблона в шаблонах функций. Ну да ладно, врубаем C++0x. Вот такой вариант вроде бы работает:

#include <iterator>

template<typename InputIterator, typename Pred = std::less<typename std::iterator_traits<InputIterator>::value_type>>
static bool is_sorted(InputIterator first, InputIterator last, Pred pred = Pred())
{
	if (first == last)
		return true;

	for (InputIterator prev = first++; first != last; prev = first++) {
		if (pred(*first, *prev))
			return false;
	}

	return true;
}

По крайней мере это не эффективно. В каждом вызове будет инстанциироваться этот самый умолчальный функтор.

> В каждом вызове будет инстанциироваться этот самый умолчальный функтор.

Со включенной оптимизацией он лихо инлайнится, так что ничего от него не остаётся и получается то же самое, что и вовсе без предиката.

Со включенной оптимизацией он лихо инлайнится, так что ничего от него не остаётся и получается то же самое, что и вовсе без предиката.

Только увеличивает время компиляции.

> Только увеличивает время компиляции.

Да. Но вряд ли это ответ на исходный вопрос.

Ну Я вообщето говоря имел ввиду не дефолтный параметр щаблона, а дефолтное значение соответствующего аргумента:

 template<typename InputIterator, typename Pred> 
static bool is_sorted(InputIterator first, InputIterator last, Pred pred = std::less<typename std::iterator_traits<InputIterator>::value_type>( )

> Со включенной оптимизацией он лихо инлайнится, так что ничего от него не остаётся и получается то же самое, что и вовсе без предиката.

В лучшем случае будет инлайнится до константы. Исчезнуть предикат не может.

> Тпк-то почему плохо?

А у меня так не хочет работать, но я не могу сообразить, почему :)

И при чкм тут указатели на функции?

Вот уж не знаю. В мой вариант можно и указатели на функции передавать. Или в книжке что-то другое? У меня нет её, не могу посмотреть.

> Исчезнуть предикат не может.

Объект же временный. Компилятор может его не создавать явно, что он и делает: http://paste.pocoo.org/show/194407/ Без оптимизации создаёт.

>default template arguments may not be used in function templates

то есть чтобы получить сигнатуру для вызова с двумя аргументами, обязательно нужно сначала вывести тип дефолтного значения pred, чтобы из него вывести тип Pred
но std::less<typename std::iterator_traits<InputIterator>::value_type> зависит от шаблонного параметра, и чтобы вывести его тип, нужно получить сигнатуру функции.

компилятор обычно выводит сначала сигнатуру, а потом уже все что от нее зависит, а не поочереди: вывел тип InputIterator, вывел аргументы зависящие от InputIterator, вывел тип Pred. поэтому такой пример не обязан работать

а так как объявление std::sort зафиксированно в стандарте, то выбрано то, которое будет работать в любом компиляторе

как-то так

красивая проверка

компилятор обычно выводит сначала сигнатуру, а потом уже все что от нее зависит, а не поочереди: вывел тип InputIterator, вывел аргументы зависящие от InputIterator, вывел тип Pred. поэтому такой пример не обязан работать

А вот, например, такое в стандарте написано:

template <class T, class Allocator = allocator<T> >
class vector;

так здесь дефолтное значение типа, а не аргумента
в функциях запрещены дефолтные значения типов
а дефолтные значения аргуметов выводятся _перед выводом сигнатуры, и не могут от нее зависеть (в gcc, в стандарте хз)

>запихнуть такой vector в параметр, например, шаблона функции make_pair
не понял, что имеется в виду

>в gcc, в стандарте хз
да, и такое поведение является допустимым

> так здесь дефолтное значение типа, а не аргумента

Понятно, это мы о разном говорили :)