可以编写自定义 Clang-tidy 检查来避免将表达式传递给 std::vector::reserve()。以下是一个示例实现：
首先，在 Clang-tidy 检查文件夹中创建一个新的检查文件，例如 MyVectorReserveCheck.cpp。然后，添加以下内容：
#include "clang/AST/AST.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
using namespace clang::ast_matchers;
using namespace clang::ento;
class MyVectorReserveCheck : public Checkercheck::PreCall {
public:
void checkPreCall(const CallEvent &Call, CheckerContext &C) const {
if (const CXXMemberCallExpr *CE = dyn_cast(Call.getOriginExpr())) {
const auto *FD = Call.getDecl()->getAsFunction();
if (FD && FD->getName() == "reserve") {
const auto *MemExpr = dyn_cast(CE->getCallee());
if (MemExpr) {
const auto *RD = MemExpr->getBase()->getType()
->getAsCXXRecordDecl();
if (RD && RD->getNameAsString() == "vector") {
if (Call.getNumArgs() > 0) {
const Expr *Arg = Call.getArgSVal(0).getAsExpr();
if (Arg->HasSideEffects(C.getASTContext())) {
static CheckerProgramPointTag Tag(this, "ShouldNotHaveSideEffect");
ExplodedNode *N = C.generateErrorNode();
if (N) {
auto Report = llvm::make_unique(
BT, "Passing expression with side effect to std::vector::reserve()",
N);
Report->addRange(ASTSourceRange(Arg->getSourceRange()));
Report->addVisitor(llvm::make_unique(N, MemExpr->getLocStart(), " / warning
