草庐IT

static-analysis

全部标签

【C++入门到精通】C++类型的转换 | static_cast | reinterpret_cast | const_cast | dynamic_cast [ C++入门 ]

阅读导航引言一、强制转换(集成C语言的语法)二、static_cast操作符1.操作符介绍2.使用示例(1)基本类型之间的转换(2)类型之间的隐式转换(3)类指针和引用之间的转换三、reinterpret_cast操作符1.操作符介绍2.使用示例(1)将指针转换为整数(2)将整数转换为指针(3)将指向基类的指针转换为指向派生类的指针(4)将指向不同类型的指针进行转换四、const_cast操作符1.操作符介绍2.使用示例(1)移除常量性以修改对象的值(2)在函数中移除常量性以调用非常量版本的成员函数(3)移除常量性以进行底层操作五、dynamic_cast操作符1.操作符介绍2.使用示例(1)

c++ - 如何在 Parasoft C++test 中将函数标记为不返回?

我们有一个die函数输出错误信息并退出,例如:voiddie(constchar*msg){fprintf(stderr,"Error:%s\n",msg);exit(1);}我们使用ParasoftC++test静态分析我们的代码,但它没有意识到die是一个非返回函数。所以当它看到如下代码时:voidfoo(Bar*bar){if(!bar){die("barisNULL");}Barbar2=*bar;}它警告*bar可能正在取消引用空指针,即使bar为NULL会阻止该行执行。有没有办法以Parasoft可以识别的方式将die标记为不返回?编辑:我需要在GCC和VS2003中都能工

c++ - 如何预期 static_assert 失败并使用 Boost.Test 框架处理它?

如果我有一个接受模板参数的方法,该模板参数应该可转换为base_of或与返回类型相同的类型,我应该怎么做?例如,考虑这个方法:templateclassIFoo{public:templateT*as(){static_assert(std::is_same::value||std::is_convertible::value||std::is_base_of::value,"IFoo::as()requiresServiceTtobeabaseofT");...}};现在,我想对其进行BOOST_CHECK!classA{};classB{};BOOST_AUTO_TEST_CASE

c++ - 拥有大型二维数组 : static int vs int

在解决DP相关问题时,我观察到第一个有效但第二个段错误。实际原因是什么?仅使用int的内存限制是多少?intmain(){staticinta[3160][3160];return0;}intmain(){inta[3160][3160];return0;} 最佳答案 因为您可能没有足够的堆栈内存来存储这个大数组。第二个示例在堆栈上创建一个数组,而第一个示例创建的数组不在堆栈上而是在数据/Bss段中的某个位置,因为您使用static限定符明确指定了存储条件.注意c++标准没有规定stack或者heap或者datasegment或者B

C++ static , extern 与全局数据一起使用

总的来说,我是C++和OOP的新手,一直在努力学习高效或“正确”的做事方式,但仍然遇到问题。我正在创建一个DataStore类来保存其他类/对象的数据。此类永远只有一个实例/对象;但是,实际上并不需要对象/实例,因为它是全局数据,对吧。在这种情况下,我觉得这只是提供范围的一种方式。所以,我想直接更改类成员而不是传递对象。我读过有关static和_extern的内容,但我无法决定两者是否可行,或者是否还有其他更好的方法。现在我正在传递一个创建的对象来改变它的数据,但我宁愿这个类被作为“它自己”而不是“它自己的一个实例”来访问,同时仍然保留它是一个对象的想法.

c++ - static_cast 与 boost::lexical_cast

我正在尝试将一个整数连接到一个已知字符串,我发现有几种方法可以做到这一点,其中两种是:intnum=13;stringstr="Text"+static_cast(&(ostringstream()str();或者我也可以使用boost库的lexical_cast:intnum=13;stringstr="Text"+boost::lexical_cast(num);使用boost::lexical_cast是否更有效,因为我已经知道转换类型(int到string)?或者static_cast是否同样有效,而无需依赖外部库? 最佳答案

c++ - 将函数内的大变量声明为 `static` 在性能上有什么不同吗?

不确定之前是否有人问过这个问题。在回答thisverysimplequestion时,我问自己以下内容。考虑一下:voidfoo(){inti{};constReallyAnyType[]data={item1,item2,item3,/*manyitemsthatmaybepotentiallyheavytorecreate,e.g.ofclasstype*/};/*functioncodehere...*/}现在理论上,每次控制达到功能时都会重新创建局部变量,对吗?IE。看看上面的inti-它肯定会在堆栈上重新创建。上面的数组呢?编译器能否聪明到优化它的创建只发生一次,还是我在这里

c++ - 如何 static_assert 给定的函数调用表达式是否可以编译?

有没有一种方法可以检查函数调用表达式是否会在编译时进行编译并对其进行static_assert?还是我应该通过system()调用编译器并检查退出代码?#includetemplatevoidf(Args&&...args,bool);templatevoidg(Args&&...args);intmain(){g(1,2.0,"hello",false);//compilesf(1,2.0,"hello",false);//doesn'tcompile//HowdoIdothis?//static_assert(!does_this_compile(f(1,2.0,"hello",f

c++ - static_cast 和 dynamic_cast 在特定场景中的不同行为

在下面的场景中,我没有弄清楚static_cast和dynamic_cast之间的真正区别:**///withstatic_cast///**classFoo{};classBar:publicFoo{public:voidfunc(){return;}};intmain(intargc,char**argv){Foo*f=newFoo;Bar*b=static_cast(f);b->func();return0;}Output:SuccessfullyBuildandCompiled!**///withdynamic_cast///**classFoo{};classBar:publ

c++ - 部分 C++ 程序的静态分析

我正在考虑对C++代码示例进行一些静态分析项目,而不是整个程序。一般来说,静态分析需要一些更简单的中间表示,但如果没有整个程序代码,就无法准确地创建这样的表示。不过,我知道thereissuchatoolforJava-它基本上是“猜测”丢失的信息,因此允许进行静态分析,即使它不再可靠或不完整。是否有类似的东西可用于将部分C++代码转换为某种中间形式(例如LLVM字节码)? 最佳答案 一般来说,如果你猜了,你就猜错了;基于此类猜测的静态分析器的任何投诉都是误报,并且往往会导致高拒绝率。如果您坚持猜测,您将需要一个可以解析任意C++片