Объект способный хранить указатель на фукцию и на данные

[waleri]

Проблемы выравнивания адресов можно решить с помощью анонимного union.
А почему нельзя напрямую в Function_ref обяъвить указатель на функцию нужного типа?
Вроде _Ret(*pfn)(Args...)?

[220Volt]

_Bers, спасибо.

Сообщение от waleri

Проблемы выравнивания адресов можно решить с помощью анонимного union.
А почему нельзя напрямую в Function_ref обяъвить указатель на функцию нужного типа?
Вроде _Ret(*pfn)(Args...)?

Лямбда в такой указатель откажется записываться, ведь она - похожа на экземпляр класса с оператором (). Это относится к лямбдам со списком захвата.

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

[waleri]

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

Шаблонная функция тоже может быть виртуальной, просто обычно в этом нет смысла.

[_Bers]

Сообщение от waleri

Шаблонная функция тоже может быть виртуальной, просто обычно в этом нет смысла.

Нет. Не может. Это не возможно.

А вот смысл в этом есть: существуют обходные пути, позволяющие имитировать шаблоно-виртуальный метод. При этом утрачивается статический контроль за ошибками.

[220Volt]

Сообщение от waleri

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

Шаблонная функция тоже может быть виртуальной, просто обычно в этом нет смысла.

Не согласен, все это разные типы:

[i](){};
[&i](){};
[w, q](){};

Другими словами лямбда (со списком захвата) это:

class Lambda  // аналог первой лямбды из кода выше.
{
    int i;
public:
    Lambda(int i) : i{i} {}
    void operator()() {}
};

из-за этого и варьирует размер лямбды, на это оказывает влияние список захвата.

2. Не знаю как вы сюда виртуальность вкрутите:

struct Base
{
    template <typename T>
    virtual void fn(T t) = 0;
};
struct Child : Base
{
    template <typename T>
    void fn(T t) override {}
};
int main()
{
    Child c;
    Base *b = &c;
    b->fn(4);
    return 0;
}

Думаю можно попытаться через ручное инстанцирование, но как-то не красиво это.

[waleri]

Сообщение от 220Volt

Не согласен, все это разные типы:

Вызываются они одинаково, разве нет? Ну и даже если вызывать по разному, тогда можно сделать дополнительный указатель на метод-вызывальщик, в зависимости от типа а точный тип мы узнаем из конструктора. По мне так это наглядней, чем аж два вложенных класса.