visual-c++ - 第一个条件中的变量赋值和第二个条件中使用相同的变量 定义良好吗？

Question

这个定义明确吗？

Streamreader ^reader = gcnew Streamreader("test.txt");
String  ^line;

while ((line = reader->ReadLine()) != nullptr && line != "")
{
    //do stuff
}

我相信我在某处读到不能保证赋值在第二个条件之前执行。可能是我错了，或者这仅适用于 C。
谷歌没有帮助我解决这个问题，这就是我在这里问的原因:)

Answer 1

使用 && 和 ||，可以保证在评估第二个条件之前评估第一个条件(包括赋值)。

另一方面，对于按位 & 和 |，则不提供此类保证。