Что не так с примером, приведенным в документации?
Конечно, это не завершено, но это должно быть тривиально, чтобы заставить его скомпилировать ...
Кроме того, ваш запрос не может быть выполнен: вы хотите проверить концепцию для std::sort
, но эту функцию нельзя переопределить. Конечно, вы можете определить свою собственную функцию сортировки и использовать код BCCL, указанный в документации:
#include <algorithm>
#include "boost/concept/requires.hpp"
template<typename I>
BOOST_CONCEPT_REQUIRES(
((Mutable_RandomAccessIterator<I>))
((LessThanComparable<typename Mutable_RandomAccessIterator<I>::value_type>)),
(void)) // return type
sort(I begin, I end)
{
std::sort(begin, end);
}
int main() {
int a[] = { 1, 4, 3, 2, 6, 5 };
sort(a, a + 6);
}
Примечание : я никогда не использовал BCCL. Взломать вышеупомянутое вместе было тривиально и заняло у меня меньше пяти минут. Конечно, вы могли бы сделать то же самое?