почему? возможно, просто hana оперирует не массивами, а tuple

subset на drop или take заменяется

потому как в Hana результаты предикатов как non-type template parameters используются. Тут такое не сработает.

Товарищи, предполагаю, все знакомы с Ranges TS. А было бы интересно иметь что-то подобное в compile time? Типа constexpr int xs[] = {1, 3, 5, 2, 4}; constexpr int ys[] = {1, 2, 3}; static_assert( (xs | sort(std::less<void>{}) | subset(0, 3)) == ys );

интересно было бы увидеть где такое нужно на практике (в голову не приходит ничего)

Вот по этой самой причине и задал вопрос тут.

Товарищи, предполагаю, все знакомы с Ranges TS. А было бы интересно иметь что-то подобное в compile time? Типа constexpr int xs[] = {1, 3, 5, 2, 4}; constexpr int ys[] = {1, 2, 3}; static_assert( (xs | sort(std::less<void>{}) | subset(0, 3)) == ys );

В принципе, если обмазать констэкспром, то мб сработает

В принципе, если обмазать констэкспром, то мб сработает

Например, в документации к boost::hana::find_if : In the current version of the library, the predicate has to return an IntegralConstant holding a value that can be converted to bool. Так что никакой constexpr не спасет AFAIK...

Например, в документации к boost::hana::find_if : In the current version of the library, the predicate has to return an IntegralConstant holding a value that can be converted to bool. Так что никакой constexpr не спасет AFAIK...

Так IntegralContant еще лучше - он может пройти через не constexpr, а затем из него можно вытащить constexpr

А в обратную сторону-то никак ;) template <std::size_t N> constexpr auto foo(int const (&xs)[N]) noexcept { // Вот тут мы уже не знаем, xs вообще constexpr или нет. И как теперь IntegralConstant возвращать? } Hana основана на факте, что все данные внутри типа содержатся. Но это не общий случай. Мы, может, xs в компайл тайм знаем, но в типе int ничего не прописано. Или я путаю чего?

А в обратную сторону-то никак ;) template <std::size_t N> constexpr auto foo(int const (&xs)[N]) noexcept { // Вот тут мы уже не знаем, xs вообще constexpr или нет. И как теперь IntegralConstant возвращать? } Hana основана на факте, что все данные внутри типа содержатся. Но это не общий случай. Мы, может, xs в компайл тайм знаем, но в типе int ничего не прописано. Или я путаю чего?

Hana рантайм типами не оперирует. И в ней та же foo будет выглядеть как обычный foo(Args... args)

Можно пример кода, который hana якобы не смогёт?

Пример задачи*

Можно пример кода, который hana якобы не смогёт?

Да в принципе любые преобразования с C-style массивами/std::array. Т.е. с последовательностями одного типа.

В принципе, если обмазать констэкспром, то мб сработает

Именно этим я и займусь, когда выпустят Ranges TS и примут в стандарт http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0031r0.html

Именно этим я и займусь, когда выпустят Ranges TS и примут в стандарт http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0031r0.html

О! это интересно.

down

Да в принципе любые преобразования с C-style массивами/std::array. Т.е. с последовательностями одного типа.

По-моему она только своими туплами оперирует. И они всяко лучше стандартных массивов

интересно было бы увидеть где такое нужно на практике (в голову не приходит ничего)

Reflections, Spirit, Metaparse (и другие DSL), string_view, span, std::array + бонусом получите более строгую гарантию, что компиляотр точно сможет соптимизировать подобнsе выражение

Именно этим я и займусь, когда выпустят Ranges TS и примут в стандарт http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0031r0.html

Мне просто в GSoC ментор предложил направление проекта сменить в сторону compile-time ranges. Вот интересуюсь, надо ли оно вообще кому-то. В пропозал твоем больше про iterators речь, а весь Ranges TS сейчас нисколько ни constexpr.

напомните онлайн ide'шку с бустом

Wandbox

Или как то так

точно, спасибо

Она с ВИМОМ И ЕМАКСОМ

Товарищи, предполагаю, все знакомы с Ranges TS. А было бы интересно иметь что-то подобное в compile time? Типа constexpr int xs[] = {1, 3, 5, 2, 4}; constexpr int ys[] = {1, 2, 3}; static_assert( (xs | sort(std::less<void>{}) | subset(0, 3)) == ys );

https://wandbox.org/permlink/e6y9UbWZva7MZS6M

https://wandbox.org/permlink/e6y9UbWZva7MZS6M

Тип данных разный. Т.е. переход с int на IntegralConstant вроде понятен. Но вот если есть user-defined тип, который кучу всего в constexpr умеет делать, ты мы в пролете.

Тип данных разный. Т.е. переход с int на IntegralConstant вроде понятен. Но вот если есть user-defined тип, который кучу всего в constexpr умеет делать, ты мы в пролете.

Это да. Но можно соорудить свою Constant для такого типа

Это да. Но можно соорудить свою Constant для такого типа

Это верно... а не муторно ли?

Это верно... а не муторно ли?

Муторно :) Но я пока не встречался с типами, которые хорошо работают в compile-time, кроме фундаментальных и которым понадобились бы мощные алгоритмы

Муторно :) Но я пока не встречался с типами, которые хорошо работают в compile-time, кроме фундаментальных и которым понадобились бы мощные алгоритмы

Вот тот ответ, которого я ждал! Значит, не мне одному неочевидны use cases. Правда @antoshkka предложил пару мест. Только это такие библиотеки, что в source прям страшно лезть :D

Ребята, всем привет! Тем кто работает с Qt, да и в принципе многим будет интересна данная библитека: https://qbeon.github.io/QuickStreams/ Буду рад отзывам, спасибо за внимание!

Мне просто в GSoC ментор предложил направление проекта сменить в сторону compile-time ranges. Вот интересуюсь, надо ли оно вообще кому-то. В пропозал твоем больше про iterators речь, а весь Ranges TS сейчас нисколько ни constexpr.

Ошибочка, в первый раз не ту бумагу скинул http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0202r1.html В этой уже про алгоритмы (намного ближе к Ranges)

Кстати, вот это может помочь: https://github.com/boostorg/algorithm/pull/35/files Там Mikhail Maksimov сделал огромное количество тестов на constexpr для Boost.Algorithm

Кстати, вот это может помочь: https://github.com/boostorg/algorithm/pull/35/files Там Mikhail Maksimov сделал огромное количество тестов на constexpr для Boost.Algorithm

Ух, спасибо!

Кстати, вот это может помочь: https://github.com/boostorg/algorithm/pull/35/files Там Mikhail Maksimov сделал огромное количество тестов на constexpr для Boost.Algorithm

Случайно увидел в коде следующую строку: BOOST_CXX14_CONSTEXPR T const& clamp ( const T& val, typename boost::mpl::identity<T>::type const & lo, typename boost::mpl::identity<T>::type const & hi ) Какой смысл от identity<T>::type?

Нет, не чистит. template< typename X > struct identity { typedef X type; };

Избежать ambiguity и заставить брать тип T от первого параметра. Другими словами, без identity может не собраться код, или произойдут неожиданные преобразования первого аргумента наподобие int i = 3; i = clamp(i, -1.f, 10u)

круто!

Reflections, Spirit, Metaparse (и другие DSL), string_view, span, std::array + бонусом получите более строгую гарантию, что компиляотр точно сможет соптимизировать подобнsе выражение

ок, спасибо)

Reflections, Spirit, Metaparse (и другие DSL), string_view, span, std::array + бонусом получите более строгую гарантию, что компиляотр точно сможет соптимизировать подобнsе выражение

Metaparse - огонь, но его правда кто-то на практике использует?

Всем привет

Есть тут кто живой?

А, тут для нубовопросов отдельная конфа

Есть вопрос. С помощью какой либы на с++ можно загрузить изображения что бы с ним работать?(узнать его размер,поменять младшие байты и т.д.)

ну или ПРОСТО, как загрузить изображение для работы с ним. Какая библиотека нужна ?

ну или ПРОСТО, как загрузить изображение для работы с ним. Какая библиотека нужна ?

С помощью SFML можно.

+

ну или ПРОСТО, как загрузить изображение для работы с ним. Какая библиотека нужна ?

openCV например

Там есть метод который позволяет это сделать и вообще заточена под работу с изображениями

ERROR: S client not available

ну или ПРОСТО, как загрузить изображение для работы с ним. Какая библиотека нужна ?

magic++ — одна из

а вообще, тысячи их

C++ Image Processing Libraries - Stack Overflow stackoverflow.com I am looking for a C++ library for image processing. I need the library to threshold a PPM photo (color photo). Should I write my own code? what do you guys think?

http://libtins.github.io/

Годно выглядит

openCV например

Крайне не советую.

если формат известен — лучше загружать специфичную библиотеку. Больше шансов что без проблем заработает. Если надо сразу несколько форматов, то чем проще тем лучше. Монструозный опенсиви тянуть ради открытия двух картинок — не надо.

суть моей задачи такова: пройтись по всем пикселям изображения. Заменить в каждом канале(RGB) пиксель цвета на текст(на часть текса). LSB - еще называют

http://libtins.github.io/

Вот ещё. К тому же на стероидах (dpdk, pfring). Не пользовался правда. https://github.com/seladb/PcapPlusPlus

если формат известен — лучше загружать специфичную библиотеку. Больше шансов что без проблем заработает. Если надо сразу несколько форматов, то чем проще тем лучше. Монструозный опенсиви тянуть ради открытия двух картинок — не надо.

+. Девил норм может, к примеру, открыть

https://www.youtube.com/watch?v=zBkNBP00wJE

https://www.youtube.com/watch?v=zBkNBP00wJE

великолепная презентация) любо-дорого смотреть как оптимизатор схлопывает простыни кода в несколько инструкций

о да

https://www.youtube.com/watch?v=zBkNBP00wJE

Боян, нет?

Было раза два по-моему

Боян, нет?

может быть :) ноя видимо прослоупочил все

Ну хорошо хоть сейчас посмотрел, я этим видео терридевису доказывал что плюсы поэффективнее сей могут быть, тщетно конечно же

Ну хорошо хоть сейчас посмотрел, я этим видео терридевису доказывал что плюсы поэффективнее сей могут быть, тщетно конечно же

хех

Подскажите, как запилить фичу, схожую с std::declval<> - запрет использования некоторых методов (шаблонных) везде, кроме unevaluated-context?

Можно попробовать использовать std::declval<int?) первой строчкой в таком коде.

Можно попробовать использовать std::declval<int?) первой строчкой в таком коде.

Не, ругается на использование. Не знаю, имеет ли это значение, но сама функция Foo не вызывается нигде, кроме decltype(SomeClass().Foo())

Ситуация: есть моя функция - X(...) и есть асинхронная функция большой библиотеки - Y(...). Я хочу вызвать эту функцию и дождаться результата. У функции Y(...) есть колбек, сейчас я вызываю ее так: std::promise<bool> p; std::future<bool> f = p.get_future(); auto callback = [&p](...) { p.set_value(true); }; Y(...,callback); auto status = f.wait_for(std::chrono::seconds(10)); Собственно вопрос: безопасно ли это? Функция Y(...) выполняется внутри планировщика библиотеки.

Ситуация: есть моя функция - X(...) и есть асинхронная функция большой библиотеки - Y(...). Я хочу вызвать эту функцию и дождаться результата. У функции Y(...) есть колбек, сейчас я вызываю ее так: std::promise<bool> p; std::future<bool> f = p.get_future(); auto callback = [&p](...) { p.set_value(true); }; Y(...,callback); auto status = f.wait_for(std::chrono::seconds(10)); Собственно вопрос: безопасно ли это? Функция Y(...) выполняется внутри планировщика библиотеки.

вполне

Зависит от имплементации Y. Надо смотреть в документацию - если callback будет вызываться только один раз - тогда ОК