第一个条件下的变量赋值和第二个条件中使用相同的变量定义明确？

Question

这个定义得很好吗？

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

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

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

Answer 1

使用＆amp;＆amp;和||，保证在评估第二个条件之前评估第一个条件（包括赋值）。

按位＆amp;和|，另一方面，没有做出这样的保证。

Answer 2

这里有一个相关的答案，有很多好的参考资料：Is short-circuiting logical operators mandated? And evaluation order?

如果你没有超载＆amp;＆amp;和||你会得到从左到右的短路评估。看看链接。