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

Декрет

20:42пожаловаться #1

Звучит как отпуск

20:42пожаловаться #2

Вообще, вот тут уже интересное начинается. Для дотнета я бы просто написал верификатор, который бы по скомпиленному коду бегал и проверял, что типами, которыми не надо, не инстанцировали того, чего не надо.

20:42пожаловаться #3

💮

💮 in codingteam

Сразу после декрета о запрете UB!

20:42пожаловаться #4

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

20:43пожаловаться #5

А для плюсов такое можно наворотить?

Alex Ф-ф-фэils!🌠︙... in codingteam

20:43пожаловаться #6

Для плюсов сделаешь то же самое, но на либтулинге кланга

20:43пожаловаться #7

Нужно форкать компилятор, или можно коданализ снаружи присобачить?

20:43пожаловаться #8

А⚙

@fvnever так что в итоге у тебя получилось?

20:43пожаловаться #9

Ну всё заебись, работает.

20:43пожаловаться #10

ТРУСЫ НАДЕНЬ, ЧУЧУНДРА!

20:44пожаловаться #11

А⚙

В последнем варианте, который ты кидал, исключение кидается

20:44пожаловаться #12

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

https://godbolt.org/z/PY3f9Gv17 вот рабочий вариант

godbolt.org

struct Foo {
int xxx;
std::function<int()> handler;
};

Foo *something(std::function<int()> &&handler) {
return new Foo { 0, handler };
}

int main() {
Foo *foo = something([&](){ return foo->xxx; });
foo->xxx = 123;
auto result = foo->handler();
std::cout << result << "\n";
}

20:44пожаловаться #13

А⚙

Они на мне, алло. И с чего тебя это так волнует?

20:44пожаловаться #14

А⚙

Молодец. И где такое в реальном коде может потребоваться?

Alex Ф-ф-фэils!🌠︙... in codingteam

20:47пожаловаться #15

https://t.me/cpptogether/148920

Ofee in C++ Together 2.0

Ух, жуть. А зачем?

20:51пожаловаться #16

Ну вот, я его напугал

21:22пожаловаться #17

А⚙

Не, ну это правда звучит как форменное ненужно

21:31пожаловаться #18

codingteam@cjr in codingteam

(<*>).(<*>)
ненужно — это потому что слишком сложно реализовать?

21:44пожаловаться #19

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