ドキュメントとその名前が暗示していることからCanReduce
、さらに小さな式に分解できるすべての式に対して、プロパティの値を true に設定する必要があると推測できます。
しかし、よく観察すると、この推論はすべての場合に当てはまらないようです。の場合を考えてみましょうLambdaExpression
。これは確かに複合単位です。ただし、LambdaExpression
クラスから直接派生するクラスは、プロパティExpression
をオーバーライドしません。CanReduce
このExpression
クラスは、CanReduce
を返す実装を使用してプロパティを virtual として定義してfalse
いるため、ラムダ式はこれ以上簡約できないことを暗示していますが、これは正しくありません。
では、このプロパティの本当の意味は何ですか?