Function CelValueEqualImpl

eval/internal/cel_value_equal.cc:214–240

Equal operator is defined for all types at plan time. Runtime delegates to the correct implementation for types or returns nullopt if the comparison isn't defined.

// the correct implementation for types or returns nullopt if the comparison
// isn't defined.
absl::optional<bool> CelValueEqualImpl(const CelValue& v1, const CelValue& v2) {
  if (v1.type() == v2.type()) {
    // Message equality is only defined if heterogeneous comparisons are enabled
    // to preserve the legacy behavior for equality.
    if (CelValue::MessageWrapper lhs, rhs;
        v1.GetValue(&lhs) && v2.GetValue(&rhs)) {
      return MessageEqual(lhs, rhs);
    }
    return HomogenousCelValueEqual<HeterogeneousEqualProvider>(v1, v2);
  }

  absl::optional<Number> lhs = GetNumberFromCelValue(v1);
  absl::optional<Number> rhs = GetNumberFromCelValue(v2);

  if (rhs.has_value() && lhs.has_value()) {
    return *lhs == *rhs;
  }

  // TODO(uncreated-issue/6): It's currently possible for the interpreter to create a
  // map containing an Error. Return no matching overload to propagate an error
  // instead of a false result.
  if (v1.IsError() || v1.IsUnknownSet() || v2.IsError() || v2.IsUnknownSet()) {
    return absl::nullopt;
  }

  return false;
}

}  // namespace cel::interop_internal