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

@MasterZiv , хелп. Почему так? Разве не должно быть наоборот,

ведь первый случай подпадает под потенциально оцениваемое имя, а второй - нет? Как определять odr-used?
struct S { static const int x = 0; };
const int &f(const int &r);
int n = b ? (1, S::x) // S::x is not odr-used here
: f(S::x); // S::x is odr-used here, so a definition is required

11 ответов

21 просмотр

Ну если по-простому сказать то если ты используешь переменную она должна быть определена здесь она только объявлена

Про подпадает и Нет я что-то не понял вроде как оба подпадают

Откуда пример или кусок кода?

Ну да я всё понял это же static const, в первом выражении компилятор имеет право подставить значение константы и не обращаться к этому объекту как к переменной Я имею в виду переменную S::x во втором случае при вызове функции f берётся ссылка на объект S::x а это уже однозначно требует определения этой переменной поскольку это вот и есть ODR-use static const тут исключение, для совместимости со старым кодом

Ilya Zviagin
Откуда пример или кусок кода?

1й случай https://eel.is/c++draft/basic.def.odr#5 A variable x that is named by a potentially-evaluated expression E is odr-used by E unless - x is a reference that is usable in constant expressions ([expr.const]), or сюда внезапно попадают const int инициализированные константным выражением 2й случай мы в функцию по ссылке передаём этот const int, чтобы сделать ссылку у этого const int должен быть адрес, а для этого в итоге нужно уже сторого иметь определение пример видимо отсюда: https://eel.is/c++draft/basic.def.odr#3.9

Гражданин Котейко
1й случай https://eel.is/c++draft/basic.def.odr#5 ...

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

Maus-Grau Автор вопроса
Ilya Zviagin
Откуда пример или кусок кода?

Это из стандарта. Там идёт определение что такое потенциально оцениваемое выражение, а потом такой пример. Из определения понятно что первый случай - потенциально оцениваемое выражение, а второй нет. И по идеи он и должен быть ord-used. Вот у меня и возник диссонанс)

Maus Grau
Это из стандарта. Там идёт определение что такое п...

Ну а почему ты писал что первое - это оцениваемое а второе нет ?

Maus Grau
Это из стандарта. Там идёт определение что такое п...

Первое не одр Юз только потому что это Константа

Maus-Grau Автор вопроса
Ilya Zviagin
Ну а почему ты писал что первое - это оцениваемое ...

По правилам стандарта, в условиях потенциально оцениваемого нет аргументов функции. Если про комментарии, то они не мои они из стандарта)

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

Обсуждают сегодня

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
Вот еще странный косяк, подскажите как бороться. Я git clone сделал себе всего embassy и примеры там запускаю. Всё хорошо. Но вот решил в cargo.toml зависимости не как в приме...
Lukutin R2AJP
1
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Ребят в СИ можно реализовать ООП?
Николай
33
Карта сайта