@ProCxx - страница 546 - Telegram web archive

Stanislav

😐молодцы

Крылатый

http://gittrends.io/#/explore?page=1&language=C%2B%2B&domain=All&growth=All

Aidar

#include <vector> class A{ std::vector<int> a; public: A(int b) : a(b) { } bool operator<(const A &b) const{return a<b.a;} }; int main(){ const A test1(5); } Можно как нибудь заставить компилятор вырезать ненужные new и delete?

Aidar

main: sub rsp, 8 mov edi, 20 call operator new(unsigned long) mov QWORD PTR [rax], 0 mov QWORD PTR [rax+8], 0 mov rdi, rax mov DWORD PTR [rax+16], 0 call operator delete(void*) xor eax, eax add rsp, 8 ret

Andrei

Как он их вырезать должен по-твоему?

Aidar

просто выбросить

Aidar

-fno-exceptions включен еще

Andrei

с++ не умеет в такую оптимизацию

Richard

эм, так вектор же. Для статики std::array

Andrei

clang может умеет, но не факт.

Andrei

Я пишу язык, который точно умеет так.

Aidar

нет

Richard

а, там вообще не юзается вектор

Aidar

main: # @main push rax mov edi, 20 call operator new(unsigned long) mov rdi, rax call operator delete(void*) xor eax, eax pop rcx ret

Aidar

clang

Aidar

ну понятно почему это

Aidar

но типа и проифать можно было специально в компиляторе

Cuno

https://www.youtube.com/watch?v=FWD1msG8YU4

Berkus

#include <vector> class A{ std::vector<int> a; public: A(int b) : a(b) { } bool operator<(const A &b) const{return a<b.a;} }; int main(){ const A test1(5); } Можно как нибудь заставить компилятор вырезать ненужные new и delete?

попросить его включить оптимизацию? )

Aidar

https://www.youtube.com/watch?v=FWD1msG8YU4

да реально такое clang оптимайзит, но не вектор

Aidar

странно

Aidar

да работает только с их libc++

Berkus

-std=c++1z -O3 -stdlib=libc++ вот так сработало

Berkus

это значит в гнусном либц есть out-of-line new в имплементации вектора скорее всего

Berkus

ну собсно я не удивлен даже, libstdc++ давно пора в помойку

Aidar

да не прикол не в этом

Aidar

код прям явно показывает что после New сразу delete

Aidar

из регистра никуда не пишется

Aidar

почему бы не соптимайзить

Aidar

даже clangу

Berkus

если там out-of-line code он не будет оптимайзить этот вызов по идее, но тут что-то еще порылось, если б сраный libstdc++ еще можно было быстро сравнить по коду

Cuno

код прям явно показывает что после New сразу delete

Это на уровне твоего кода так всё выглядит. В реализации new и delete может быть код, мешающий соптимизировать.

Berkus

https://godbolt.org/g/jWo696

Berkus

а, вот, нашел

Berkus

как я и подозревал это аллокатор

Berkus

Richard Smith1 month ago The lack of heap elision in the std::vector case is a consequence of libstdc++ using a non-elidable allocation in its implementation of std::allocator. With libc++, the heap allocation is elided in that case too: https://godbolt.org/g/uQqqIM