VS
Все дело в том, что функция не объект... Или не совсем объект
насколько я понимаю, функции вообще не объекты: An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not cv void.
Size: a a a
2020 November 27
AS
вообще, и то и то - набор байт. Всё дело в том, как ты это интерпретируешь, и что с этим делаешь.
IZ
насколько я понимаю, функции вообще не объекты: An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not cv void.
Ну указатель на функцию в виде переменной - объект
АР
в целом поменяв способ объявления функции с
int foo(float x) { return 5; }АР
на
мы получаем указатель на объект
auto foo = +[](float x) -> int { return 5; }мы получаем указатель на объект
АР
гарантированно
ПК
Alex Sandrov
вообще, и то и то - набор байт. Всё дело в том, как ты это интерпретируешь, и что с этим делаешь.
В с++ это так не работает, слишком высокоуровневый язык
AS
В с++ это так не работает, слишком высокоуровневый язык
но вот этот переход в void* - это, имхо, уход от высокого уровня
IZ
на
мы получаем указатель на объект
auto foo = +[](float x) -> int { return 5; }мы получаем указатель на объект
Но это уже не фукнция.
IZ
на
мы получаем указатель на объект
auto foo = +[](float x) -> int { return 5; }мы получаем указатель на объект
Блин, кстати, а что за + в начале?
ПК
Alex Sandrov
но вот этот переход в void* - это, имхо, уход от высокого уровня
У него тоже есть свои правила, которые надо соблюдать, чтоб всё по канону было
АР
Но это уже не фукнция.
мы инстанцируем функцию и сразу объявляем на неё указатель и это обязано работать )
AS
У него тоже есть свои правила, которые надо соблюдать, чтоб всё по канону было
Это плюсовые правила?
ПК
Alex Sandrov
Это плюсовые правила?
Ага
АР
Блин, кстати, а что за + в начале?
обычный унарный плюс )
для лямбды выберется перегрузка для указателя, т.е. будет каст к указателю если возможен, либо ошибка компиляции если лямбда не приводится к указателю на функцию
для лямбды выберется перегрузка для указателя, т.е. будет каст к указателю если возможен, либо ошибка компиляции если лямбда не приводится к указателю на функцию
m
на
мы получаем указатель на объект
auto foo = +[](float x) -> int { return 5; }мы получаем указатель на объект
Мы получаем именно указатель на функцию. Без плюса был бы объект.
AS
Просто я бы очень старался не использовать касты в void* вообще
ПК
Alex Sandrov
Просто я бы очень старался не использовать касты в void* вообще
И правильно
IZ
Alex Sandrov
Просто я бы очень старался не использовать касты в void* вообще
Ещё раз, тебе они не нужны
АР
Мы получаем именно указатель на функцию. Без плюса был бы объект.
ну да. Речь же о том как получить указатель на функцию не стукнувшись нигде в стандарте? )