introduce rc_clone_in_vec_init lint
This commit is contained in:
parent
0509a96290
commit
feb6d8cf30
10 changed files with 255 additions and 0 deletions
|
|
@ -263,6 +263,7 @@ store.register_group(true, "clippy::all", Some("clippy_all"), vec![
|
|||
LintId::of(ranges::MANUAL_RANGE_CONTAINS),
|
||||
LintId::of(ranges::RANGE_ZIP_WITH_LEN),
|
||||
LintId::of(ranges::REVERSED_EMPTY_RANGES),
|
||||
LintId::of(rc_clone_in_vec_init::RC_CLONE_IN_VEC_INIT),
|
||||
LintId::of(redundant_clone::REDUNDANT_CLONE),
|
||||
LintId::of(redundant_closure_call::REDUNDANT_CLOSURE_CALL),
|
||||
LintId::of(redundant_field_names::REDUNDANT_FIELD_NAMES),
|
||||
|
|
|
|||
|
|
@ -446,6 +446,7 @@ store.register_lints(&[
|
|||
ranges::RANGE_PLUS_ONE,
|
||||
ranges::RANGE_ZIP_WITH_LEN,
|
||||
ranges::REVERSED_EMPTY_RANGES,
|
||||
rc_clone_in_vec_init::RC_CLONE_IN_VEC_INIT,
|
||||
redundant_clone::REDUNDANT_CLONE,
|
||||
redundant_closure_call::REDUNDANT_CLOSURE_CALL,
|
||||
redundant_else::REDUNDANT_ELSE,
|
||||
|
|
|
|||
|
|
@ -26,6 +26,7 @@ store.register_group(true, "clippy::suspicious", Some("clippy_suspicious"), vec!
|
|||
LintId::of(methods::SUSPICIOUS_MAP),
|
||||
LintId::of(mut_key::MUTABLE_KEY_TYPE),
|
||||
LintId::of(octal_escapes::OCTAL_ESCAPES),
|
||||
LintId::of(rc_clone_in_vec_init::RC_CLONE_IN_VEC_INIT),
|
||||
LintId::of(suspicious_trait_impl::SUSPICIOUS_ARITHMETIC_IMPL),
|
||||
LintId::of(suspicious_trait_impl::SUSPICIOUS_OP_ASSIGN_IMPL),
|
||||
])
|
||||
|
|
|
|||
|
|
@ -345,6 +345,7 @@ mod ptr_offset_with_cast;
|
|||
mod pub_use;
|
||||
mod question_mark;
|
||||
mod ranges;
|
||||
mod rc_clone_in_vec_init;
|
||||
mod redundant_clone;
|
||||
mod redundant_closure_call;
|
||||
mod redundant_else;
|
||||
|
|
@ -890,6 +891,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
|
|||
let max_include_file_size = conf.max_include_file_size;
|
||||
store.register_late_pass(move || Box::new(large_include_file::LargeIncludeFile::new(max_include_file_size)));
|
||||
store.register_late_pass(|| Box::new(strings::TrimSplitWhitespace));
|
||||
store.register_late_pass(|| Box::new(rc_clone_in_vec_init::RcCloneInVecInit));
|
||||
// add lints here, do not remove this comment, it's used in `new_lint`
|
||||
}
|
||||
|
||||
|
|
|
|||
90
clippy_lints/src/rc_clone_in_vec_init.rs
Normal file
90
clippy_lints/src/rc_clone_in_vec_init.rs
Normal file
|
|
@ -0,0 +1,90 @@
|
|||
use clippy_utils::diagnostics::span_lint_and_then;
|
||||
use clippy_utils::higher::VecArgs;
|
||||
use clippy_utils::last_path_segment;
|
||||
use clippy_utils::macros::{root_macro_call_first_node, MacroCall};
|
||||
use rustc_hir::{Expr, ExprKind, QPath, TyKind};
|
||||
use rustc_lint::{LateContext, LateLintPass};
|
||||
use rustc_session::{declare_lint_pass, declare_tool_lint};
|
||||
use rustc_span::{sym, Symbol};
|
||||
|
||||
declare_clippy_lint! {
|
||||
/// ### What it does
|
||||
/// Checks for `Arc::new` or `Rc::new` in `vec![elem; len]`
|
||||
///
|
||||
/// ### Why is this bad?
|
||||
/// This will create `elem` once and clone it `len` times - doing so with `Arc` or `Rc`
|
||||
/// is a bit misleading, as it will create references to the same pointer, rather
|
||||
/// than different instances.
|
||||
///
|
||||
/// ### Example
|
||||
/// ```rust
|
||||
/// let v = vec![std::sync::Arc::new("some data".to_string()); 100];
|
||||
/// // or
|
||||
/// let v = vec![std::rc::Rc::new("some data".to_string()); 100];
|
||||
/// ```
|
||||
/// Use instead:
|
||||
/// ```rust
|
||||
///
|
||||
/// // Initialize each value separately:
|
||||
/// let mut data = Vec::with_capacity(100);
|
||||
/// for _ in 0..100 {
|
||||
/// data.push(std::rc::Rc::new("some data".to_string()));
|
||||
/// }
|
||||
///
|
||||
/// // Or if you want clones of the same reference,
|
||||
/// // Create the reference beforehand to clarify that
|
||||
/// // it should be cloned for each value
|
||||
/// let data = std::rc::Rc::new("some data".to_string());
|
||||
/// let v = vec![data; 100];
|
||||
/// ```
|
||||
#[clippy::version = "1.62.0"]
|
||||
pub RC_CLONE_IN_VEC_INIT,
|
||||
suspicious,
|
||||
"initializing `Arc` or `Rc` in `vec![elem; len]`"
|
||||
}
|
||||
declare_lint_pass!(RcCloneInVecInit => [RC_CLONE_IN_VEC_INIT]);
|
||||
|
||||
impl LateLintPass<'_> for RcCloneInVecInit {
|
||||
fn check_expr(&mut self, cx: &LateContext<'_>, expr: &Expr<'_>) {
|
||||
let Some(macro_call) = root_macro_call_first_node(cx, expr) else { return; };
|
||||
let Some(VecArgs::Repeat(elem, _)) = VecArgs::hir(cx, expr) else { return; };
|
||||
let Some(symbol) = new_reference_call(cx, elem) else { return; };
|
||||
|
||||
emit_lint(cx, symbol, ¯o_call);
|
||||
}
|
||||
}
|
||||
|
||||
fn emit_lint(cx: &LateContext<'_>, symbol: Symbol, macro_call: &MacroCall) {
|
||||
let symbol_name = symbol.as_str();
|
||||
|
||||
span_lint_and_then(
|
||||
cx,
|
||||
RC_CLONE_IN_VEC_INIT,
|
||||
macro_call.span,
|
||||
&format!("calling `{symbol_name}::new` in `vec![elem; len]`"),
|
||||
|diag| {
|
||||
diag.note(format!("each element will point to the same `{symbol_name}` instance"));
|
||||
diag.help(format!(
|
||||
"if this is intentional, consider extracting the `{symbol_name}` initialization to a variable"
|
||||
));
|
||||
diag.help("or if not, initialize each element individually");
|
||||
},
|
||||
);
|
||||
}
|
||||
|
||||
/// Checks whether the given `expr` is a call to `Arc::new` or `Rc::new`
|
||||
fn new_reference_call(cx: &LateContext<'_>, expr: &Expr<'_>) -> Option<Symbol> {
|
||||
if_chain! {
|
||||
if let ExprKind::Call(func, _args) = expr.kind;
|
||||
if let ExprKind::Path(ref func_path @ QPath::TypeRelative(ty, _)) = func.kind;
|
||||
if let TyKind::Path(ref ty_path) = ty.kind;
|
||||
if let Some(def_id) = cx.qpath_res(ty_path, ty.hir_id).opt_def_id();
|
||||
if last_path_segment(func_path).ident.name == sym::new;
|
||||
|
||||
then {
|
||||
return cx.tcx.get_diagnostic_name(def_id).filter(|symbol| symbol == &sym::Arc || symbol == &sym::Rc);
|
||||
}
|
||||
}
|
||||
|
||||
None
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue