Привет.

Дизайню язык, появился нетривиальный вопрос. Анонимные функции — их адреса ведь можно хранить не в рантайме? Мол, иметь некую инструкцию компилятора addressof, которая раскрывалась бы в числовой литерал, но сам рантайм объект анонимной функции не хранил бы этот адрес.

В принципе, концепция имеет право на существование, но я не уверен, что настоящий адрес функции можно зарезолвить во время компиляции. Ведь есть PIC, например. Что думаете? Что почитать?

P.S:

#include "stdio.h"

int main() {
  int (*sum)(int, int);
  printf("%ul\n", sizeof(sum));
}

// => 8

#include "stdio.h"

int main() {
  int (*sum)(int, int);
  printf("%ul\n", sizeof(sum));
}

// => 8

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

Его можно вычислить на стадии линковки, т.е после сборки, а это уже слишком поздно

А что тогда хранится в sum в примере выше?

А, я понял, что чушь несу

Сейчас сооружу пример на плюсах и лямбдах

Мусор там, это неинициализированный указатель

#include "stdio.h"

int main() {
  int (*sum)(int, int);
  printf("%ul\n", sizeof(sum));
}

// => 8

Какие адреса? У првалуева нет адреса.

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

У меня пока не получилось накатать рабочий код, который бы вытаскивал этот самый адрес

Но главное то, что в C++ рантайм-объект лямбды хранит только closure. Значит, обращается по символу

Это называется конвертация лямбды в указатель на функцию, а не адрес анонимного функтора.

Спасибо. Думаю, у меня XY problem. Пойду дальше думать

В supapro

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

Хотя я и не ручаюсь, что она достаточно полная, у меня некоторые минимальные концептуальные пробелы ещё остались, но вероятнее, исправится перепрочтением этого же/другого источника

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

у Andrey были пару докладов на C++ spb meetup про внутренности корутин

привет всем. Кто может посоветовать книгу по указателям и работой с памятью на Си https://www.amazon.com/Understanding-Using-Pointers-Techniques-Management/dp/1449344186

нашел вот такую

А чо там, целая книга нужна?