为什么 VC++ 2010 编译器在编译简单代码时崩溃？

Question

我遇到了一个非常奇怪的症状。谁能告诉我根本原因是什么？

我的VC++编译器版本是最新的：“Microsoft Visual C++ 2010：01019-532-2002102-70860”

重现步骤：

1. 创建一个空的win32控制台项目
2. 添加一个名为 main.cpp 的新 cpp 文件
3. 将以下代码粘贴到 main.cpp 中
4. 编译
5. 编译器崩溃并报告以下消息：

\bug\main.cpp(54893757)：致命错误 C1001：发生内部错误 在编译器中。 （编译器文件 'msc1.cpp'，第 1420 行）

要解决此问题，请尝试 简化或改变程序 靠近上面列出的位置。 请选择技术支持 Visual C++ 帮助菜单上的命令， 或打开技术支持帮助 文件以获取更多信息。

注入文本中发生此错误：

d:\bug\main.cpp(63) ：参见参考 函数模板实例化 'XDummy Test(T)' 正在使用 [ 进行编译 T=int]

构建失败。

下面是main.cpp的源代码：

#include <vector> 

template<class It_> 
struct trait_dummy 
{ 
    static const int value = std::tr1::is_convertible<typename iterator_traits<It_>::iterator_category, int>::value;     
}; 

template<class It_> 
class X 
{ 
public: 
    template<class T_> 
    X(T_& rColl) 
    {} 
}; 

template<class T_> 
X<typename T_::iterator> f(T_ rColl, std::false_type) 
{ 
    return X<typename T_::iterator>(rColl); 
} 

template<class T_> 
auto f(T_& rColl) -> decltype(f(rColl, std::false_type())) 
{ 
    return f(rColl, std::false_type()); 
} 

template<class It_> 
X<It_> f(It_ first, size_t nSize, typename std::tr1::enable_if<trait_dummy<It_>::value>::type* dummy = 0) 
{ 
    return X<It_>(first, first + nSize); 
} 

class XTest 
{ 
public: 
    void foo() 
    { 
        auto v = f(m_Suite); 
    }    

    std::vector<int> m_Suite; 
}; 

const int g_dummy = 0; 
class XDummy 
{ 
public: 
    XDummy(int, int, int, int dummy = g_dummy) 
    {} 
}; 

template<class T> 
XDummy Test(T) 
{    
    return XDummy(0, 0, 0); 
} 

int main() 
{ 
    Test(0); 
    //XTest().foo(); 

    return 0; 
}

Answer 1

您自己尝试过任何类型的故障排除吗？

我可以按照您的描述使用上述源代码重现崩溃。当然，我收到一些警告：

• “IntelliSense：没有重载函数“f”的实例与参数列表匹配”
• “IntelliSense：函数调用中的参数太少”

都引用了这一行：

auto v = f(m_Suite); 

再进行几秒钟的故障排除发现通过注释掉整个 XTest 类，代码可以毫无问题地编译和执行（最重要的是，不会导致编译器崩溃）。这告诉我（并且应该告诉您）问题显然出在 XTest 类中的某个地方。
您不禁想知道这是否与正在发生的编译器错误有关。生成的。

好吧，如果我们只是注释掉产生编译器错误的那一行怎么样？你知道什么！代码编译并执行得很好！

因此，在大约一分钟的时间里，我们将罪魁祸首缩小到一行代码。不过，我不会真正花时间去准确理解所有代码的作用，因为我认为您现在可以从这里开始，因为您确切地知道应该在哪里集中精力。首先修复这些 IntelliSense 错误，然后看看您的代码是否可以编译而不会导致编译器崩溃。

Answer 2

编译器作者不会非常重视修复编译器中的错误，因为这些错误不会影响编译器从有效输入生成有效输出的能力。在这些错误中，最低优先级是那些不会默默产生无效输出的错误。

所以你的问题的答案很可能是因为这个错误以前没有被报告过或者被分配了一个非常非常低的优先级。