src/tools/clippy/clippy_utils/src/eager_or_lazy.rs

   1 //! Utilities for evaluating whether eagerly evaluated expressions can be made lazy and vice versa.
   2 //!
   3 //! Things to consider:
   4 //!  - has the expression side-effects?
   5 //!  - is the expression computationally expensive?
   6 //!
   7 //! See lints:
   8 //!  - unnecessary-lazy-evaluations
   9 //!  - or-fun-call
  10 //!  - option-if-let-else
  11
  12 use crate::ty::{all_predicates_of, is_copy};
  13 use crate::visitors::is_const_evaluatable;
  14 use rustc_hir::def::{DefKind, Res};
  15 use rustc_hir::intravisit::{walk_expr, Visitor};
  16 use rustc_hir::{def_id::DefId, Block, Expr, ExprKind, QPath, UnOp};
  17 use rustc_lint::LateContext;
  18 use rustc_middle::ty::{self, PredicateKind};
  19 use rustc_span::{sym, Symbol};
  20 use std::cmp;
  21 use std::ops;
  22
  23 #[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
  24 enum EagernessSuggestion {
  25     // The expression is cheap and should be evaluated eagerly
  26     Eager,
  27     // The expression may be cheap, so don't suggested lazy evaluation; or the expression may not be safe to switch to
  28     // eager evaluation.
  29     NoChange,
  30     // The expression is likely expensive and should be evaluated lazily.
  31     Lazy,
  32     // The expression cannot be placed into a closure.
  33     ForceNoChange,
  34 }
  35 impl ops::BitOr for EagernessSuggestion {
  36     type Output = Self;
  37     fn bitor(self, rhs: Self) -> Self {
  38         cmp::max(self, rhs)
  39     }
  40 }
  41 impl ops::BitOrAssign for EagernessSuggestion {
  42     fn bitor_assign(&mut self, rhs: Self) {
  43         *self = *self | rhs;
  44     }
  45 }
  46
  47 /// Determine the eagerness of the given function call.
  48 fn fn_eagerness(cx: &LateContext<'_>, fn_id: DefId, name: Symbol, have_one_arg: bool) -> EagernessSuggestion {
  49     use EagernessSuggestion::{Eager, Lazy, NoChange};
  50     let name = name.as_str();
  51
  52     let ty = match cx.tcx.impl_of_method(fn_id) {
  53         Some(id) => cx.tcx.type_of(id),
  54         None => return Lazy,
  55     };
  56
  57     if (name.starts_with("as_") || name == "len" || name == "is_empty") && have_one_arg {
  58         if matches!(
  59             cx.tcx.crate_name(fn_id.krate),
  60             sym::std | sym::core | sym::alloc | sym::proc_macro
  61         ) {
  62             Eager
  63         } else {
  64             NoChange
  65         }
  66     } else if let ty::Adt(def, subs) = ty.kind() {
  67         // Types where the only fields are generic types (or references to) with no trait bounds other
  68         // than marker traits.
  69         // Due to the limited operations on these types functions should be fairly cheap.
  70         if def
  71             .variants()
  72             .iter()
  73             .flat_map(|v| v.fields.iter())
  74             .any(|x| matches!(cx.tcx.type_of(x.did).peel_refs().kind(), ty::Param(_)))
  75             && all_predicates_of(cx.tcx, fn_id).all(|(pred, _)| match pred.kind().skip_binder() {
  76                 PredicateKind::Trait(pred) => cx.tcx.trait_def(pred.trait_ref.def_id).is_marker,
  77                 _ => true,
  78             })
  79             && subs.types().all(|x| matches!(x.peel_refs().kind(), ty::Param(_)))
  80         {
  81             // Limit the function to either `(self) -> bool` or `(&self) -> bool`
  82             match &**cx.tcx.fn_sig(fn_id).skip_binder().inputs_and_output {
  83                 [arg, res] if !arg.is_mutable_ptr() && arg.peel_refs() == ty && res.is_bool() => NoChange,
  84                 _ => Lazy,
  85             }
  86         } else {
  87             Lazy
  88         }
  89     } else {
  90         Lazy
  91     }
  92 }
  93
  94 #[expect(clippy::too_many_lines)]
  95 fn expr_eagerness<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'_>) -> EagernessSuggestion {
  96     struct V<'cx, 'tcx> {
  97         cx: &'cx LateContext<'tcx>,
  98         eagerness: EagernessSuggestion,
  99     }
 100
 101     impl<'cx, 'tcx> Visitor<'tcx> for V<'cx, 'tcx> {
 102         fn visit_expr(&mut self, e: &'tcx Expr<'_>) {
 103             use EagernessSuggestion::{ForceNoChange, Lazy, NoChange};
 104             if self.eagerness == ForceNoChange {
 105                 return;
 106             }
 107             match e.kind {
 108                 ExprKind::Call(
 109                     &Expr {
 110                         kind: ExprKind::Path(ref path),
 111                         hir_id,
 112                         ..
 113                     },
 114                     args,
 115                 ) => match self.cx.qpath_res(path, hir_id) {
 116                     Res::Def(DefKind::Ctor(..) | DefKind::Variant, _) | Res::SelfCtor(_) => (),
 117                     Res::Def(_, id) if self.cx.tcx.is_promotable_const_fn(id) => (),
 118                     // No need to walk the arguments here, `is_const_evaluatable` already did
 119                     Res::Def(..) if is_const_evaluatable(self.cx, e) => {
 120                         self.eagerness |= NoChange;
 121                         return;
 122                     },
 123                     Res::Def(_, id) => match path {
 124                         QPath::Resolved(_, p) => {
 125                             self.eagerness |=
 126                                 fn_eagerness(self.cx, id, p.segments.last().unwrap().ident.name, !args.is_empty());
 127                         },
 128                         QPath::TypeRelative(_, name) => {
 129                             self.eagerness |= fn_eagerness(self.cx, id, name.ident.name, !args.is_empty());
 130                         },
 131                         QPath::LangItem(..) => self.eagerness = Lazy,
 132                     },
 133                     _ => self.eagerness = Lazy,
 134                 },
 135                 // No need to walk the arguments here, `is_const_evaluatable` already did
 136                 ExprKind::MethodCall(..) if is_const_evaluatable(self.cx, e) => {
 137                     self.eagerness |= NoChange;
 138                     return;
 139                 },
 140                 ExprKind::MethodCall(name, ..) => {
 141                     self.eagerness |= self
 142                         .cx
 143                         .typeck_results()
 144                         .type_dependent_def_id(e.hir_id)
 145                         .map_or(Lazy, |id| fn_eagerness(self.cx, id, name.ident.name, true));
 146                 },
 147                 ExprKind::Index(_, e) => {
 148                     let ty = self.cx.typeck_results().expr_ty_adjusted(e);
 149                     if is_copy(self.cx, ty) && !ty.is_ref() {
 150                         self.eagerness |= NoChange;
 151                     } else {
 152                         self.eagerness = Lazy;
 153                     }
 154                 },
 155
 156                 // Dereferences should be cheap, but dereferencing a raw pointer earlier may not be safe.
 157                 ExprKind::Unary(UnOp::Deref, e) if !self.cx.typeck_results().expr_ty(e).is_unsafe_ptr() => (),
 158                 ExprKind::Unary(UnOp::Deref, _) => self.eagerness |= NoChange,
 159
 160                 ExprKind::Unary(_, e)
 161                     if matches!(
 162                         self.cx.typeck_results().expr_ty(e).kind(),
 163                         ty::Bool | ty::Int(_) | ty::Uint(_),
 164                     ) => {},
 165                 ExprKind::Binary(_, lhs, rhs)
 166                     if self.cx.typeck_results().expr_ty(lhs).is_primitive()
 167                         && self.cx.typeck_results().expr_ty(rhs).is_primitive() => {},
 168
 169                 // Can't be moved into a closure
 170                 ExprKind::Break(..)
 171                 | ExprKind::Continue(_)
 172                 | ExprKind::Ret(_)
 173                 | ExprKind::InlineAsm(_)
 174                 | ExprKind::Yield(..)
 175                 | ExprKind::Err => {
 176                     self.eagerness = ForceNoChange;
 177                     return;
 178                 },
 179
 180                 // Memory allocation, custom operator, loop, or call to an unknown function
 181                 ExprKind::Box(_)
 182                 | ExprKind::Unary(..)
 183                 | ExprKind::Binary(..)
 184                 | ExprKind::Loop(..)
 185                 | ExprKind::Call(..) => self.eagerness = Lazy,
 186
 187                 ExprKind::ConstBlock(_)
 188                 | ExprKind::Array(_)
 189                 | ExprKind::Tup(_)
 190                 | ExprKind::Lit(_)
 191                 | ExprKind::Cast(..)
 192                 | ExprKind::Type(..)
 193                 | ExprKind::DropTemps(_)
 194                 | ExprKind::Let(..)
 195                 | ExprKind::If(..)
 196                 | ExprKind::Match(..)
 197                 | ExprKind::Closure { .. }
 198                 | ExprKind::Field(..)
 199                 | ExprKind::Path(_)
 200                 | ExprKind::AddrOf(..)
 201                 | ExprKind::Struct(..)
 202                 | ExprKind::Repeat(..)
 203                 | ExprKind::Block(Block { stmts: [], .. }, _) => (),
 204
 205                 // Assignment might be to a local defined earlier, so don't eagerly evaluate.
 206                 // Blocks with multiple statements might be expensive, so don't eagerly evaluate.
 207                 // TODO: Actually check if either of these are true here.
 208                 ExprKind::Assign(..) | ExprKind::AssignOp(..) | ExprKind::Block(..) => self.eagerness |= NoChange,
 209             }
 210             walk_expr(self, e);
 211         }
 212     }
 213
 214     let mut v = V {
 215         cx,
 216         eagerness: EagernessSuggestion::Eager,
 217     };
 218     v.visit_expr(e);
 219     v.eagerness
 220 }
 221
 222 /// Whether the given expression should be changed to evaluate eagerly
 223 pub fn switch_to_eager_eval<'tcx>(cx: &'_ LateContext<'tcx>, expr: &'tcx Expr<'_>) -> bool {
 224     expr_eagerness(cx, expr) == EagernessSuggestion::Eager
 225 }
 226
 227 /// Whether the given expression should be changed to evaluate lazily
 228 pub fn switch_to_lazy_eval<'tcx>(cx: &'_ LateContext<'tcx>, expr: &'tcx Expr<'_>) -> bool {
 229     expr_eagerness(cx, expr) == EagernessSuggestion::Lazy
 230 }