- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
在代码审查期间,我发现了这样的源代码:
void f_odd(std::string &className, std::string &testName)
{
if (className.find("::") != std::string::npos)
{
testName = className.substr(className.find("::") + 2);
(void)className.erase(className.find("::"), std::string::npos);
}
}
在此函数中,std::string::find() 以相同的模式调用了 3 次(此处为“::”)。
这段代码当然可以重构为
void f(std::string &className, std::string &testName)
{
const size_t endOfClassNamePos = className.find("::");
if (endOfClassNamePos != std::string::npos)
{
testName = className.substr(endOfClassNamePos + 2);
(void)className.erase(endOfClassNamePos, std::string::npos);
}
}
find 只被调用一次。
问题
有人知道检测这种模式的策略吗?我有一个庞大的代码库,我打算在其中发现这种模式。我计划使用 Windows 或 Linux 环境。
潜在策略
不要走
更新 1
我决定从潜在策略 1) 开始。我计划调整 cppcheck 来解决这个问题。
Cppcheck 提供了基于 PCRE 正则表达式编写自定义规则的可能性。为此,必须在启用 PCRE 支持的情况下编译 cppcheck。由于目前的测试环境是基于Linux的,可以使用以下命令下载最新版本的cppcheck:
git clone https://github.com/danmar/cppcheck.git && cd cppcheck
之后,编译安装工具如下:
sudo make install HAVE_RULES=yes
现在基本的工具设置已经完成。为了开发 cppcheck-rule,我准备了一个简单的测试用例(文件:test.cpp),类似于本文第一部分的示例代码。该文件包含三个函数,cppcheck-rule 应在 f_odd
和 f_odd1
上发出关于连续相同 std::string::find
调用的警告.
test.cpp:
#include <string>
void f(std::string &className, std::string &testName)
{
const size_t endOfClassNamePos = className.find("::");
if (endOfClassNamePos != std::string::npos)
{
testName = className.substr(endOfClassNamePos + 2);
(void)className.erase(endOfClassNamePos, std::string::npos);
}
}
void f_odd(std::string &className, std::string &testName)
{
if (className.find("::") != std::string::npos)
{
testName = className.substr(className.find("::") + 2);
(void)className.erase(className.find("::"), std::string::npos);
}
}
#define A "::"
#define B "::"
#define C "::"
void f_odd1(std::string &className, std::string &testName)
{
if (className.find(A) != std::string::npos)
{
testName = className.substr(className.find(B) + 2);
(void)className.erase(className.find(C), std::string::npos);
}
}
到目前为止一切顺利。现在必须调整 cppcheck 以捕获连续相同的 std::string::find
调用。为此,我创建了一个 cppcheck_rule-file包含匹配连续相同 std::string::find
调用的正则表达式:
<?xml version="1.0"?>
<rule>
<tokenlist>normal</tokenlist>
<pattern><![CDATA[([a-zA-Z][a-zA-Z0-9]*)(\s*\.\s*find)(\s*\(\s*\"[ -~]*\"\s*\))[ -\{\n]*(\1\2\3)+[ -z\n]]]></pattern>
<message>
<severity>style</severity>
<summary>Found identical consecutive std::string::find calls.</summary>
</message>
此文件可用于扩展 cppcheck 以进行新检查。让我们试试:
cppcheck --rule-file=rules/rule.xml test/test.cpp
输出是
Checking test/test.cpp...
[test/test.cpp:14]: (style) Found identical consecutive std::string::find calls.
[test/test.cpp:26]: (style) Found identical consecutive std::string::find calls.
现在,可以在 C/C++ 代码中检测到相同的连续 std::string::find
调用。有人知道更好/更有效或更聪明的解决方案吗?
引用资料:
最佳答案
这种工具的主要问题是词法分析只能检查是否存在文本重复。以您的示例为例,如果变量两次引用同一字符串,则两次调用 className.find("::")
是一个潜在问题。但是,让我为您的代码添加一个小 更改:className = className.substr(className.find("::") + 2);
。突然间,下一个 className.find
的含义发生了戏剧性的变化。
你能找到这样的变化吗?你需要一个成熟的编译器,即使那样你也必须悲观。坚持您的示例,可以通过迭代器更改 className
吗?您需要注意的不仅仅是直接操纵。
没有正面消息吗?好吧:现有的编译器确实有类似的机制。它被称为通用子表达式消除,它在概念上的工作方式与您希望它在上面的示例中工作一样。但这在某种程度上也是一个坏消息:如果情况是可以检测到的,那并不重要,因为它已经被编译器优化了!
关于c++ - 自动检测相同的连续 std::string::find() 调用,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36889420/
我正在开发一个小型图书馆,我需要做的一件事是让访问者访问一些数据并返回结果。 在一些较旧的 C++ 代码中,访问者需要声明一个 typedef return_type .例如,boost::stati
我正在尝试使用std:map类型的键和值制作std::any Visual Studio 2017 std::map m("lastname", "Ivanov"); std::cout (m["la
我已经在 C++ 的 map 中声明了一个集合为 std::map> .如何循环访问或打印设定值? 最佳答案 如果你知道如何迭代 std::map或 std::set单独地,您应该可以毫无问题地组合迭
如何循环? 我已经试过了: //----- code std::vector >::iterator it; for ( it = users.begin(); it != users.end();
我有两个用例。 A.我想同步访问两个线程的队列。 B.我想同步两个线程对队列的访问并使用条件变量,因为其中一个线程将等待另一个线程将内容存储到队列中。 对于用例 A,我看到了使用 std::lock_
我正在查看这两种类型特征的文档,但不确定有什么区别。我不是语言律师,但据我所知,它们都适用于“memcpy-able”类型。 它们可以互换使用吗? 最佳答案 不,这些术语不能互换使用。这两个术语都表示
我有以下测试代码,其中有一个参数 fS,它是 ofstream 的容器: #include #include #include #include int
这是这个问题的延续 c++ function ptr in unorderer_map, compile time error 我试图使用 std::function 而不是函数指针,并且只有当函数是
std::unordered_map str_bool_map = { {"a", true}, {"b", false}, {"c", true} }; 我们可以在此映射上使
我有以下对象 std::vector> vectorList; 然后我添加到这个使用 std::vector vec_tmp; vec_tmp.push_back(strDRG); vec_tmp.p
为什么 std::initializer_list不支持std::get<> , std::tuple_size和 std::tuple_element ?在constexpr中用得很多现在的表达式,
我有一个像这样定义的变量 auto drum = std::make_tuple ( std::make_tuple ( 0.3f , Ex
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
问题 我正在尝试将 lambda 闭包传递给 std::thread,它使用任意封闭参数调用任意封闭函数。 template std::thread timed_thread(Function&& f
我想创建一个模板类,可以容纳容器和容器的任意组合。例如,std::vector或 std::map ,例如。 我尝试了很多组合,但我必须承认模板的复杂性让我不知所措。我编译的关闭是这样的: templ
我有一个 std::vector>我将其分配给相同类型的第二个 vector 。 我收到这个编译器错误: /opt/gcc-8.2.0/include/c++/8.2.0/bits/stl_algob
有时候,我们有一个工厂可以生成一个 std::unique_ptr vector ,后来我们想在类/线程/你命名的之间共享这些指针。因此,最好改用 std::shared_ptr 。当然有一种方法可以
这个问题在这里已经有了答案: Sorting a vector of custom objects (14 个答案) 关闭 6 年前。 我创建了一个 vector vector ,我想根据我定义的参
我有三个类(class)成员: public: std::vector > getObjects(); std::vector > getObjects() const; privat
我是一名优秀的程序员,十分优秀!