Может быть закроем тему UB? Мне вчерашнего холивара хватило. Давайте я

Question

Может быть закроем тему UB? Мне вчерашнего холивара хватило. Давайте я

вам пару любопытных вещей из секции посвященной декларации покажу:

1) На сколько я могу судить код
int f(), g();
абсолютно корректен и объявляет две функции возвращающие int.

2) В драфте стандарта уже есть возможность передавать this явно. Кажется это предлагали для того чтобы иметь возможность не дублировать код в методах у которых должны быть почти одинаковые реализации const и non-const, но я не следил за судьбой этого пейпера.

#c++ #embedded #programming #russian

0

18.01.2022

14 ответов

33 просмотра

Ofee Oficsu

А по поводу первого – можно ведь пойти и дальше: using f = int(); f a, b, c;

0

19.01.2022

Dmitriy [Отпуск]

Для пустых объектов это совершенно бесполезно. Разница будет только в случае, когда в методе доступ к полям, и они помещаются в регистр

0

19.01.2022

Dmitriy [Отпуск]

Вообще, это звучит как слом ABI

0

19.01.2022

Kelbon

Dmitriy [Отпуск]
Вообще, это звучит как слом ABI

какой слом то, это ж не на старую реализацию повлияет, а на новый код

0

19.01.2022

Ofee Oficsu

Dmitriy [Отпуск]
Для пустых объектов это совершенно бесполезно. Раз...

Автор бумаги предлагает рассмотреть пример string_view – обычно лучшей практикой является приём по значению, но это невозможно в случае с методами

0

19.01.2022

Ofee Oficsu

Dmitriy [Отпуск]
Вообще, это звучит как слом ABI

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

0

19.01.2022

Dmitriy [Отпуск]

Автору надо предложить с VC++ ABI ознакомиться)

0

19.01.2022

Ofee Oficsu

Dmitriy [Отпуск]
Автору надо предложить с VC++ ABI ознакомиться)

Я не знаток ABI разных платформ, но мне кажется странным брать в пример одну единственную платформу в вопросе развития всего языка

0

19.01.2022

vile

Dmitriy [Отпуск]
Автору надо предложить с VC++ ABI ознакомиться)

Как там у vc с лупхолами?

0

19.01.2022

Dmitriy [Отпуск]

vile
Как там у vc с лупхолами?

А причем тут ABI?

0

19.01.2022

Ofee Oficsu

vile
Как там у vc с лупхолами?

У большой тройки компиляторов лупхолы работают начиная с C++11. Только ICC не может в type mapping в C++11. Правда, совершенно непонятно, к чему этот вопрос

0

19.01.2022

magras Автор вопроса

Мне грустно что принятие этого костыля косвенно говорит о том что uniform call syntax похоронили. По сути это специальный синтаксис для friend function, которая вызывается через синтаксис вызова метода. По моему мнению это одно из самых костыльных решений.

0

19.01.2022

Ofee Oficsu

magras
Мне грустно что принятие этого костыля косвенно го...

Полагаю, uniform call syntax похоронили задолго до этой бумаги

0

19.01.2022

Ofee Oficsu · Accepted Answer

Упомянутая бумага принята в C++23, сама по себе, она позволяет намного больше, чем просто избавление от дублирования – и рекурсивные лямбды, и продвинутое CRTP, и более эффективная передача this по значению для маленьких объектов, адрес от таких методов представляет из себя обычный указатель на функцию, с чем обычно удобнее работать, чем с указателем на метод

170 похожих чатов

Может быть закроем тему UB? Мне вчерашнего холивара хватило. Давайте я

14 ответов

Похожие вопросы