В g++ 4.9.2 и 5.3.1 этот код компилируется несколько секунд и создает исполняемый файл размером 52 776 байт:
#include <array>
#include <iostream>
int main()
{
constexpr std::size_t size = 4096;
struct S
{
float f;
S() : f(0.0f) {}
};
std::array<S, size> a = {}; // <-- note aggregate initialization
for (auto& e : a)
std::cerr << e.f;
return 0;
}
Увеличение size, по-видимому, линейно увеличивает время компиляции и размер исполняемого файла. Я не могу воспроизвести это поведение ни с clang 3.5, ни с Visual C++ 2015. Использование -Os не имеет значения.
$ time g++ -O2 -std=c++11 test.cpp
real 0m4.178s
user 0m4.060s
sys 0m0.068s
Проверка ассемблерного кода показывает, что инициализация a разворачивается, создавая 4096 movl инструкций:
main:
.LFB1313:
.cfi_startproc
pushq %rbx
.cfi_def_cfa_offset 16
.cfi_offset 3, -16
subq $16384, %rsp
.cfi_def_cfa_offset 16400
movl $0x00000000, (%rsp)
movl $0x00000000, 4(%rsp)
movq %rsp, %rbx
movl $0x00000000, 8(%rsp)
movl $0x00000000, 12(%rsp)
movl $0x00000000, 16(%rsp)
[...skipping 4000 lines...]
movl $0x00000000, 16376(%rsp)
movl $0x00000000, 16380(%rsp)
Это происходит только тогда, когда T имеет нетривиальный конструктор, а массив инициализируется с помощью {}. Если я сделаю что-либо из следующего, g++ создаст простой цикл:
- Удалить
S::S(); - Удалите
S::S()и инициализируйтеS::fв классе; - Удалить агрегатную инициализацию (
= {}); - Скомпилировать без
-O2.
Я полностью за развертывание цикла в качестве оптимизации, но я не думаю, что это очень хорошо. Прежде чем я сообщу об этом как об ошибке, может ли кто-нибудь подтвердить, является ли это ожидаемым поведением?
[править: я открыл для этого новую ошибку, потому что другие вроде не совпадают. Они были больше связаны с долгим временем компиляции, чем со странным codegen.]
