我需要一个奇怪的类,它可以帮助我建立复杂的谓词,并存储在另一个场景中帮助我的组件。
我的问题是,当我重载"& "操作符(当然还有true和false操作符)时,我的"& "操作符在某些情况下不会触发。
public class ObservablePredicate // : IObservable<bool> does not need now
{
public ObservablePredicate Parent { get; set; }
public IList<ObservablePredicate> Components { get; set; }
public static bool operator true(ObservablePredicate x)
{
return x.Value;
}
public static bool operator false(ObservablePredicate x)
{
return !x.Value;
}
public static ObservablePredicate operator &(ObservablePredicate a, ObservablePredicate b)
{
if (a == null) a = new ObservablePredicate(false);
if (b == null) b = new ObservablePredicate(false);
var result = a.Value && b.Value;
return new ObservablePredicate(result, a, b);
}
private bool _value;
public bool Value
{
get => _value;
set
{
_value = value;
// do something with components if exists...
// do something with parent if exists...
}
}
public ObservablePredicate(ObservablePredicate p)
{
Initialise(p.Value, null);
}
public ObservablePredicate(bool value, params ObservablePredicate[] predicates)
{
predicates.ToList().ForEach(p => p.Parent = this);
Initialise(value, predicates.ToList());
}
private void Initialise(bool value, List<ObservablePredicate> components)
{
Components = components ?? new List<ObservablePredicate>();
Value = value;
}
}
在以下情况下,"& "操作符会触发。
var prediacteA = new ObservablePredicate(true);
var predicateB = new ObservablePredicate(true);
var predicateC = prediacteA && predicateB;
var prediacteA = new ObservablePredicate(true);
var predicateB = new ObservablePredicate(false);
var predicateC = prediacteA && predicateB;
但在以下情况下却不触发 因此我的Components属性将是空的。
var prediacteA = new ObservablePredicate(false);
var predicateB = new ObservablePredicate(true);
var predicateC = prediacteA && predicateB;
var prediacteA = new ObservablePredicate(false);
var predicateB = new ObservablePredicate(false);
var predicateC = prediacteA && predicateB;
我如何解决这个问题?
根据我的经验,当我重载"& "操作符(... 这个, &&
操作人员不能超载。
&
是一个逻辑AND,其中 &&
是一个条件逻辑运算符,也叫短路,也就是说如果第一个条件为假,它将不会评估第二个条件。
典型的情况是,你总是会使用 &&
在if语句和其他谓词以及 &
在位面工作时。
if(a && b) // where a and b is booleans
0b0101 & 0b0100 = 0b0100