Телеграмм чат группы adalang страница 4659

Size: a a a

Ada

2021 February 23

естественно если ты захватываешь по ссылке, то следить за тем, чтобы ссылки были валидны во время вызвов лямбды -- ты должен сам

источник

01:34пожаловаться #1

Alexey Veselovsky in Ada

собственно, как всегда в с++

ЮВ

ужасно

ЮВ

как вот такое работает? https://godbolt.org/z/bcGb6K

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

int b = 13;

auto foo()
{
// f();
int a = 5;
return [&](){a++; b--;};
}

void foo2(std::function<void()> f) {
f();
}

int main()
{
int a = 5;
foo2(foo());
std::cout << a << " " << b << "\n";
}

источник

01:36пожаловаться #4

Alexey Veselovsky in Ada

эмм... а что ты, собственно тут делаешь? ну, то есть у тебя тут конечно есть ошибка, но ты её не заметишь

источник

01:38пожаловаться #5

Alexey Veselovsky in Ada

и зачем у тебя в main объявляется a?

источник

01:38пожаловаться #6

Alexey Veselovsky in Ada

оно же не используется нигде кроме как в cout'e

источник

01:38пожаловаться #7

Alexey Veselovsky in Ada

вообще, на твой код даже компилятор ругается 🙂 https://godbolt.org/z/bYsczx

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

int b = 13;

auto foo()
{
// f();
int a = 5;
return [&](){a++; b--;};
}

void foo2(std::function<void()> f) {
f();
}

int main()
{
int a = 5;
foo2(foo());
std::cout << a << " " << b << "\n";
}

источник

01:41пожаловаться #8

Alexey Veselovsky in Ada

если бы капчур в с++ лямбдах не было, нафига они были бы вообще нужны? 🙂

источник

01:48пожаловаться #9

ЮВ

Юра В 🦄 in Ada

нет, компилятор не ругается, программа собралась и выполнилась

источник

01:53пожаловаться #10

Alexey Veselovsky in Ada

Юра В 🦄

нет, компилятор не ругается, программа собралась и выполнилась

https://godbolt.org/z/cKzqYx нет

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

int b = 13;

auto foo()
{
// f();
int a = 5;
return [&](){a++; b--;};
}

void foo2(std::function<void()> f) {
f();
}

int main()
{
int a = 5;
foo2(foo());
std::cout << a << " " << b << "\n";
}

источник

01:54пожаловаться #11

Alexey Veselovsky in Ada

если что -- во ВСЕХ проектах на последних работах именно такие опции (точнее -- обычно еще жестче)

источник

01:54пожаловаться #12

ЮВ

Юра В 🦄 in Ada

Alexey Veselovsky

https://godbolt.org/z/cKzqYx нет

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

int b = 13;

auto foo()
{
// f();
int a = 5;
return [&](){a++; b--;};
}

void foo2(std::function<void()> f) {
f();
}

int main()
{
int a = 5;
foo2(foo());
std::cout << a << " " << b << "\n";
}

ты компилятор поменял

источник

01:54пожаловаться #13

Alexey Veselovsky in Ada

естественно 🙂 но, полагаю, и на gcc того же можно добиться

источник

01:55пожаловаться #14

ЮВ

Юра В 🦄 in Ada

естественно? мне не естественно. на gcc 10.2 спокойно собирается, и работает. я и спросил, как

источник

01:55пожаловаться #15

Alexey Veselovsky in Ada

Юра В 🦄

естественно? мне не естественно. на gcc 10.2 спокойно собирается, и работает. я и спросил, как

источник

01:56пожаловаться #16

Alexey Veselovsky in Ada

но в прод такое не пройдет

источник

01:56пожаловаться #17

ЮВ

Юра В 🦄 in Ada

чойта? -Werror -Wall вот такие опции поставил. что еще поставить, чтобы триггернуло?

источник

01:57пожаловаться #18

Alexey Veselovsky in Ada

сейчас гляну. а пока, вот тебе PVS: https://godbolt.org/z/3zd7f9

godbolt.org

Compiler Explorer - C++ (x86-64 gcc (trunk))

int b = 13;

auto foo()
{
// f();
int a = 5;
return [&](){a++; b--;};
}

void foo2(std::function<void()> f) {
f();
}

int main()
{
int a = 5;
foo2(foo());
std::cout << a << " " << b << "\n";
}

источник

01:58пожаловаться #19

ЮВ

Юра В 🦄 in Ada

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

источник

02:00пожаловаться #20