奇妙なGCCの挙動

Question

は、次のC++のコードを考えます。 私はgccによって生成されたアセンブリ（-Sを使用）を見て、コードジェネのサイズが以前の数百倍も大きかったことに気付きました。

コンストラクタの定義を省略すると、生成されたアセンブリは完全に異なります。

.globl cube 
    .data 
    .align 32 
    .type cube, @object 
    .size cube, 120 
cube: 
    .long 3212836864 
    .long 3212836864 
    .long 3212836864 
    .long 1065353216 
    .long 3212836864 
    .long 3212836864 
    .long 3212836864 
    .long 1065353216 
    .long 3212836864 
    .long 1065353216 
    .long 1065353216 
    .long 3212836864 
    .long 3212836864 
    .long 3212836864 
    .long 1065353216 
    .long 1065353216 
    .long 3212836864 
    .long 1065353216 
    .long 3212836864 
    .long 1065353216 
    .long 1065353216 
    .long 1065353216 
    .long 1065353216 
    .long 1065353216 
    .zero 24 
    .text 

明らかに、コンパイラによって生成されるコードには大きな違いがあります。 なぜですか？ また、なぜgccはある状況のすべての要素をゼロにし、もう一方の要素をゼロにしませんか？

編集：私は、次のコンパイラフラグを使用しています ：-std=c++0x G ++ 4.5.2と。

Answer 1

これは長年のmissing optimization in GCCです。 の場合は、どちらの場合も同じコードを生成することができますが、できません。

コンストラクタがなければ、vertex_typeはPOD構造です.GCCはコンパイル時に静的/グローバルインスタンスを初期化できます。コンストラクタでは、プログラムの起動時にグローバルを初期化するコードを生成することができます。

Answer 2

カスタムコンストラクタを使用している場合、コンパイラは作成するすべてのベクトルに対してそのコンストラクタを呼び出す必要があります。自分で作成しない場合は、デフォルトで生成されたコンストラクタが使用されます。しかし、タイプが複雑でないので、それを呼び出す必要はありません。配列はバイナリの定数テーブルとして格納されます。

デフォルトのコンストラクタをインライン展開して空にしてください。もちろん、それは有効になっていても有効です。