2021-03-12 14:30:50 +00:00
|
|
|
use super::NEEDLESS_COLLECT;
|
2021-06-03 06:41:37 +00:00
|
|
|
use clippy_utils::diagnostics::{span_lint_and_sugg, span_lint_hir_and_then};
|
2021-05-20 10:30:31 +00:00
|
|
|
use clippy_utils::source::{snippet, snippet_with_applicability};
|
2021-03-25 18:29:11 +00:00
|
|
|
use clippy_utils::sugg::Sugg;
|
2021-05-20 10:30:31 +00:00
|
|
|
use clippy_utils::ty::is_type_diagnostic_item;
|
|
|
|
use clippy_utils::{is_trait_method, path_to_local_id};
|
2021-03-12 14:30:50 +00:00
|
|
|
use if_chain::if_chain;
|
|
|
|
use rustc_errors::Applicability;
|
|
|
|
use rustc_hir::intravisit::{walk_block, walk_expr, NestedVisitorMap, Visitor};
|
2021-07-01 16:17:38 +00:00
|
|
|
use rustc_hir::{Block, Expr, ExprKind, HirId, PatKind, StmtKind};
|
2021-03-12 14:30:50 +00:00
|
|
|
use rustc_lint::LateContext;
|
|
|
|
use rustc_middle::hir::map::Map;
|
2021-07-01 16:17:38 +00:00
|
|
|
use rustc_span::sym;
|
2021-04-08 15:50:13 +00:00
|
|
|
use rustc_span::{MultiSpan, Span};
|
2021-03-12 14:30:50 +00:00
|
|
|
|
|
|
|
const NEEDLESS_COLLECT_MSG: &str = "avoid using `collect()` when not needed";
|
|
|
|
|
|
|
|
pub(super) fn check<'tcx>(expr: &'tcx Expr<'_>, cx: &LateContext<'tcx>) {
|
|
|
|
check_needless_collect_direct_usage(expr, cx);
|
|
|
|
check_needless_collect_indirect_usage(expr, cx);
|
|
|
|
}
|
|
|
|
fn check_needless_collect_direct_usage<'tcx>(expr: &'tcx Expr<'_>, cx: &LateContext<'tcx>) {
|
|
|
|
if_chain! {
|
2021-04-08 15:50:13 +00:00
|
|
|
if let ExprKind::MethodCall(method, _, args, _) = expr.kind;
|
|
|
|
if let ExprKind::MethodCall(chain_method, method0_span, _, _) = args[0].kind;
|
2021-03-25 18:29:11 +00:00
|
|
|
if chain_method.ident.name == sym!(collect) && is_trait_method(cx, &args[0], sym::Iterator);
|
2021-04-08 15:50:13 +00:00
|
|
|
then {
|
2021-07-01 16:17:38 +00:00
|
|
|
let ty = cx.typeck_results().expr_ty(&args[0]);
|
2021-05-20 10:30:31 +00:00
|
|
|
let mut applicability = Applicability::MachineApplicable;
|
|
|
|
let is_empty_sugg = "next().is_none()".to_string();
|
|
|
|
let method_name = &*method.ident.name.as_str();
|
|
|
|
let sugg = if is_type_diagnostic_item(cx, ty, sym::vec_type) ||
|
|
|
|
is_type_diagnostic_item(cx, ty, sym::vecdeque_type) ||
|
|
|
|
is_type_diagnostic_item(cx, ty, sym::LinkedList) ||
|
|
|
|
is_type_diagnostic_item(cx, ty, sym::BinaryHeap) {
|
|
|
|
match method_name {
|
|
|
|
"len" => "count()".to_string(),
|
|
|
|
"is_empty" => is_empty_sugg,
|
|
|
|
"contains" => {
|
|
|
|
let contains_arg = snippet_with_applicability(cx, args[1].span, "??", &mut applicability);
|
|
|
|
let (arg, pred) = contains_arg
|
|
|
|
.strip_prefix('&')
|
|
|
|
.map_or(("&x", &*contains_arg), |s| ("x", s));
|
|
|
|
format!("any(|{}| x == {})", arg, pred)
|
|
|
|
}
|
|
|
|
_ => return,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else if is_type_diagnostic_item(cx, ty, sym::BTreeMap) ||
|
|
|
|
is_type_diagnostic_item(cx, ty, sym::hashmap_type) {
|
|
|
|
match method_name {
|
|
|
|
"is_empty" => is_empty_sugg,
|
|
|
|
_ => return,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
return;
|
|
|
|
};
|
2021-04-08 15:50:13 +00:00
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
NEEDLESS_COLLECT,
|
|
|
|
method0_span.with_hi(expr.span.hi()),
|
|
|
|
NEEDLESS_COLLECT_MSG,
|
|
|
|
"replace with",
|
|
|
|
sugg,
|
2021-05-20 10:30:31 +00:00
|
|
|
applicability,
|
2021-04-08 15:50:13 +00:00
|
|
|
);
|
2021-03-12 14:30:50 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn check_needless_collect_indirect_usage<'tcx>(expr: &'tcx Expr<'_>, cx: &LateContext<'tcx>) {
|
2021-04-08 15:50:13 +00:00
|
|
|
if let ExprKind::Block(block, _) = expr.kind {
|
|
|
|
for stmt in block.stmts {
|
2021-03-12 14:30:50 +00:00
|
|
|
if_chain! {
|
2021-07-01 16:17:38 +00:00
|
|
|
if let StmtKind::Local(local) = stmt.kind;
|
|
|
|
if let PatKind::Binding(_, id, ..) = local.pat.kind;
|
|
|
|
if let Some(init_expr) = local.init;
|
2021-04-08 15:50:13 +00:00
|
|
|
if let ExprKind::MethodCall(method_name, collect_span, &[ref iter_source], ..) = init_expr.kind;
|
|
|
|
if method_name.ident.name == sym!(collect) && is_trait_method(cx, init_expr, sym::Iterator);
|
2021-07-01 16:17:38 +00:00
|
|
|
let ty = cx.typeck_results().expr_ty(init_expr);
|
2021-03-12 14:30:50 +00:00
|
|
|
if is_type_diagnostic_item(cx, ty, sym::vec_type) ||
|
|
|
|
is_type_diagnostic_item(cx, ty, sym::vecdeque_type) ||
|
2021-05-06 09:51:22 +00:00
|
|
|
is_type_diagnostic_item(cx, ty, sym::BinaryHeap) ||
|
2021-05-20 10:30:31 +00:00
|
|
|
is_type_diagnostic_item(cx, ty, sym::LinkedList);
|
2021-07-01 16:17:38 +00:00
|
|
|
if let Some(iter_calls) = detect_iter_and_into_iters(block, id);
|
2021-04-08 15:50:13 +00:00
|
|
|
if let [iter_call] = &*iter_calls;
|
2021-03-12 14:30:50 +00:00
|
|
|
then {
|
|
|
|
let mut used_count_visitor = UsedCountVisitor {
|
|
|
|
cx,
|
2021-07-01 16:17:38 +00:00
|
|
|
id,
|
2021-03-12 14:30:50 +00:00
|
|
|
count: 0,
|
|
|
|
};
|
|
|
|
walk_block(&mut used_count_visitor, block);
|
|
|
|
if used_count_visitor.count > 1 {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Suggest replacing iter_call with iter_replacement, and removing stmt
|
2021-04-08 15:50:13 +00:00
|
|
|
let mut span = MultiSpan::from_span(collect_span);
|
|
|
|
span.push_span_label(iter_call.span, "the iterator could be used here instead".into());
|
2021-06-03 06:41:37 +00:00
|
|
|
span_lint_hir_and_then(
|
2021-03-12 14:30:50 +00:00
|
|
|
cx,
|
|
|
|
super::NEEDLESS_COLLECT,
|
2021-06-03 06:41:37 +00:00
|
|
|
init_expr.hir_id,
|
2021-04-08 15:50:13 +00:00
|
|
|
span,
|
2021-03-12 14:30:50 +00:00
|
|
|
NEEDLESS_COLLECT_MSG,
|
|
|
|
|diag| {
|
|
|
|
let iter_replacement = format!("{}{}", Sugg::hir(cx, iter_source, ".."), iter_call.get_iter_method(cx));
|
|
|
|
diag.multipart_suggestion(
|
|
|
|
iter_call.get_suggestion_text(),
|
|
|
|
vec![
|
|
|
|
(stmt.span, String::new()),
|
|
|
|
(iter_call.span, iter_replacement)
|
|
|
|
],
|
|
|
|
Applicability::MachineApplicable,// MaybeIncorrect,
|
2021-04-08 15:50:13 +00:00
|
|
|
);
|
2021-03-12 14:30:50 +00:00
|
|
|
},
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct IterFunction {
|
|
|
|
func: IterFunctionKind,
|
|
|
|
span: Span,
|
|
|
|
}
|
|
|
|
impl IterFunction {
|
|
|
|
fn get_iter_method(&self, cx: &LateContext<'_>) -> String {
|
|
|
|
match &self.func {
|
|
|
|
IterFunctionKind::IntoIter => String::new(),
|
|
|
|
IterFunctionKind::Len => String::from(".count()"),
|
|
|
|
IterFunctionKind::IsEmpty => String::from(".next().is_none()"),
|
|
|
|
IterFunctionKind::Contains(span) => {
|
|
|
|
let s = snippet(cx, *span, "..");
|
|
|
|
if let Some(stripped) = s.strip_prefix('&') {
|
|
|
|
format!(".any(|x| x == {})", stripped)
|
|
|
|
} else {
|
|
|
|
format!(".any(|x| x == *{})", s)
|
|
|
|
}
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
fn get_suggestion_text(&self) -> &'static str {
|
|
|
|
match &self.func {
|
|
|
|
IterFunctionKind::IntoIter => {
|
|
|
|
"use the original Iterator instead of collecting it and then producing a new one"
|
|
|
|
},
|
|
|
|
IterFunctionKind::Len => {
|
|
|
|
"take the original Iterator's count instead of collecting it and finding the length"
|
|
|
|
},
|
|
|
|
IterFunctionKind::IsEmpty => {
|
|
|
|
"check if the original Iterator has anything instead of collecting it and seeing if it's empty"
|
|
|
|
},
|
|
|
|
IterFunctionKind::Contains(_) => {
|
|
|
|
"check if the original Iterator contains an element instead of collecting then checking"
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
enum IterFunctionKind {
|
|
|
|
IntoIter,
|
|
|
|
Len,
|
|
|
|
IsEmpty,
|
|
|
|
Contains(Span),
|
|
|
|
}
|
|
|
|
|
|
|
|
struct IterFunctionVisitor {
|
|
|
|
uses: Vec<IterFunction>,
|
|
|
|
seen_other: bool,
|
2021-07-01 16:17:38 +00:00
|
|
|
target: HirId,
|
2021-03-12 14:30:50 +00:00
|
|
|
}
|
|
|
|
impl<'tcx> Visitor<'tcx> for IterFunctionVisitor {
|
|
|
|
fn visit_expr(&mut self, expr: &'tcx Expr<'tcx>) {
|
|
|
|
// Check function calls on our collection
|
2021-07-01 16:17:38 +00:00
|
|
|
if let ExprKind::MethodCall(method_name, _, [recv, args @ ..], _) = &expr.kind {
|
|
|
|
if path_to_local_id(recv, self.target) {
|
|
|
|
match &*method_name.ident.name.as_str() {
|
|
|
|
"into_iter" => self.uses.push(IterFunction {
|
|
|
|
func: IterFunctionKind::IntoIter,
|
|
|
|
span: expr.span,
|
|
|
|
}),
|
|
|
|
"len" => self.uses.push(IterFunction {
|
|
|
|
func: IterFunctionKind::Len,
|
|
|
|
span: expr.span,
|
|
|
|
}),
|
|
|
|
"is_empty" => self.uses.push(IterFunction {
|
|
|
|
func: IterFunctionKind::IsEmpty,
|
|
|
|
span: expr.span,
|
|
|
|
}),
|
|
|
|
"contains" => self.uses.push(IterFunction {
|
|
|
|
func: IterFunctionKind::Contains(args[0].span),
|
|
|
|
span: expr.span,
|
|
|
|
}),
|
2021-03-12 14:30:50 +00:00
|
|
|
_ => self.seen_other = true,
|
|
|
|
}
|
2021-07-01 16:17:38 +00:00
|
|
|
return;
|
2021-03-12 14:30:50 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
// Check if the collection is used for anything else
|
2021-07-01 16:17:38 +00:00
|
|
|
if path_to_local_id(expr, self.target) {
|
|
|
|
self.seen_other = true;
|
|
|
|
} else {
|
|
|
|
walk_expr(self, expr);
|
2021-03-12 14:30:50 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
type Map = Map<'tcx>;
|
|
|
|
fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
|
|
|
|
NestedVisitorMap::None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct UsedCountVisitor<'a, 'tcx> {
|
|
|
|
cx: &'a LateContext<'tcx>,
|
|
|
|
id: HirId,
|
|
|
|
count: usize,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'tcx> Visitor<'tcx> for UsedCountVisitor<'a, 'tcx> {
|
|
|
|
type Map = Map<'tcx>;
|
|
|
|
|
|
|
|
fn visit_expr(&mut self, expr: &'tcx Expr<'_>) {
|
|
|
|
if path_to_local_id(expr, self.id) {
|
|
|
|
self.count += 1;
|
|
|
|
} else {
|
|
|
|
walk_expr(self, expr);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
|
|
|
|
NestedVisitorMap::OnlyBodies(self.cx.tcx.hir())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Detect the occurrences of calls to `iter` or `into_iter` for the
|
|
|
|
/// given identifier
|
2021-07-01 16:17:38 +00:00
|
|
|
fn detect_iter_and_into_iters<'tcx>(block: &'tcx Block<'tcx>, id: HirId) -> Option<Vec<IterFunction>> {
|
2021-03-12 14:30:50 +00:00
|
|
|
let mut visitor = IterFunctionVisitor {
|
|
|
|
uses: Vec::new(),
|
2021-07-01 16:17:38 +00:00
|
|
|
target: id,
|
2021-03-12 14:30:50 +00:00
|
|
|
seen_other: false,
|
|
|
|
};
|
|
|
|
visitor.visit_block(block);
|
|
|
|
if visitor.seen_other { None } else { Some(visitor.uses) }
|
|
|
|
}
|