Выкананне замовы умоў ў C # Калі заяву

Ёсць два, калі сцвярджэння ніжэй, мае некалькі ўмоў з выкарыстаннем лагічных аператараў. Лагічна абодва ж, але парадак праверкі адрозніваецца. Першы адзін працуе, а другі адзін выходзіць з ладу.

Я казаў MSDN для праверкі, ці з'яўляецца парадак выканання ўмоў, вызначаных; але я не мог знайсці.

Consider a multiple check condition that has && as the logical operator. Is it guaranteed that it will always check the first condition and if that is not satisfied the second condition will not be checked?

Я меў звычай выкарыстоўваць падыход 1, і ён працуе добра. Гледзячы на ​​спасылкі MSDN substantiaing выкарыстання.

<�Моцны> UPDATE

Refer "short-circuit" evaluation

<�Моцны> CODE

  List employees = null;  

  if (employees != null && employees.Count > 0)
  {
        string theEmployee = employees[0];
  }

  if (employees.Count > 0 && employees != null)
  {
        string theEmployee = employees[0];
  }
13
пошук "кароткае замыканне»!
дададзена аўтар David, крыніца

8 адказы

The && and || operators short-circuit. That is:

1) If && evaluates its first operand as false, it does not evaluate its second operand.

2) Калі || ацэньвае яго першы аперанд як праўдзівы, ён не ацэньвае другі аперанд.

This lets you do null check && do something with object, as if it is not null the second operand is not evaluated.

34
дададзена
@Lijo Googling "MSDN кароткага замыкання" , першыя два выніку - гэта і гэта . Ёсць тыя дастаткова?
дададзена аўтар Dukeling, крыніца

Вы павінны выкарыстоўваць:

  if (employees != null && employees.Count > 0)
  {
        string theEmployee = employees[0];
  }

&& will shortcircuit and employees.Count will not be execucted if employees is null.

У вашым другім прыкладзе дадатак будзе згенеравана выключэнне, калі супрацоўнікаў з'яўляецца NULL Пры спробе Count элементы ў калекцыі.

http://msdn.microsoft.com/en-us/library/2a723cdk (v = vs.71) .aspx

8
дададзена

The conditions are checked left to right. The && operator will only evaluate the right condition if the left condition is true.

Раздзел 5.3.3.24 станаў мовы C# Спецыфікацыя:

5.3.3.24 && expressions

For an expression expr of the form expr-first && expr-second:

· The definite assignment state of v before expr-first is the same as the definite assignment state of v before expr.

· The definite assignment state of v before expr-second is definitely assigned if the state of v after expr-first is either definitely assigned or “definitely assigned after true expression”. Otherwise, it is not definitely assigned.

· The definite assignment state of v after expr is determined by:

o If the state of v after expr-first is definitely assigned, then the state of v after expr is definitely assigned.

o Otherwise, if the state of v after expr-second is definitely assigned, and the state of v after expr-first is “definitely assigned after false expression”, then the state of v after expr is definitely assigned.

o Otherwise, if the state of v after expr-second is definitely assigned or “definitely assigned after true expression”, then the state of v after expr is “definitely assigned after true expression”.

o Otherwise, if the state of v after expr-first is “definitely assigned after false expression”, and the state of v after expr-second is “definitely assigned after false expression”, then the state of v after expr is “definitely assigned after false expression”.

o Otherwise, the state of v after expr is not definitely assigned.

Такім чынам, гэта становіцца ясна, што выказваючы-першая заўсёды ацэньваецца і, калі яно праўдзівае тады і толькі тады, <�ет> выказваючы-другі таксама ацэньваецца.

5
дададзена

злева направа, а выраз па-ранейшаму пад пытаннем.

2
дададзена

The && and || operators are often used to check for object conditions.

1) The "&&" condition evaluates its first operand as false, it does not evaluate its second operand. If it returns true, the second condition evaluates. If second condition is true, then only it will return true. So && can be used to make sure that all conditions are satisfied as valid.

2) "||" стан ацэньвае яго першы аперанд як праўдзівы, ён не ацэньвае другі аперанд. Калі першая ўмова ацэньваецца як ілжывае, то толькі ён будзе вылічвацца другая ўмова. Калі яно выканана, то ён вяртае ісціну. У адваротным выпадку, хлусня.

2
дададзена

The conditional-AND operator (&&) performs a logical-AND of its bool operands, but only evaluates its second operand if necessary.

2
дададзена

See, for example, this MSDN page for && which describes the short-circuit evaluation.

Вы можаце праверыць або даказаць, паслядоўнасць выканання, як гэта:

int i;
bool b;
b=((i=3)==0 && (i=4)!=0);
Console.WriteLine(i);
b=((i=3)!=0 || (i=4)!=0);
Console.WriteLine(i);

You get 3 in both cases - which shows, that in both cases the short-circuit behaviour takes place. On the other hand, you could use the '&' or '|', respectively, logical operator, to prevent that. Such you will get a result of 4, because both conditions have been evaluated.

0
дададзена
<�Р> Гэта гарантуе, што яна заўсёды будзе правяраць першая ўмова, і калі   што не выконваецца другая ўмова не будзе правярацца?

Кароткі адказ: так.

0
дададзена