| use super::PTR_ARG; | |
| use clippy_utils::diagnostics::span_lint_hir_and_then; | |
| use clippy_utils::res::MaybeResPath; | |
| use clippy_utils::source::SpanRangeExt; | |
| use clippy_utils::{VEC_METHODS_SHADOWING_SLICE_METHODS, get_expr_use_or_unification_node, is_lint_allowed, sym}; | |
| use hir::LifetimeKind; | |
| use rustc_abi::ExternAbi; | |
| use rustc_errors::Applicability; | |
| use rustc_hir::hir_id::{HirId, HirIdMap}; | |
| use rustc_hir::intravisit::{Visitor, walk_expr}; | |
| use rustc_hir::{ | |
| self as hir, AnonConst, BindingMode, Body, Expr, ExprKind, FnSig, GenericArg, Lifetime, Mutability, Node, OwnerId, | |
| Param, PatKind, QPath, TyKind, | |
| }; | |
| use rustc_infer::infer::TyCtxtInferExt; | |
| use rustc_infer::traits::{Obligation, ObligationCause}; | |
| use rustc_lint::LateContext; | |
| use rustc_middle::hir::nested_filter; | |
| use rustc_middle::ty::{self, Binder, ClauseKind, ExistentialPredicate, List, PredicateKind, Ty}; | |
| use rustc_span::Span; | |
| use rustc_span::symbol::Symbol; | |
| use rustc_trait_selection::infer::InferCtxtExt as _; | |
| use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt as _; | |
| use std::{fmt, iter}; | |
| pub(super) fn check_body<'tcx>( | |
| cx: &LateContext<'tcx>, | |
| body: &Body<'tcx>, | |
| item_id: OwnerId, | |
| sig: &FnSig<'tcx>, | |
| is_trait_item: bool, | |
| ) { | |
| if !matches!(sig.header.abi, ExternAbi::Rust) { | |
| // Ignore `extern` functions with non-Rust calling conventions | |
| return; | |
| } | |
| let decl = sig.decl; | |
| let sig = cx.tcx.fn_sig(item_id).instantiate_identity().skip_binder(); | |
| let lint_args: Vec<_> = check_fn_args(cx, sig, decl.inputs, body.params) | |
| .filter(|arg| !is_trait_item || arg.mutability() == Mutability::Not) | |
| .collect(); | |
| let results = check_ptr_arg_usage(cx, body, &lint_args); | |
| for (result, args) in iter::zip(&results, &lint_args).filter(|(r, _)| !r.skip) { | |
| span_lint_hir_and_then(cx, PTR_ARG, args.emission_id, args.span, args.build_msg(), |diag| { | |
| diag.multipart_suggestion( | |
| "change this to", | |
| iter::once((args.span, format!("{}{}", args.ref_prefix, args.deref_ty.display(cx)))) | |
| .chain(result.replacements.iter().map(|r| { | |
| ( | |
| r.expr_span, | |
| format!("{}{}", r.self_span.get_source_text(cx).unwrap(), r.replacement), | |
| ) | |
| })) | |
| .collect(), | |
| Applicability::Unspecified, | |
| ); | |
| }); | |
| } | |
| } | |
| pub(super) fn check_trait_item<'tcx>(cx: &LateContext<'tcx>, item_id: OwnerId, sig: &FnSig<'tcx>) { | |
| if !matches!(sig.header.abi, ExternAbi::Rust) { | |
| // Ignore `extern` functions with non-Rust calling conventions | |
| return; | |
| } | |
| for arg in check_fn_args( | |
| cx, | |
| cx.tcx.fn_sig(item_id).instantiate_identity().skip_binder(), | |
| sig.decl.inputs, | |
| &[], | |
| ) | |
| .filter(|arg| arg.mutability() == Mutability::Not) | |
| { | |
| span_lint_hir_and_then(cx, PTR_ARG, arg.emission_id, arg.span, arg.build_msg(), |diag| { | |
| diag.span_suggestion( | |
| arg.span, | |
| "change this to", | |
| format!("{}{}", arg.ref_prefix, arg.deref_ty.display(cx)), | |
| Applicability::Unspecified, | |
| ); | |
| }); | |
| } | |
| } | |
| #[derive(Default)] | |
| struct PtrArgResult { | |
| skip: bool, | |
| replacements: Vec<PtrArgReplacement>, | |
| } | |
| struct PtrArgReplacement { | |
| expr_span: Span, | |
| self_span: Span, | |
| replacement: &'static str, | |
| } | |
| struct PtrArg<'tcx> { | |
| idx: usize, | |
| emission_id: HirId, | |
| span: Span, | |
| ty_name: Symbol, | |
| method_renames: &'static [(Symbol, &'static str)], | |
| ref_prefix: RefPrefix, | |
| deref_ty: DerefTy<'tcx>, | |
| } | |
| impl PtrArg<'_> { | |
| fn build_msg(&self) -> String { | |
| format!( | |
| "writing `&{}{}` instead of `&{}{}` involves a new object where a slice will do", | |
| self.ref_prefix.mutability.prefix_str(), | |
| self.ty_name, | |
| self.ref_prefix.mutability.prefix_str(), | |
| self.deref_ty.argless_str(), | |
| ) | |
| } | |
| fn mutability(&self) -> Mutability { | |
| self.ref_prefix.mutability | |
| } | |
| } | |
| struct RefPrefix { | |
| lt: Lifetime, | |
| mutability: Mutability, | |
| } | |
| impl fmt::Display for RefPrefix { | |
| fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { | |
| use fmt::Write; | |
| f.write_char('&')?; | |
| if !self.lt.is_anonymous() { | |
| self.lt.ident.fmt(f)?; | |
| f.write_char(' ')?; | |
| } | |
| f.write_str(self.mutability.prefix_str()) | |
| } | |
| } | |
| struct DerefTyDisplay<'a, 'tcx>(&'a LateContext<'tcx>, &'a DerefTy<'tcx>); | |
| impl fmt::Display for DerefTyDisplay<'_, '_> { | |
| fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { | |
| use std::fmt::Write; | |
| match self.1 { | |
| DerefTy::Str => f.write_str("str"), | |
| DerefTy::Path => f.write_str("Path"), | |
| DerefTy::Slice(hir_ty, ty) => { | |
| f.write_char('[')?; | |
| match hir_ty.and_then(|s| s.get_source_text(self.0)) { | |
| Some(s) => f.write_str(&s)?, | |
| None => ty.fmt(f)?, | |
| } | |
| f.write_char(']') | |
| }, | |
| } | |
| } | |
| } | |
| enum DerefTy<'tcx> { | |
| Str, | |
| Path, | |
| Slice(Option<Span>, Ty<'tcx>), | |
| } | |
| impl<'tcx> DerefTy<'tcx> { | |
| fn ty(&self, cx: &LateContext<'tcx>) -> Ty<'tcx> { | |
| match *self { | |
| Self::Str => cx.tcx.types.str_, | |
| Self::Path => Ty::new_adt( | |
| cx.tcx, | |
| cx.tcx.adt_def(cx.tcx.get_diagnostic_item(sym::Path).unwrap()), | |
| List::empty(), | |
| ), | |
| Self::Slice(_, ty) => Ty::new_slice(cx.tcx, ty), | |
| } | |
| } | |
| fn argless_str(&self) -> &'static str { | |
| match *self { | |
| Self::Str => "str", | |
| Self::Path => "Path", | |
| Self::Slice(..) => "[_]", | |
| } | |
| } | |
| fn display<'a>(&'a self, cx: &'a LateContext<'tcx>) -> DerefTyDisplay<'a, 'tcx> { | |
| DerefTyDisplay(cx, self) | |
| } | |
| } | |
| fn check_fn_args<'cx, 'tcx: 'cx>( | |
| cx: &'cx LateContext<'tcx>, | |
| fn_sig: ty::FnSig<'tcx>, | |
| hir_tys: &'tcx [hir::Ty<'tcx>], | |
| params: &'tcx [Param<'tcx>], | |
| ) -> impl Iterator<Item = PtrArg<'tcx>> + 'cx { | |
| iter::zip(fn_sig.inputs(), hir_tys) | |
| .enumerate() | |
| .filter_map(move |(i, (ty, hir_ty))| { | |
| if let ty::Ref(_, ty, mutability) = *ty.kind() | |
| && let ty::Adt(adt, args) = *ty.kind() | |
| && let TyKind::Ref(lt, ref ty) = hir_ty.kind | |
| && let TyKind::Path(QPath::Resolved(None, path)) = ty.ty.kind | |
| // Check that the name as typed matches the actual name of the type. | |
| // e.g. `fn foo(_: &Foo)` shouldn't trigger the lint when `Foo` is an alias for `Vec` | |
| && let [.., name] = path.segments | |
| && cx.tcx.item_name(adt.did()) == name.ident.name | |
| { | |
| let emission_id = params.get(i).map_or(hir_ty.hir_id, |param| param.hir_id); | |
| let (method_renames, deref_ty) = match cx.tcx.get_diagnostic_name(adt.did()) { | |
| Some(sym::Vec) => ( | |
| [(sym::clone, ".to_owned()")].as_slice(), | |
| DerefTy::Slice( | |
| if let Some(name_args) = name.args | |
| && let [GenericArg::Type(ty), ..] = name_args.args | |
| { | |
| Some(ty.span) | |
| } else { | |
| None | |
| }, | |
| args.type_at(0), | |
| ), | |
| ), | |
| _ if Some(adt.did()) == cx.tcx.lang_items().string() => ( | |
| [(sym::clone, ".to_owned()"), (sym::as_str, "")].as_slice(), | |
| DerefTy::Str, | |
| ), | |
| Some(sym::PathBuf) => ( | |
| [(sym::clone, ".to_path_buf()"), (sym::as_path, "")].as_slice(), | |
| DerefTy::Path, | |
| ), | |
| Some(sym::Cow) if mutability == Mutability::Not => { | |
| if let Some(name_args) = name.args | |
| && let [GenericArg::Lifetime(lifetime), ty] = name_args.args | |
| { | |
| if let LifetimeKind::Param(param_def_id) = lifetime.kind | |
| && !lifetime.is_anonymous() | |
| && fn_sig | |
| .output() | |
| .walk() | |
| .filter_map(ty::GenericArg::as_region) | |
| .filter_map(|lifetime| match lifetime.kind() { | |
| ty::ReEarlyParam(r) => Some( | |
| cx.tcx | |
| .generics_of(cx.tcx.parent(param_def_id.to_def_id())) | |
| .region_param(r, cx.tcx) | |
| .def_id, | |
| ), | |
| ty::ReBound(_, r) => r.kind.get_id(), | |
| ty::ReLateParam(r) => r.kind.get_id(), | |
| ty::ReStatic | |
| | ty::ReVar(_) | |
| | ty::RePlaceholder(_) | |
| | ty::ReErased | |
| | ty::ReError(_) => None, | |
| }) | |
| .any(|def_id| def_id.as_local().is_some_and(|def_id| def_id == param_def_id)) | |
| { | |
| // `&Cow<'a, T>` when the return type uses 'a is okay | |
| return None; | |
| } | |
| span_lint_hir_and_then( | |
| cx, | |
| PTR_ARG, | |
| emission_id, | |
| hir_ty.span, | |
| "using a reference to `Cow` is not recommended", | |
| |diag| { | |
| diag.span_suggestion( | |
| hir_ty.span, | |
| "change this to", | |
| match ty.span().get_source_text(cx) { | |
| Some(s) => format!("&{}{s}", mutability.prefix_str()), | |
| None => format!("&{}{}", mutability.prefix_str(), args.type_at(1)), | |
| }, | |
| Applicability::Unspecified, | |
| ); | |
| }, | |
| ); | |
| } | |
| return None; | |
| }, | |
| _ => return None, | |
| }; | |
| return Some(PtrArg { | |
| idx: i, | |
| emission_id, | |
| span: hir_ty.span, | |
| ty_name: name.ident.name, | |
| method_renames, | |
| ref_prefix: RefPrefix { lt: *lt, mutability }, | |
| deref_ty, | |
| }); | |
| } | |
| None | |
| }) | |
| } | |
| #[expect(clippy::too_many_lines)] | |
| fn check_ptr_arg_usage<'tcx>(cx: &LateContext<'tcx>, body: &Body<'tcx>, args: &[PtrArg<'tcx>]) -> Vec<PtrArgResult> { | |
| struct V<'cx, 'tcx> { | |
| cx: &'cx LateContext<'tcx>, | |
| /// Map from a local id to which argument it came from (index into `Self::args` and | |
| /// `Self::results`) | |
| bindings: HirIdMap<usize>, | |
| /// The arguments being checked. | |
| args: &'cx [PtrArg<'tcx>], | |
| /// The results for each argument (len should match args.len) | |
| results: Vec<PtrArgResult>, | |
| /// The number of arguments which can't be linted. Used to return early. | |
| skip_count: usize, | |
| } | |
| impl<'tcx> Visitor<'tcx> for V<'_, 'tcx> { | |
| type NestedFilter = nested_filter::OnlyBodies; | |
| fn maybe_tcx(&mut self) -> Self::MaybeTyCtxt { | |
| self.cx.tcx | |
| } | |
| fn visit_anon_const(&mut self, _: &'tcx AnonConst) {} | |
| fn visit_expr(&mut self, e: &'tcx Expr<'_>) { | |
| if self.skip_count == self.args.len() { | |
| return; | |
| } | |
| // Check if this is local we care about | |
| let Some(&args_idx) = e.res_local_id().and_then(|id| self.bindings.get(&id)) else { | |
| return walk_expr(self, e); | |
| }; | |
| let args = &self.args[args_idx]; | |
| let result = &mut self.results[args_idx]; | |
| // Helper function to handle early returns. | |
| let mut set_skip_flag = || { | |
| if !result.skip { | |
| self.skip_count += 1; | |
| } | |
| result.skip = true; | |
| }; | |
| match get_expr_use_or_unification_node(self.cx.tcx, e) { | |
| Some((Node::Stmt(_), _)) => (), | |
| Some((Node::LetStmt(l), _)) => { | |
| // Only trace simple bindings. e.g `let x = y;` | |
| if let PatKind::Binding(BindingMode::NONE, id, ident, None) = l.pat.kind | |
| // Let's not lint for the current parameter. The user may still intend to mutate | |
| // (or, if not mutate, then perhaps call a method that's not otherwise available | |
| // for) the referenced value behind the parameter through this local let binding | |
| // with the underscore being only temporary. | |
| && !ident.name.as_str().starts_with('_') | |
| { | |
| self.bindings.insert(id, args_idx); | |
| } else { | |
| set_skip_flag(); | |
| } | |
| }, | |
| Some((Node::Expr(use_expr), child_id)) => { | |
| if let ExprKind::Index(e, ..) = use_expr.kind | |
| && e.hir_id == child_id | |
| { | |
| // Indexing works with both owned and its dereferenced type | |
| return; | |
| } | |
| if let ExprKind::MethodCall(name, receiver, ..) = use_expr.kind | |
| && receiver.hir_id == child_id | |
| { | |
| let name = name.ident.name; | |
| // Check if the method can be renamed. | |
| if let Some((_, replacement)) = args.method_renames.iter().find(|&&(x, _)| x == name) { | |
| result.replacements.push(PtrArgReplacement { | |
| expr_span: use_expr.span, | |
| self_span: receiver.span, | |
| replacement, | |
| }); | |
| return; | |
| } | |
| // Some methods exist on both `[T]` and `Vec<T>`, such as `len`, where the receiver type | |
| // doesn't coerce to a slice and our adjusted type check below isn't enough, | |
| // but it would still be valid to call with a slice | |
| if VEC_METHODS_SHADOWING_SLICE_METHODS.contains(&name) { | |
| return; | |
| } | |
| } | |
| // If the expression's type gets adjusted down to the deref type, we might as | |
| // well have started with that deref type -- the lint should fire | |
| let deref_ty = args.deref_ty.ty(self.cx); | |
| let adjusted_ty = self.cx.typeck_results().expr_ty_adjusted(e).peel_refs(); | |
| if adjusted_ty == deref_ty { | |
| return; | |
| } | |
| // If the expression's type is constrained by `dyn Trait`, see if the deref | |
| // type implements the trait(s) as well, and if so, the lint should fire | |
| if let ty::Dynamic(preds, ..) = adjusted_ty.kind() | |
| && matches_preds(self.cx, deref_ty, preds) | |
| { | |
| return; | |
| } | |
| set_skip_flag(); | |
| }, | |
| _ => set_skip_flag(), | |
| } | |
| } | |
| } | |
| let mut skip_count = 0; | |
| let mut results = args.iter().map(|_| PtrArgResult::default()).collect::<Vec<_>>(); | |
| let mut v = V { | |
| cx, | |
| bindings: args | |
| .iter() | |
| .enumerate() | |
| .filter_map(|(i, arg)| { | |
| let param = &body.params[arg.idx]; | |
| match param.pat.kind { | |
| PatKind::Binding(BindingMode::NONE, id, ident, None) | |
| if !is_lint_allowed(cx, PTR_ARG, param.hir_id) | |
| // Let's not lint for the current parameter. The user may still intend to mutate | |
| // (or, if not mutate, then perhaps call a method that's not otherwise available | |
| // for) the referenced value behind the parameter with the underscore being only | |
| // temporary. | |
| && !ident.name.as_str().starts_with('_') => | |
| { | |
| Some((id, i)) | |
| }, | |
| _ => { | |
| skip_count += 1; | |
| results[i].skip = true; | |
| None | |
| }, | |
| } | |
| }) | |
| .collect(), | |
| args, | |
| results, | |
| skip_count, | |
| }; | |
| v.visit_expr(body.value); | |
| v.results | |
| } | |
| fn matches_preds<'tcx>( | |
| cx: &LateContext<'tcx>, | |
| ty: Ty<'tcx>, | |
| preds: &'tcx [ty::PolyExistentialPredicate<'tcx>], | |
| ) -> bool { | |
| let infcx = cx.tcx.infer_ctxt().build(cx.typing_mode()); | |
| preds | |
| .iter() | |
| .all(|&p| match cx.tcx.instantiate_bound_regions_with_erased(p) { | |
| ExistentialPredicate::Trait(p) => infcx | |
| .type_implements_trait(p.def_id, [ty.into()].into_iter().chain(p.args.iter()), cx.param_env) | |
| .must_apply_modulo_regions(), | |
| ExistentialPredicate::Projection(p) => infcx.predicate_must_hold_modulo_regions(&Obligation::new( | |
| cx.tcx, | |
| ObligationCause::dummy(), | |
| cx.param_env, | |
| cx.tcx | |
| .mk_predicate(Binder::dummy(PredicateKind::Clause(ClauseKind::Projection( | |
| p.with_self_ty(cx.tcx, ty), | |
| )))), | |
| )), | |
| ExistentialPredicate::AutoTrait(p) => infcx | |
| .type_implements_trait(p, [ty], cx.param_env) | |
| .must_apply_modulo_regions(), | |
| }) | |
| } |