куда комитет смотрит!!111

ну и Ярик конечно прав — тебе нужно передавать указатель.

указатель на что?

мне нужна коллекция callbable move-only объектов

auto op = std::bind(&wrapper::operator(), std::move(std::make_unique<wrapper>()));

1. а если без кучи? 2. в function не влезет

1. а если без кучи? 2. в function не влезет

зачем тебе в std::function ?

https://wandbox.org/permlink/zVH4fggFyM1t1VvE function не поддерживает биндинг move-only типов

зачем тебе в std::function ?

чтобы можно было хранить std::vector<std:function<bool()>>

чтобы можно было хранить std::vector<std:function<bool()>>

std::vector<std::any> ? std::tuple ?

как через any? а вызывать как?

коллекция динамическая

со std:any да, я не прав

коллекция динамическая

std::function<bool()> op = std::bind(&wrapper::operator(), std::move(std::make_shared<wrapper>())); тогда

собсна да. но это пиздец.

и получается будет операция копироваться, дёргая атомарный счётчик std::shared_ptr

щас бы в с++2z некопируемые типы через шаред гонять

но сам врапер не будет копироваться

щас бы в с++2z некопируемые типы через шаред гонять

ну тогда только статические коллекции на шаблончиках писать

почему бы не сделать нормальную поддержку мув-семантики для бинд?

если он все равно хранит объект

щас бы std::function использовать в c++2z

почему бы не сделать нормальную поддержку мув-семантики для бинд?

потому что бинд - это легаси

он из C++03

что тогда не легаси?

что на замену бинду?

лямбды

как хранить лямбды в коллекции?

как хранить лямбды в коллекции?

только в std::tuple

пиши шаблончики

либо

std::function<bool()> op = std::bind(&wrapper::operator(), std::move(std::make_shared<wrapper>())); тогда

проще свой бинд\function написать

но отстутсвие таких вещей в стандарте это печалька

я не верю что никому никогда не нужно было такое

проще свой бинд\function написать

а это не значит "пиши шаблончики" ?

а это не значит "пиши шаблончики" ?

да, именно так. кругом шаблончики

так это же прекрассно, что они есть ?

и получается будет операция копироваться, дёргая атомарный счётчик std::shared_ptr

он дёрнет только один раз, при создании. Если тебя устраивают накладные расходы на каждый вызов std::function, то полагаю и с одной атомарной операцией жить можно.

он дёрнет только один раз, при создании. Если тебя устраивают накладные расходы на каждый вызов std::function, то полагаю и с одной атомарной операцией жить можно.

проблема не в перформансе а в натягивании совы на глобус. Есть ли причина по которой function не хочет мувать объекты?

проблема не в перформансе а в натягивании совы на глобус. Есть ли причина по которой function не хочет мувать объекты?

ну я тоже не вижу причин. move — это может и не то что нужно, а вот почему не forward — это вопрос.

хотя не, я туплю.

выяснили же, что бинд походу так и делает.

надо просто сигнатуру понять теперь ))

я тут гляжу в <function>. есть два метода https://pastebin.com/UtVD5yP5

вот у меня вызывается первый который принимает ссылку. хотя там есть второй который принимает &&

но как его вызвать непонятно

но как его вызвать непонятно

он для перемещаемых типов ?

но снаружи его не достать

https://pastebin.com/pnRdH2V3

для твоей задачи никак ?

проблема не в перформансе а в натягивании совы на глобус. Есть ли причина по которой function не хочет мувать объекты?

Да, такая проблема с function есть, так как она хранит type erasure объекты. Её конструктор копирования не может знать, внутри копируемый тип или нет. Поэтому класс для копируемых и некопируемых функций должен быть разным. Это можно сделать через какой-нибудь шаблонный аргумент bool is_move_only или через отдельный класс. В любом случае, это не в std. Вот кто-то реализовал unique_function: https://github.com/Naios/function2/blob/master/Readme.md

я кажется баг нашел в structure binding

https://wandbox.org/permlink/lup0brjDThNUqlRP

или я чего то не понимаю

почему это баг? ты по значению всегда возвращаешь же

потому что если явно достать фьючерс из тупла то все работает

https://cppinsights.io/lnk?code=Ly8gVGhpcyBmaWxlIGlzIGEgIkhlbGxvLCB3b3JsZCEiIGluIEMrKyBsYW5ndWFnZSBieSBHQ0MgZm9yIHdhbmRib3guCiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPGZ1dHVyZT4KI2luY2x1ZGUgPGZ1bmN0aW9uYWw+CiNpbmNsdWRlIDx0dXBsZT4KCmF1dG8gZm9vKCkgewogICAgcmV0dXJuIHN0ZDo6bWFrZV90dXBsZSg1LCBzdGQ6OmZ1dHVyZTxpbnQ+e30pOwp9CgphdXRvIGJvbygpIHsKICAgIC8vKgogICAgYXV0byBbaSwgZl0gPSBmb28oKTsKICAgIC8qLwogICAgYXV0byBmID0gc3RkOjptb3ZlKHN0ZDo6Z2V0PDE+KGZvbygpKSk7CiAgICAvLyovCiAgICByZXR1cm4gc3RkOjptb3ZlKGYpOwp9CgoKaW50IG1haW4oKQp7CiAgICByZXR1cm4gMDsKfQ==&rev=1.0

https://pastebin.com/G5ZmNBxt

разве по дефолту должно биндиться на ссылках?

ERROR: S client not available

https://pastebin.com/DY1RgwuK

разве по дефолту должно биндиться на ссылках?

нет, по дефолту по значению

тогда почему там ссылки?

но есть ещё и copy elision

Всё, больше про function разговора не будет? :(

но есть ещё и copy elision

посмотри пожалуйста длинную ссылку

гсс биндит по ссылкам

что не позволяет сделать copy elision

я думал auto [x,y] = tuple(…) копирует элементы из тупла. а оно референсит. буду знать

Всё, больше про function разговора не будет? :(

продолжай

если forward сделал каст в rvalue, значит правильно работает binding https://pastebin.com/CFvVXxRb

продолжай

Так я написал выше пост, объясняющий причины неработающей std::function с мув-онли типами

Да, такая проблема с function есть, так как она хранит type erasure объекты. Её конструктор копирования не может знать, внутри копируемый тип или нет. Поэтому класс для копируемых и некопируемых функций должен быть разным. Это можно сделать через какой-нибудь шаблонный аргумент bool is_move_only или через отдельный класс. В любом случае, это не в std. Вот кто-то реализовал unique_function: https://github.com/Naios/function2/blob/master/Readme.md

интересно, спасибо. судя по внутренностям function оно знает про всякие rvalue и мув-онли

но я не уверен еще что этого достаточно

Оно знает в меру. Наличие конструктора копирования должно определяться классом, который увы не может знать, что в него засунут. Ему только сигнатура известна

но он может взять чтото по && и притвориться что это move-only

я бы попробовал попатчить function но мне страшно

Там те же проблемы и с const/volatile/noexcept же

Type erasure кушает всё, оставляя лишь сигнатуру. При этом все qualifierы забываются. Почему? Косяк стандарта, думаю

подожди, но причем тут type erasure?

если function умеет только копировать функтор

почему бы не смувить его в назначеное место?

я правда не совсем понимаю как type erasure работает

вот есть function::operator(Fp&&). казалось бы вот оно. а внутри function(_VSTD::forward<_Fp>(__f)).swap(*this);

а все от отсутсвия function(F&&)

если function умеет только копировать функтор

Умеет и должен уметь. А если ты не в него засунешь некопируемый функтор, как он будет копироваться?

Умеет и должен уметь. А если ты не в него засунешь некопируемый функтор, как он будет копироваться?

Значит не будет копироваться. Будет мув-онли. Другим это не мешает

Если только свою написать и параметром передать что генерировать copy/move/none. Иначе вынуждена всё генерировать, далее если никогда не будет копироваться или перемещаться.

Я понимаю, что там большой объем работы. Но может никто пока не лез туда просто?