C++バリデーションテンプレートの珍しい例

Question

次の構文は何を意味しますか？

#include <iostream> 

template <int ...> struct s; 

int main() { 
    int i = s<,>::xxx; 

    std::cout << i << std::endl; 
} 

これはGCC 4.4.5+ときに実行出力0によってコンパイルされます。

Answer 1

私はこれにプログラムを書き直し：

template <int ...> struct s; 

int main() { 
    int i = s<,>::xxx; 

    return i; 
} 

と-S -switchでそれをコンパイルし、私は次のようにクリーンアップアセンブリ出力を得るために：今すぐ

main: 
     pushq %rbp 
     movq %rsp, %rbp 
     movl -4(%rbp), %eax 
     popq %rbp 
     ret 

を、私のasm少し錆びていますが、唯一の重要なコードはmovl -4(%rbp), %eaxのようです。戻り値はiから読み取れるものに設定されています。言い換えれば、プログラムは、単にmain関数が入力されたときにスタックの上にあったものを返します。これは、@ jrokのコメントの初期化がどうにかして無視されていることを裏付けるようです。神秘的なコードs<,>::xxx -expressionのコードは生成されていません。

ボトムライン;これはコンパイラのバグのようです。コンパイラはエラーメッセージを表示する必要があります。

裏付け注：私はプログラムint main() { int i; return i; }に対して同じアセンブリ出力を得ています。