Здравствуйте!

Может, неправильно выразился, но суть такая: есть необходимость использовать callback'и, функторы для этого хорошо подходят. Но хочется иметь возможность передавать туда и лямбды с непустыми []. Специфика такова, что нет ни std::function, ни тем более boost'а.

Какие есть варианты? Желательно попроще

а пример того чего хочется но не компилится — можно ? а то не понятно

Здравствуйте, reversecode, Вы писали:


R>а пример того чего хочется но не компилится — можно ? а то не понятно

Хм. Сейчас даже не и не скажу. Это моя первая лямбда

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

Я погуглил, нашел какое-то обсуждение (сейчас уж не найду, завтра уточню), там лямбду прокидывали через указатель на функцию, я решил, что это наверно то, что мне нужно. Начал разбираться — лябда посложнее пустой не компилится, в коментах пишут, что нужен std::function.

Вот, как-то так
Сорри, если сумбурно, только начал грызть 11 стандарт
Думал, сами догадаетесь, в чем проблема, а то я пока не осознал


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

Здравствуйте, Marty, Вы писали:

M>Специфика такова, что нет ни std::function, ни тем более boost'а.

Чем именно вызван отказ от std::function ?

Что ещё нельзя? Вариадики, type traits?

Дело в том, что навернуть что-то своё можно, но оно не будет лучше std::function, если покрывать самый общий случай.

https://github.com/jamboree/CxxFunctionBenchmark
вот пример всевозможных вариаций, народ с рсдн вроде игрался
может там чего для себя найдете

Здравствуйте, Alexander G, Вы писали:

M>>Специфика такова, что нет ни std::function, ни тем более boost'а.

AG>Чем именно вызван отказ от std::function ?

Его нет в компиляторе


AG>Что ещё нельзя? Вариадики, type traits?

Вариадики вроде есть, как работают — не знаю, вроде худо-бедно пашут. type traits —


AG>Дело в том, что навернуть что-то своё можно, но оно не будет лучше std::function, если покрывать самый общий случай.

Ну вот ребята там что-то подобное и пилят уже месяц почти; я, как новый человек в конторе вообще, и незнакомый с C++11 в частности, пока особо в это не лезу. Но как-то за пол-дня прикрутил к коду с аналогичным функционалом лямбду, вот и думаю, что они там пилят, и главное, надо ли

Здравствуйте, reversecode, Вы писали:


R>https://github.com/jamboree/CxxFunctionBenchmark
R>вот пример всевозможных вариаций, народ с рсдн вроде игрался
R>может там чего для себя найдете

Спс, завтра на свежую голову гляну

M>Ну вот ребята там что-то подобное и пилят уже месяц почти; я, как новый человек в конторе вообще, и незнакомый с C++11 в частности, пока особо в это не лезу. Но как-то за пол-дня прикрутил к коду с аналогичным функционалом лямбду, вот и думаю, что они там пилят, и главное, надо ли

срочно опубликовать этот щедевр для мема сюда http://govnokod.ru/cpp

Здравствуйте, reversecode, Вы писали:

M>>Ну вот ребята там что-то подобное и пилят уже месяц почти; я, как новый человек в конторе вообще, и незнакомый с C++11 в частности, пока особо в это не лезу. Но как-то за пол-дня прикрутил к коду с аналогичным функционалом лямбду, вот и думаю, что они там пилят, и главное, надо ли

R>срочно опубликовать этот щедевр для мема сюда http://govnokod.ru/cpp


Нельзя. Секретность

Здравствуйте, Marty, Вы писали:

M>Ну вот ребята там что-то подобное и пилят уже месяц почти; я, как новый человек в конторе вообще, и незнакомый с C++11 в частности, пока особо в это не лезу. Но как-то за пол-дня прикрутил к коду с аналогичным функционалом лямбду, вот и думаю, что они там пилят, и главное, надо ли

Ну, надо ли. Случаи разные бывают.
Если не нужен type erasure, можно просто передавать как выводимый шаблонный параметр.

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

Если лямбду не нужно хранить, а только спускать вниз по стеку, то через указатель на лямбду можно упростить.

Хорошая реализация, такая как в boost::function, помимо обеспечения type erasure, с поддержкой всех сигнатур, и хранением лябмды в себе, делает ещё следующее:
1. Избегает полиморфизма на C++ классах в пользу полиморфизма на указателях на функции. То есть чтобы на все возможные сигнатуры не было пачки RTTI и vtable.
2. Делает small value optimization, то есть, если лямбда небольшая хранит её не на куче, а по значению.

Здравствуйте, Alexander G, Вы писали:

M>>Ну вот ребята там что-то подобное и пилят уже месяц почти; я, как новый человек в конторе вообще, и незнакомый с C++11 в частности, пока особо в это не лезу. Но как-то за пол-дня прикрутил к коду с аналогичным функционалом лямбду, вот и думаю, что они там пилят, и главное, надо ли

AG>Ну, надо ли. Случаи разные бывают.
AG>Если не нужен type erasure, можно просто передавать как выводимый шаблонный параметр.
AG>Если не надо поддерживать любые сигнатуры, только для одной, то задача тоже сильно упрощается.

Ну вот они как раз и уперлись в поддержку любых сигнатур. Хз, зачем, правда.


AG>Если лямбду не нужно хранить, а только спускать вниз по стеку, то через указатель на лямбду можно упростить.

Тут хз, но, скорее всего, таки нужно хранить


AG>Хорошая реализация, такая как в boost::function, помимо обеспечения type erasure, с поддержкой всех сигнатур, и хранением лябмды в себе, делает ещё следующее:
AG>1. Избегает полиморфизма на C++ классах в пользу полиморфизма на указателях на функции. То есть чтобы на все возможные сигнатуры не было пачки RTTI и vtable.
AG>2. Делает small value optimization, то есть, если лямбда небольшая хранит её не на куче, а по значению.

Кучи нет. Кстати

Здравствуйте, Marty, Вы писали:

M>Кучи нет. Кстати

Ого. Ну как-то так можно, раз new запрещён, остаётся фиксированный буфер в себе:

template<std::size_t BufferSize, class R, class... Args>
class LambdaStorage
{
public:
    template<class F>
    LambdaStorage(F f)
    {
        new (data) F(f);
        call = CallImpl<F>;
        copy = CopyImpl<F>;
        del  = DelImpl<F>;        
    }

    LambdaStorage()
    {
        call = nullptr;
        copy = nullptr;
        del  = nullptr;
    }

    LambdaStorage(const LambdaStorage& other)
    {
        call = other.call;
        copy = other.copy;
        del  = other.del ;
        copy(data, other.data);
    }

    ~LambdaStorage()
    {
        if ( del != nullptr )
            del(data);
    }

    LambdaStorage& operator=(const LambdaStorage& other) = delete;

    R operator()(Args... args)
    {
        return call(data, args...);
    }

private:
    template<class F>
    static R CallImpl(const char* data, Args... args)
    {
        const F* f = reinterpret_cast<const F*>(data);
        return (*f)(args...);
    }

    template<class F>
    static void CopyImpl(char* dest, const char* src)
    {
        const F* f = reinterpret_cast<const F*>(src);
        new (dest) F(*f);
    }

    template<class F>
    static void DelImpl(char* data)
    {
        const F* f = reinterpret_cast<const F*>(data);
        f->~F();
    }

    R    (*call) (const char* data, Args...);
    void (*copy) (char* dest, const char* src);
    void (*del)  (char* data);

    char data[BufferSize];
};

typedef LambdaStorage<16, int, const char*, int> MyCallable;

MyCallable MakeCallable()
{
    int i = 22;
    return [i](const char* s, int j)
    {
        std::cout << s << '\n';
        return (i+j);
    };
}

void UseCallable(MyCallable c)
{
    int r = c("Hello world!", 20);
    std::cout << "Result " << r << '\n';
}

int main()
{
    MyCallable c = MakeCallable();
    UseCallable(c);
    return 0;
}

(решение подлежит оптимизации, если что, это наглядная версия)

Здравствуйте, Marty, Вы писали:

AG>>Хорошая реализация, такая как в boost::function, помимо обеспечения type erasure, с поддержкой всех сигнатур, и хранением лябмды в себе, делает ещё следующее:
AG>>1. Избегает полиморфизма на C++ классах в пользу полиморфизма на указателях на функции. То есть чтобы на все возможные сигнатуры не было пачки RTTI и vtable.
AG>>2. Делает small value optimization, то есть, если лямбда небольшая хранит её не на куче, а по значению.

M>Кучи нет. Кстати

Я такое делал, кто-то с форума помогал советами и отзывами, тему неудобно с планшета искать сейчас. Результат лежит на https://github.com/pmed/fixed_size_function

Размер фиксированного буфера под лямбду задается параметром шаблона, ещё от 2 до 4 указателей уходит на функции вызова, деструктора, копирования и перемещения лямбды.

Однако если нет кучи, то проще все-таки использовать лямбды без захвата состояния, чтобы свести все к указателю на функцию. Вменяемые интерфейсы обычно так и проектируют, закладывают какой-нибудь void* аргументом callback функции:

using callback = void (*)(void* user_data, float x);

void explode(int y, callback cb, void* user_data);

struct world { ... } my;

explode(1000, [](void* data, float x){ auto my = static_cast<world*>(data); ... }, &my);

Здравствуйте, Marty, Вы писали:

AG>>Чем именно вызван отказ от std::function ?
M>Его нет в компиляторе

Как такое возможно что лямбды есть в компиляторе а std::function нет???
Да и вообще это же заголовочный файл, его скорее всего можно затащить оттуда где он есть (из другого компилятора, из буста и т.д.)

Здравствуйте, anonymouse2, Вы писали:

AG>>>Чем именно вызван отказ от std::function ?
M>>Его нет в компиляторе

A>Как такое возможно что лямбды есть в компиляторе а std::function нет???
A>Да и вообще это же заголовочный файл, его скорее всего можно затащить оттуда где он есть (из другого компилятора, из буста и т.д.)


Вроде пробовали, не взлетело. Это embedded, детка
А Keil, конкретно, с тех пор как я увидел его в первый раз в 96ом году, ни капельки не изменился Для меня было шоком, что он поддерживает 11 плюсовый стандарт, пусть и с урезанной STL

Здравствуйте, Marty, Вы писали:

M> Здравствуйте!

M>Может, неправильно выразился, но суть такая: есть необходимость использовать callback'и, функторы для этого хорошо подходят. Но хочется иметь возможность передавать туда и лямбды с непустыми []. Специфика такова, что нет ни std::function, ни тем более boost'а.

M>Какие есть варианты? Желательно попроще

Я правильно понимаю, что хочется что-то вроде std::bind?
http://en.cppreference.com/w/cpp/utility/functional/bind12

Здравствуйте, Marty, Вы писали:

M>Здравствуйте, Alexander G, Вы писали:

M>>>Специфика такова, что нет ни std::function, ни тем более boost'а.

AG>>Чем именно вызван отказ от std::function ?

M>Его нет в компиляторе

Сделай велосипед. Элементарно пишется, если не надо 100500 фич с биндами и прочим.