c++ - Visual C++ C4723 警告描述中的 "potential divide by zero"是什么意思？

Question

当我在 Visual C++ 10 中编译以下代码时

int _tmain(int /*argc*/, _TCHAR* /*argv*/[])
{
    int len = strlen( "" );
    if( len / 0 ) {
        rand();
    }
}

编译器发出 C4723 warning 可能被零除。

这里的潜力是什么意思？我的 C++ 代码清楚地写着“将 len 除以零”，除法可能如何？

http://msdn.microsoft.com/en-us/library/8kd039eh.aspx

Answer 1

MSDN 文章清楚地表明，编译器在编译时已将操作数评估为零。所以这里的 potential 意味着编译器只不确定一件事——这段代码是否会被执行。