В 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
.
Я все за развертывание цикла как оптимизацию, но я не думаю, что это очень хороший вариант. Прежде чем сообщить об этом как об ошибке, может ли кто-нибудь подтвердить, является ли это ожидаемым поведением?
[править: я открыл новую ошибку для этого, потому что другие, кажется, не совпадают. Они были больше о долгом времени компиляции, чем о странном коде.]