2015-08-11 18:53:50 +00:00
|
|
|
use syntax::ast::*;
|
2015-08-16 06:54:43 +00:00
|
|
|
use rustc::lint::*;
|
2015-08-11 18:53:50 +00:00
|
|
|
use rustc::middle::ty;
|
2015-08-25 16:38:08 +00:00
|
|
|
use std::iter;
|
|
|
|
use std::borrow::Cow;
|
2015-08-11 18:53:50 +00:00
|
|
|
|
2015-08-27 05:39:40 +00:00
|
|
|
use utils::{snippet, span_lint, match_path, match_type, walk_ptrs_ty_depth};
|
2015-08-21 16:48:36 +00:00
|
|
|
use utils::{OPTION_PATH, RESULT_PATH, STRING_PATH};
|
2015-08-11 18:53:50 +00:00
|
|
|
|
2015-08-24 16:13:02 +00:00
|
|
|
use self::SelfKind::*;
|
|
|
|
use self::OutType::*;
|
|
|
|
|
2015-08-11 18:53:50 +00:00
|
|
|
#[derive(Copy,Clone)]
|
|
|
|
pub struct MethodsPass;
|
|
|
|
|
2015-08-14 05:17:10 +00:00
|
|
|
declare_lint!(pub OPTION_UNWRAP_USED, Allow,
|
2015-08-13 08:32:35 +00:00
|
|
|
"using `Option.unwrap()`, which should at least get a better message using `expect()`");
|
2015-08-11 18:53:50 +00:00
|
|
|
declare_lint!(pub RESULT_UNWRAP_USED, Allow,
|
2015-08-13 08:32:35 +00:00
|
|
|
"using `Result.unwrap()`, which might be better handled");
|
2015-08-12 11:58:55 +00:00
|
|
|
declare_lint!(pub STR_TO_STRING, Warn,
|
2015-08-13 08:32:35 +00:00
|
|
|
"using `to_string()` on a str, which should be `to_owned()`");
|
2015-08-12 15:02:49 +00:00
|
|
|
declare_lint!(pub STRING_TO_STRING, Warn,
|
2015-08-13 08:32:35 +00:00
|
|
|
"calling `String.to_string()` which is a no-op");
|
2015-08-24 16:13:02 +00:00
|
|
|
declare_lint!(pub SHOULD_IMPLEMENT_TRAIT, Warn,
|
|
|
|
"defining a method that should be implementing a std trait");
|
2015-09-01 16:52:48 +00:00
|
|
|
declare_lint!(pub WRONG_SELF_CONVENTION, Warn,
|
|
|
|
"defining a method named with an established prefix (like \"into_\") that takes \
|
|
|
|
`self` with the wrong convention");
|
2015-08-11 18:53:50 +00:00
|
|
|
|
|
|
|
impl LintPass for MethodsPass {
|
|
|
|
fn get_lints(&self) -> LintArray {
|
2015-08-24 16:13:02 +00:00
|
|
|
lint_array!(OPTION_UNWRAP_USED, RESULT_UNWRAP_USED, STR_TO_STRING, STRING_TO_STRING,
|
2015-09-01 16:52:48 +00:00
|
|
|
SHOULD_IMPLEMENT_TRAIT, WRONG_SELF_CONVENTION)
|
2015-08-11 18:53:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn check_expr(&mut self, cx: &Context, expr: &Expr) {
|
|
|
|
if let ExprMethodCall(ref ident, _, ref args) = expr.node {
|
2015-08-25 16:38:08 +00:00
|
|
|
let (obj_ty, ptr_depth) = walk_ptrs_ty_depth(cx.tcx.expr_ty(&args[0]));
|
2015-08-11 18:53:50 +00:00
|
|
|
if ident.node.name == "unwrap" {
|
2015-08-21 17:00:33 +00:00
|
|
|
if match_type(cx, obj_ty, &OPTION_PATH) {
|
|
|
|
span_lint(cx, OPTION_UNWRAP_USED, expr.span,
|
|
|
|
"used unwrap() on an Option value. If you don't want \
|
|
|
|
to handle the None case gracefully, consider using \
|
|
|
|
expect() to provide a better panic message");
|
|
|
|
} else if match_type(cx, obj_ty, &RESULT_PATH) {
|
|
|
|
span_lint(cx, RESULT_UNWRAP_USED, expr.span,
|
|
|
|
"used unwrap() on a Result value. Graceful handling \
|
|
|
|
of Err values is preferred");
|
2015-08-11 18:53:50 +00:00
|
|
|
}
|
|
|
|
}
|
2015-08-12 11:58:55 +00:00
|
|
|
else if ident.node.name == "to_string" {
|
2015-08-21 17:00:33 +00:00
|
|
|
if obj_ty.sty == ty::TyStr {
|
2015-08-25 16:38:08 +00:00
|
|
|
let mut arg_str = snippet(cx, args[0].span, "_");
|
|
|
|
if ptr_depth > 1 {
|
|
|
|
arg_str = Cow::Owned(format!(
|
|
|
|
"({}{})",
|
|
|
|
iter::repeat('*').take(ptr_depth - 1).collect::<String>(),
|
|
|
|
arg_str));
|
|
|
|
}
|
|
|
|
span_lint(cx, STR_TO_STRING, expr.span, &format!(
|
|
|
|
"`{}.to_owned()` is faster", arg_str));
|
2015-08-21 17:00:33 +00:00
|
|
|
} else if match_type(cx, obj_ty, &STRING_PATH) {
|
2015-08-25 10:45:52 +00:00
|
|
|
span_lint(cx, STRING_TO_STRING, expr.span, "`String.to_string()` is a no-op; use \
|
|
|
|
`clone()` to make a copy");
|
2015-08-12 15:02:49 +00:00
|
|
|
}
|
2015-08-12 11:58:55 +00:00
|
|
|
}
|
2015-08-11 18:53:50 +00:00
|
|
|
}
|
|
|
|
}
|
2015-08-24 16:13:02 +00:00
|
|
|
|
|
|
|
fn check_item(&mut self, cx: &Context, item: &Item) {
|
|
|
|
if let ItemImpl(_, _, _, None, _, ref items) = item.node {
|
|
|
|
for item in items {
|
|
|
|
let name = item.ident.name;
|
2015-09-01 16:52:48 +00:00
|
|
|
if let MethodImplItem(ref sig, _) = item.node {
|
|
|
|
// check missing trait implementations
|
|
|
|
for &(method_name, n_args, self_kind, out_type, trait_name) in &TRAIT_METHODS {
|
|
|
|
if_let_chain! {
|
|
|
|
[
|
|
|
|
name == method_name,
|
|
|
|
sig.decl.inputs.len() == n_args,
|
|
|
|
out_type.matches(&sig.decl.output),
|
|
|
|
self_kind.matches(&sig.explicit_self.node)
|
|
|
|
], {
|
|
|
|
span_lint(cx, SHOULD_IMPLEMENT_TRAIT, item.span, &format!(
|
|
|
|
"defining a method called `{}` on this type; consider implementing \
|
|
|
|
the `{}` trait or choosing a less ambiguous name", name, trait_name));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// check conventions w.r.t. conversion method names and predicates
|
|
|
|
for &(prefix, self_kind) in &CONVENTIONS {
|
|
|
|
if name.as_str().starts_with(prefix) && !self_kind.matches(&sig.explicit_self.node) {
|
|
|
|
span_lint(cx, WRONG_SELF_CONVENTION, sig.explicit_self.span, &format!(
|
|
|
|
"methods called `{}*` usually take {}; consider choosing a less \
|
|
|
|
ambiguous name", prefix, self_kind.description()));
|
2015-08-24 16:13:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-01 16:52:48 +00:00
|
|
|
const CONVENTIONS: [(&'static str, SelfKind); 5] = [
|
|
|
|
("into_", ValueSelf),
|
|
|
|
("to_", RefSelf),
|
|
|
|
("as_", RefSelf),
|
|
|
|
("is_", RefSelf),
|
|
|
|
("from_", NoSelf),
|
|
|
|
];
|
|
|
|
|
2015-08-24 16:13:02 +00:00
|
|
|
const TRAIT_METHODS: [(&'static str, usize, SelfKind, OutType, &'static str); 30] = [
|
|
|
|
("add", 2, ValueSelf, AnyType, "std::ops::Add`"),
|
|
|
|
("sub", 2, ValueSelf, AnyType, "std::ops::Sub"),
|
|
|
|
("mul", 2, ValueSelf, AnyType, "std::ops::Mul"),
|
|
|
|
("div", 2, ValueSelf, AnyType, "std::ops::Div"),
|
|
|
|
("rem", 2, ValueSelf, AnyType, "std::ops::Rem"),
|
|
|
|
("shl", 2, ValueSelf, AnyType, "std::ops::Shl"),
|
|
|
|
("shr", 2, ValueSelf, AnyType, "std::ops::Shr"),
|
|
|
|
("bitand", 2, ValueSelf, AnyType, "std::ops::BitAnd"),
|
|
|
|
("bitor", 2, ValueSelf, AnyType, "std::ops::BitOr"),
|
|
|
|
("bitxor", 2, ValueSelf, AnyType, "std::ops::BitXor"),
|
|
|
|
("neg", 1, ValueSelf, AnyType, "std::ops::Neg"),
|
|
|
|
("not", 1, ValueSelf, AnyType, "std::ops::Not"),
|
|
|
|
("drop", 1, RefMutSelf, UnitType, "std::ops::Drop"),
|
|
|
|
("index", 2, RefSelf, RefType, "std::ops::Index"),
|
|
|
|
("index_mut", 2, RefMutSelf, RefType, "std::ops::IndexMut"),
|
|
|
|
("deref", 1, RefSelf, RefType, "std::ops::Deref"),
|
|
|
|
("deref_mut", 1, RefMutSelf, RefType, "std::ops::DerefMut"),
|
|
|
|
("clone", 1, RefSelf, AnyType, "std::clone::Clone"),
|
|
|
|
("borrow", 1, RefSelf, RefType, "std::borrow::Borrow"),
|
|
|
|
("borrow_mut", 1, RefMutSelf, RefType, "std::borrow::BorrowMut"),
|
|
|
|
("as_ref", 1, RefSelf, RefType, "std::convert::AsRef"),
|
|
|
|
("as_mut", 1, RefMutSelf, RefType, "std::convert::AsMut"),
|
|
|
|
("eq", 2, RefSelf, BoolType, "std::cmp::PartialEq"),
|
|
|
|
("cmp", 2, RefSelf, AnyType, "std::cmp::Ord"),
|
|
|
|
("default", 0, NoSelf, AnyType, "std::default::Default"),
|
|
|
|
("hash", 2, RefSelf, UnitType, "std::hash::Hash"),
|
|
|
|
("next", 1, RefMutSelf, AnyType, "std::iter::Iterator"),
|
|
|
|
("into_iter", 1, ValueSelf, AnyType, "std::iter::IntoIterator"),
|
|
|
|
("from_iter", 1, NoSelf, AnyType, "std::iter::FromIterator"),
|
|
|
|
("from_str", 1, NoSelf, AnyType, "std::str::FromStr"),
|
|
|
|
];
|
|
|
|
|
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
enum SelfKind {
|
|
|
|
ValueSelf,
|
|
|
|
RefSelf,
|
|
|
|
RefMutSelf,
|
2015-09-01 16:52:48 +00:00
|
|
|
NoSelf,
|
2015-08-24 16:13:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl SelfKind {
|
|
|
|
fn matches(&self, slf: &ExplicitSelf_) -> bool {
|
|
|
|
match (self, slf) {
|
|
|
|
(&ValueSelf, &SelfValue(_)) => true,
|
|
|
|
(&RefSelf, &SelfRegion(_, Mutability::MutImmutable, _)) => true,
|
|
|
|
(&RefMutSelf, &SelfRegion(_, Mutability::MutMutable, _)) => true,
|
|
|
|
(&NoSelf, &SelfStatic) => true,
|
2015-09-01 16:52:48 +00:00
|
|
|
(_, &SelfExplicit(ref ty, _)) => self.matches_explicit_type(ty),
|
2015-08-24 16:13:02 +00:00
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
2015-09-01 16:52:48 +00:00
|
|
|
|
|
|
|
fn matches_explicit_type(&self, ty: &Ty) -> bool {
|
|
|
|
match (self, &ty.node) {
|
|
|
|
(&ValueSelf, &TyPath(..)) => true,
|
|
|
|
(&RefSelf, &TyRptr(_, MutTy { mutbl: Mutability::MutImmutable, .. })) => true,
|
|
|
|
(&RefMutSelf, &TyRptr(_, MutTy { mutbl: Mutability::MutMutable, .. })) => true,
|
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn description(&self) -> &'static str {
|
|
|
|
match *self {
|
|
|
|
ValueSelf => "self by value",
|
|
|
|
RefSelf => "self by reference",
|
|
|
|
RefMutSelf => "self by mutable reference",
|
|
|
|
NoSelf => "no self",
|
|
|
|
}
|
|
|
|
}
|
2015-08-24 16:13:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
enum OutType {
|
|
|
|
UnitType,
|
|
|
|
BoolType,
|
|
|
|
AnyType,
|
|
|
|
RefType,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl OutType {
|
|
|
|
fn matches(&self, ty: &FunctionRetTy) -> bool {
|
|
|
|
match (self, ty) {
|
|
|
|
(&UnitType, &DefaultReturn(_)) => true,
|
|
|
|
(&UnitType, &Return(ref ty)) if ty.node == TyTup(vec![]) => true,
|
|
|
|
(&BoolType, &Return(ref ty)) if is_bool(ty) => true,
|
|
|
|
(&AnyType, &Return(ref ty)) if ty.node != TyTup(vec![]) => true,
|
|
|
|
(&RefType, &Return(ref ty)) => {
|
|
|
|
if let TyRptr(_, _) = ty.node { true } else { false }
|
|
|
|
}
|
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn is_bool(ty: &Ty) -> bool {
|
|
|
|
if let TyPath(None, ref p) = ty.node {
|
|
|
|
if match_path(p, &["bool"]) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
false
|
2015-08-11 18:53:50 +00:00
|
|
|
}
|