D
Size: a a a
2021 February 10
AB
Что-то я не помню чтобы статическая линковка была
Статическая функа имеется в виду, у нее внутренняя линковка
D
Статическая функа имеется в виду, у нее внутренняя линковка
А, ну ладно
ПК
Подскажите, оптимизатор удалит
if (val) { foo(); }, если вычисление и val, и foo() не имеет побочных эффектов? То есть, например val было посчитано заранее, а foo() это функция, которая в дебаге осуществляет вывод, а в релизе имеет пустое тело.пустые функции с внутренней линковкой компиляторы спокойно выпиливают, если нет каких то спец. использований типа взятия адреса функции
ПК
Хотя с каким нибудь msvc я бы проверил лишний раз
П
пустые функции с внутренней линковкой компиляторы спокойно выпиливают, если нет каких то спец. использований типа взятия адреса функции
А само условие тоже выпилится или останется пустым?
ПК
А само условие тоже выпилится или останется пустым?
Не знаю, но логично и проверку убирать
W
Подскажите, оптимизатор удалит
if (val) { foo(); }, если вычисление и val, и foo() не имеет побочных эффектов? То есть, например val было посчитано заранее, а foo() это функция, которая в дебаге осуществляет вывод, а в релизе имеет пустое тело.> val посчитано заранее
Если это в одной единице трансляции, или с lto, то придет
Пустую функцию, если от неё не берется адресс, и она не нужна - заинлайнит.
Если это в одной единице трансляции, или с lto, то придет
redundant code elimination и скажет, а че мы это always true/false проверяем? И выпилит if.Пустую функцию, если от неё не берется адресс, и она не нужна - заинлайнит.
DS
Прямо сейчас смотрю на stl из VC. Нода таки типизированная и содержит два указателя на ноды а так же данные, итератор действительно хранит указатель на ноду, но он типизированный и итератор реально заглядывает в ноду при работе (это же двухсвязный список, другого способа кроме как прочитать новый указатель из ноды ходить по списку просто нет).
Нода не содержит данные. Только потенциально. Для доступа к данным используется cast: https://github.com/llvm-mirror/libcxx/blob/master/include/list#L262
А через связи можно выйти и на ноду без данных, вот такую например: https://github.com/llvm-mirror/libcxx/blob/master/include/list#L569
А через связи можно выйти и на ноду без данных, вот такую например: https://github.com/llvm-mirror/libcxx/blob/master/include/list#L569
MK
Нода не содержит данные. Только потенциально. Для доступа к данным используется cast: https://github.com/llvm-mirror/libcxx/blob/master/include/list#L262
А через связи можно выйти и на ноду без данных, вот такую например: https://github.com/llvm-mirror/libcxx/blob/master/include/list#L569
А через связи можно выйти и на ноду без данных, вот такую например: https://github.com/llvm-mirror/libcxx/blob/master/include/list#L569
А это тогда что?
_Tp __value_;MK
Но данных реально может не быть. head например
DS
Но данных реально может не быть. head например
В итераторе указатель на __list_node_base. Нет никаких __value_.
MK
В итераторе указатель на __list_node_base. Нет никаких __value_.
Да. Но речь о ноде. Итератор вообще просто хранит указатель на текущую ноду, все остальное - в ноде.
MK
Данные и два указателя на соседние ноды.
DS
Да. Но речь о ноде. Итератор вообще просто хранит указатель на текущую ноду, все остальное - в ноде.
> И тут вопрос на засыпку. Как отличить лист от узла если структура - указатель на один из них.
Речь про то что по самому объекту отличать не надо, отличить можно через сравнение с end.
Речь про то что по самому объекту отличать не надо, отличить можно через сравнение с end.
MK
Иначе двухсвязный список просто не обеспечит O(1). Реально это работает так: Создается нода заполняются указатели в ноде и по одному у двух соседних. Все. Если бы данные были где-то еще - то и выделять их пришлось бы отдельно (и в общем случае так можно - тип value берется из шаблонных параметров, указатель тоже подходит, естественно)
MK
> И тут вопрос на засыпку. Как отличить лист от узла если структура - указатель на один из них.
Речь про то что по самому объекту отличать не надо, отличить можно через сравнение с end.
Речь про то что по самому объекту отличать не надо, отличить можно через сравнение с end.
Это же было о идее смешать ноду и данные. Хранить указатель на что-то из них и пытаться кастом получить другое.