10#include "clang/AST/ASTContext.h"
11#include "clang/ASTMatchers/ASTMatchFinder.h"
12#include "clang/ASTMatchers/ASTMatchers.h"
13#include "clang/Lex/Lexer.h"
21 cxxConstructorDecl(unless(anyOf(isImplicit(),
22 isDeleted(), isInstantiated())))
26 cxxConversionDecl(unless(anyOf(isExplicit(),
28 isDeleted(), isInstantiated())))
36static SourceRange
findToken(
const SourceManager &Sources,
37 const LangOptions &LangOpts,
38 SourceLocation StartLoc, SourceLocation EndLoc,
39 bool (*Pred)(
const Token &)) {
40 if (StartLoc.isMacroID() || EndLoc.isMacroID())
42 FileID File = Sources.getFileID(Sources.getSpellingLoc(StartLoc));
43 StringRef Buf = Sources.getBufferData(File);
44 const char *StartChar = Sources.getCharacterData(StartLoc);
45 Lexer Lex(StartLoc, LangOpts, StartChar, StartChar, Buf.end());
46 Lex.SetCommentRetentionState(
true);
49 Lex.LexFromRawLexer(Tok);
52 Lex.LexFromRawLexer(NextTok);
53 return SourceRange(Tok.getLocation(), NextTok.getLocation());
55 }
while (Tok.isNot(tok::eof) && Tok.getLocation() < EndLoc);
63 return D->getName() ==
"initializer_list" &&
64 D->getQualifiedNameAsString() ==
"std::initializer_list";
69 if (
const auto *TS =
Type->getAs<TemplateSpecializationType>()) {
70 if (
const TemplateDecl *TD = TS->getTemplateName().getAsTemplateDecl())
73 if (
const auto *RT =
Type->getAs<RecordType>()) {
74 if (
const auto *Specialization =
75 dyn_cast<ClassTemplateSpecializationDecl>(RT->getDecl()))
82 constexpr char WarningMessage[] =
83 "%0 must be marked explicit to avoid unintentional implicit conversions";
85 if (
const auto *Conversion =
86 Result.Nodes.getNodeAs<CXXConversionDecl>(
"conversion")) {
87 if (Conversion->isOutOfLine())
89 SourceLocation
Loc = Conversion->getLocation();
95 << Conversion << FixItHint::CreateInsertion(
Loc,
"explicit ");
99 const auto *Ctor = Result.Nodes.getNodeAs<CXXConstructorDecl>(
"ctor");
100 if (Ctor->isOutOfLine() || Ctor->getNumParams() == 0 ||
101 Ctor->getMinRequiredArguments() > 1)
105 Ctor->getParamDecl(0)->getType().getNonReferenceType());
106 if (Ctor->isExplicit() &&
107 (Ctor->isCopyOrMoveConstructor() || TakesInitializerList)) {
108 auto IsKwExplicit = [](
const Token &Tok) {
109 return Tok.is(tok::raw_identifier) &&
110 Tok.getRawIdentifier() ==
"explicit";
112 SourceRange ExplicitTokenRange =
114 Ctor->getOuterLocStart(), Ctor->getEndLoc(), IsKwExplicit);
115 StringRef ConstructorDescription;
116 if (Ctor->isMoveConstructor())
117 ConstructorDescription =
"move";
118 else if (Ctor->isCopyConstructor())
119 ConstructorDescription =
"copy";
121 ConstructorDescription =
"initializer-list";
123 auto Diag =
diag(Ctor->getLocation(),
124 "%0 constructor should not be declared explicit")
125 << ConstructorDescription;
126 if (ExplicitTokenRange.isValid()) {
127 Diag << FixItHint::CreateRemoval(
128 CharSourceRange::getCharRange(ExplicitTokenRange));
133 if (Ctor->isExplicit() || Ctor->isCopyOrMoveConstructor() ||
134 TakesInitializerList)
137 bool SingleArgument =
138 Ctor->getNumParams() == 1 && !Ctor->getParamDecl(0)->isParameterPack();
139 SourceLocation
Loc = Ctor->getLocation();
142 ?
"single-argument constructors"
143 :
"constructors that are callable with a single argument")
144 << FixItHint::CreateInsertion(
Loc,
"explicit ");
DiagnosticBuilder diag(SourceLocation Loc, StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
Add a diagnostic with the check's name.
const LangOptions & getLangOpts() const
Returns the language options from the context.
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
static bool isStdInitializerList(QualType Type)
static SourceRange findToken(const SourceManager &Sources, const LangOptions &LangOpts, SourceLocation StartLoc, SourceLocation EndLoc, bool(*Pred)(const Token &))
static bool declIsStdInitializerList(const NamedDecl *D)