VS2010 RCが恐ろしく単純なコードでクラッシュする件

int main()
{
    typename(
}

このコードで、typenameに続く、開括弧を打った瞬間に、"Microsoft (R) Visual C++ Package Server"なるプロセスが、延々とクラッシュし続ける。

どうやら、テンプレートではない、普通の関数の中で、"typename("と打つと、100%の再現率でクラッシュするようだ。

一応、バグ報告したが、一体どういうテストをしているのだろう。

追記：

どういうテストを行えばこの問題が (RC ビルドの) リリース前に判明したか

テンプレート関数ではない、普通の関数の中で、typenameを使うこと自体が、ill-formedなので、難しいと思う。well-formedなコードなら、いくらでも自動的に生成できるかもしれないが、ill-formedなコードで、このような問題を引き起こすコードを、自動的に生成するのは、難しいのではないか。

ちなみに、私がこれを発見した理由というのは、typeidを、ついtypenameと、typoした為だった。その瞬間、ワトソン博士が大激怒（厳密にいうと、Vistaにはもう、ワトソン博士はいないのだけれど）。たまたま、MPLを変態的に使ったコードを書いていたため、問題を狭めて特定するのに、少し時間がかかった。

規格を知っている者、知らない者を、それぞれ集めて、テスターとして、延々とコードを書かせ続けるのはどうか。とはいっても、他ならぬ開発環境である。ベータ版以前の社内ビルドを、試験的に使うような人間は、MS社内にゴロゴロいるだろうし、実際試していると思う。それに、人力でのテストには、作業量に限界がある。バグを発見した後から、「テストが足りなかったんじゃないか」というのは簡単だが、果たして見つけられるだろうか。

C++0xの対応具合

まだドラフト段階で、変わる可能性のある部分が多いので、それほど大胆な機能を実装することは難しい。MSVCのようなメジャーなコンパイラが、規格違反のコードを通してしまったら、後々、ひどい互換性の問題を引き起こす。実際、MSVCは、あまり規格準拠のコンパイラとはいえないのだが。

しかし、auto, decltype, lambda, rvalue reference, static_assert, nullptrが入っているので、相当、C++0xの恩恵を受けられるだろう。

それから、トライグラフが廃止された。実を言うと、完全に廃止するのは、規格違反なのだが、（まだIBMの既存のコードとの互換性の問題で、少しだけトライグラフが規格に残っている）、これはいい変更だ。もし、何らかの理由で、トライグラフを使わなければこまるというのであれば、トライグラフを有効にするコンパイラオプションがある。

それにしても、ドキュメントには書いていないものの、新しい関数宣言構文が、ひそかに入っている。これなど、どうするつもりなのだろう。Unified Function Syntaxが入るか入らないか、もめている最中なのに。