fork(1) download

copy

#include <stdio.h>
 
namespace named
{
	template<typename RandomIt>
	void sort_it_it(RandomIt first, RandomIt last)
	{
		(void) last;
		(void) (first + 1);
		(void) (bool(*first < *first));
		// stuff...
	}
 
	template<typename Container, typename Compare>
	void sort_cont_cmp(Container& c, Compare cmp)
	{
		typename Container::iterator b = c.begin(), e = c.end();
		(void) e;
		(void) (b + 1);
		(void) (bool(cmp(*b, *b)));
		// stuff...
	}
}
 
namespace overloaded
{
	template<typename RandomIt>
	void sort(RandomIt first, RandomIt last)
	{
		puts("sort(RandomIt, RandomIt)");
		named::sort_it_it(first, last);
	}
 
	template<typename Container, typename Compare>
	void sort(Container& c, Compare cmp)
	{
		puts("sort(Container&, Compare)");
		named::sort_cont_cmp(c, cmp);
	}
}
 
struct BadContCmp { // Not complete. Bad.
	int x[10];
 
	BadContCmp() { for (int i = 0; i < 10; ++i) x[i] = 42; } // LOL.
 
	typedef int * iterator;
	iterator begin() { return x; }
	iterator end()   { return x + 10; }
 
	typedef bool result_type;
	typedef int first_argument_type;
	typedef int second_argument_type;
	bool operator()(int const& a, int const& b) const { return a < b; }
};
 
int main()
{
	BadContCmp contcmp;
 
	named::sort_it_it(contcmp.begin(), contcmp.end()); // ok (of course)
	named::sort_cont_cmp(contcmp, contcmp); // ok (of course)
 
	overloaded::sort(contcmp.begin(), contcmp.end()); // ok
	overloaded::sort(contcmp, contcmp); // error (inside the body of sort_it_it)
}

prog.cpp: In instantiation of ‘void named::sort_it_it(RandomIt, RandomIt) [with RandomIt = BadContCmp]’:
prog.cpp:31:32:   required from ‘void overloaded::sort(RandomIt, RandomIt) [with RandomIt = BadContCmp]’
prog.cpp:65:35:   required from here
prog.cpp:9:17: error: no match for ‘operator+’ (operand types are ‘BadContCmp’ and ‘int’)
   (void) (first + 1);
                 ^
prog.cpp:10:25: error: no match for ‘operator*’ (operand type is ‘BadContCmp’)
   (void) (bool(*first < *first));
                         ^
prog.cpp:10:16: error: no match for ‘operator*’ (operand type is ‘BadContCmp’)
   (void) (bool(*first < *first));
                ^

Standard output is empty