Прекращайте флудить не по теме чата. Для этого есть @pro_prog.

@zamazan4ik , а ты что скажешь про 2015ую ? (твой ответ выше неоднозначен)

я на 2015 не проверял :)

https://godbolt.org/z/ysPvfX Пастебин сломался. Поэтому godbolt Почему permission denied?

Без copy elision из c++17 оно не компилится

Я в чруте пытался создать mutex межпроцессный

Вот в чем был косяк: надо было из под рут запускать для чрут моей

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

А такую хреновину можно ли провернуть с указателями на функции члены класса ?

то есть, можно ли имея указатель на функцию член класса, но с возвращаемым типом int, закинуть в массив тех же указателей, но с возвращением void. Например заюзав реинтерпрет каст?

Если нельзя, то почему? Указатель на функцию член, это же просто смещение, и когда мы приравниваем его к кому то там значению, мы его ж дефакто сохраняем?

то есть, можно ли имея указатель на функцию член класса, но с возвращаемым типом int, закинуть в массив тех же указателей, но с возвращением void. Например заюзав реинтерпрет каст?

а давай немного пофантазирует на тему как возвращается результат выполнения функцию вызывающей стороне и уже от этого будем плясать.

по стеку ж возвращается.

по стеку ж возвращается.

кто этот стек "очищает"

сама функция и чистит. Но по факту зависит от соглашения о вызове функции.

сама функция и чистит. Но по факту зависит от соглашения о вызове функции.

бинго

таккккк ииии?? Ведь в обычную функцию мы можем накидать разношерстные функции, а вот в указатель член...

мы ведь можем сделать std::function<void()> и сюда закинуть функцию что int возвращает.

это удобно, да. А что на счет указателей на мембры?

то есть, можно ли имея указатель на функцию член класса, но с возвращаемым типом int, закинуть в массив тех же указателей, но с возвращением void. Например заюзав реинтерпрет каст?

Это можно. Нельзя будет потом эту функцию ВЫЗЫВАТЬ!

почему?

почему?

Потому что разные типы возврата будут.

почему с обычными std function можно, а с этим - нет?

почему с обычными std function можно, а с этим - нет?

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

Потому что разные типы возврата будут.

я то с этой логикой согласен, да. Тем не менее.

почему с обычными std function можно, а с этим - нет?

С обычным указателем точно так же нельзя, мы же полутра на это потратили, тебе написали кажется три релазиации этого.

С обычным указателем точно так же нельзя, мы же полутра на это потратили, тебе написали кажется три релазиации этого.

ну можно std function void = std function int.

Можно: https://wandbox.org/permlink/EzDPZmXugAtWgB1P

Вот же.

Ты не можешь взять одну фукцнию, что-то возвращающую, реинтерпретировать её в указатель на фукнцию, не возвращающую ничего, и потом вызывать.

ну можно std function void = std function int.

Нет

Нет

а что тогда в примерах выше??

Нет

Ты не понимаешь. std::function -- это шаблон. Компилятор выдит тип данной функции std::function которая (он в объявлении), и видит тип вкладываемой функции. Видит, что они разные и автоматом геренирует обёртку (я про последнее не уверен, но это моя интуитивная догадка), И таким образом возврат реально вызываемой функции корректро игнорируется. То же было утром с лямбдами, за счёт перевызова в лямбде возврат вызываемой функции корректно игнорировался. Ты же хочешь просто так сказать "ЭТО-- ЭТО ТО", и вызвать. При этом одна функция что-то вернёт, а другая это не воспримит, и будет UB.

Я на вскидку не скажу, Почему тут UB.

ну вообще говоря, я тебя понимаю. Тем не менее именно пример с std function выше, заставляет меня задуматьсь как это работает. Я же пришел не с утвержлением, что так можно, а с вопросом можно ли и почему. Вот у тебя есть догадка, того как это происходит в std function, но может есть у кого не догадки?

Догадка это ведь тоже, не ответ

Я почти уверен, что именно так и происходит

Да и нахрена тебе нынче std::function, когда есть лямбды?

Ну, в мире cxx все подтвержается стандартом же!

Да и нахрена тебе нынче std::function, когда есть лямбды?

Пушо в контейнере хороню.

Пушо в контейнере хороню.

Ну лямбду точно также можно в контейнер...

Догадка это ведь тоже, не ответ

Вот гляди, https://en.cppreference.com/w/cpp/utility/functional/function/operator()

а контейнер то у меня типов std function будет. А все остальное, да можно лямбдами. Но я ж пошире делаю. И чтоб то и другое было.

Ну лямбду точно также можно в контейнер...

в какой? vector<lambda>?

Ну лямбду точно также можно в контейнер...

Разве можно? Вроде ж только через variant?

Это то, что ты вызываешь из std::function. operator (). Он генерируется с такими параметрами и кодом возврата, что ты объявляешь при инстанциации этого шаблона. НО вызывать при этом он может всё, что угодно, ограничение только одно -- параметры должны совпадать по типам и порядку (либо типы должны быть приводимы один к другому). Иначе не скомпилируется.

Это то, что ты вызываешь из std::function. operator (). Он генерируется с такими параметрами и кодом возврата, что ты объявляешь при инстанциации этого шаблона. НО вызывать при этом он может всё, что угодно, ограничение только одно -- параметры должны совпадать по типам и порядку (либо типы должны быть приводимы один к другому). Иначе не скомпилируется.

Тогда вопрос по мембрам функций класса - звучит так, а нету ли чего похожего уже в цхх, как std function ток для мембров?

в какой? vector<lambda>?

Там надо будет описать тип функции, сигнатуры которой будут у лямбд, и её хранить в векторе. А лямбды будут к ней приводиться. При этом лямбды должны быть БЕЗ ЗАХВАТОВ!

а контейнер то у меня типов std function будет. А все остальное, да можно лямбдами. Но я ж пошире делаю. И чтоб то и другое было.

Ну, можно и std::Function тоже.

Тогда вопрос по мембрам функций класса - звучит так, а нету ли чего похожего уже в цхх, как std function ток для мембров?

Ну есть же mem_fun

уже нету (deprecated in C++11) (removed in C++17)

А, ну и ладно.

а что тогда есть?

Тогда вопрос по мембрам функций класса - звучит так, а нету ли чего похожего уже в цхх, как std function ток для мембров?

Про member function у тебя ещё сильнее мозг взорвёт...

тупо в лямбду оборачивать таки или биндить?

Про member function у тебя ещё сильнее мозг взорвёт...

я бы не сказал, что он взрывается.

mem_fn =)

https://en.cppreference.com/w/cpp/utility/functional/mem_fn Тут не сказано, что deprecated

Тогда вопрос по мембрам функций класса - звучит так, а нету ли чего похожего уже в цхх, как std function ток для мембров?

Просто легче их тоже лямбдами эмулировать. НАписать маленькую лямбду-врапер.

Да std::mem_fn есть

Хотя... может я и не прав

https://en.cppreference.com/w/cpp/utility/functional/mem_fn Тут не сказано, что deprecated

окей. Спасибо. Илье тоже спасибо. Меня скорее интересует как это работает и почему, а не как проще и т.п

Тока он не std::function походу возвращает

Тока он не std::function походу возвращает

ну mem fun это то еще из 0х98

уже нету (deprecated in C++11) (removed in C++17)

Убрали древний mem_fun, а mem_fn - это из C++11

ну mem fun это то еще из 0х98

mem_fun - это древний ещё до c++11, mem_fn - это новое. Это аналог нового bind для которого не нужно указывать placeholders. Возвращает он (как и bind) какой-то внутренний тип, умеющийся вызываться с дополнительным первым аргументом. Этот тип уже можно обернуть в соответстсвующую std::function. Например: https://wandbox.org/permlink/q8BJ5Ag1v9vy3ctO

mem_fun - это древний ещё до c++11, mem_fn - это новое. Это аналог нового bind для которого не нужно указывать placeholders. Возвращает он (как и bind) какой-то внутренний тип, умеющийся вызываться с дополнительным первым аргументом. Этот тип уже можно обернуть в соответстсвующую std::function. Например: https://wandbox.org/permlink/q8BJ5Ag1v9vy3ctO

И это же всё стало возможным только за счёт VARIADIC TEMPLATES , так ведь?

Убрали древний mem_fun, а mem_fn - это из C++11

Чет прям всхихикнулось с этого

И это же всё стало возможным только за счёт VARIADIC TEMPLATES , так ведь?

Да

Можно: https://wandbox.org/permlink/EzDPZmXugAtWgB1P

а можно для одаренных: это работает, но это UB?

Да

а как тогда, стд фанкшн с одним возвратом, точнее с войдом, можно ему приравнять функцию с другим?

Всем привет, у меня очень простой вопрос: я собрал себе zapcc, но у него поиск дефолтных хедеров как-то не правильно работает. Зная, что он использует кланг я пишу zapcc -v -E -x c - в консоле и вот, что возвращается

неужели там реально обертка генерится? тогда это бьет по перфомансу.

#include "..." search starts here: #include <...> search starts here: /usr/local/include /home/ostap/dev/libs/zapcc/build/lib/clang/7.0.0/include /usr/include/x86_64-linux-gnu /usr/include

а ведь можно придумать ситуацию, когда таких оберток будет k штук

неужели там реально обертка генерится? тогда это бьет по перфомансу.

Нет, она может инлайнится.

Первый в списке идет /usr/local/include, а мне нужно, что бы была вторая строка

Как исправить?

а как тогда, стд фанкшн с одним возвратом, точнее с войдом, можно ему приравнять функцию с другим?

Нет.

Нет, она может инлайнится.

вот тут бы подробнее узнать. Ща погуглю, но если кто знает чего, пишите?

Нет.

ды дааа же, чего нет то? вон же вандабокс с примером.

вот тут бы подробнее узнать. Ща погуглю, но если кто знает чего, пишите?

Что тут знать? функция шаблонная, генерируется в каждом исходном модуле, тело доступно, если нужно, заинлайнить её раз плюнуть. Но при этом возврат всё равно будет корректно игнорироваться

ды дааа же, чего нет то? вон же вандабокс с примером.

Я не смотрел, Убегаю

Что тут знать? функция шаблонная, генерируется в каждом исходном модуле, тело доступно, если нужно, заинлайнить её раз плюнуть. Но при этом возврат всё равно будет корректно игнорироваться

подробнее, это ж про гарантии того, что это 100% будет так и в каких не будет.

подробнее, это ж про гарантии того, что это 100% будет так и в каких не будет.

Что функция заинлайнится, гарантий нет.

Но чтобы она НЕ заинлайнилась, нет причин

Но чтобы она НЕ заинлайнилась, нет причин

верю.

Тогда вопрос по мембрам функций класса - звучит так, а нету ли чего похожего уже в цхх, как std function ток для мембров?

А что ты вообще хочешь сделать? Хранить список на члены класса?

Как исправить?

-isystem path to your headers