Statically detectable features of C++

Posted on 2004-05-01
Last Modified: 2010-04-01
Hi all,

I am writing a programming standard for a project i am just about to start. I was just after all the possible statically detectable features of C++ to be considered when writing programming standards to check if I have included all important ones. Thanx,
Question by:acrxx
  • 3
  • 2
  • 2
  • +1
LVL 39

Expert Comment

ID: 10973042
>> statically detectable features of C++

I don't know what do you want to say with that expression.

The problem is that the Compiler checks C++ syntax (features). All restrictions beyond the fact that a C++ code has to be compilable are subject of your individual decision. So, you may postulate a strict hungarian name convention or insist on compliance to (new) C++ standard (both i would recommend). However, these issues are _NOT_  'statically detectable' at least not with easy means.

Regards, Alex

Expert Comment

ID: 10974190
what is meant by
>> statically detectable features of C++

if you want to do static checking, check out this page:

but otherwise, it is like what itsmeandnobodyelse said, pretty much is a subject of your individual decision.

Author Comment

ID: 10975775
statically detectable concerns errors that can be detected without running the code
Announcing the Most Valuable Experts of 2016

MVEs are more concerned with the satisfaction of those they help than with the considerable points they can earn. They are the types of people you feel privileged to call colleagues. Join us in honoring this amazing group of Experts.

LVL 30

Expert Comment

ID: 10975788
One way to add extra static checking is to increase the compiler warning options to the highest setting, and to also set the option to have your compiler treat warnings as errors.
Most compilers support these two features, and code is more portable when compiled with these options.

Author Comment

ID: 10980499
Thank you for your suggestions, butI am not talking about how to detect them, I am looking for different examples of such errors
LVL 30

Expert Comment

ID: 10980549
>>Thank you for your suggestions, butI am not talking about how to detect them, I am looking for different examples of such errors

Why would this be important if the compiler is going to catch it for you?

Accepted Solution

CoolBreeze earned 250 total points
ID: 10983076
as acrxx mentioned, statically detectable concerns errors that can be detected without running the code.
this includes logic error, includes checking for the life-time, scope, type of variables, branch flow etc.
(these are talked about in the link provided earlier)

but as what Axter said, what is important is not the errors, it is about catching them. So what we should be interested in is the various ways of catching them, compiler being one of them.

why do I say we should concentrate more on the methodology of checking instead? because a single problem can leads to many different errors. There are just too many errors to consider. Consider all the various different syntax errors, that is many. For example using an inappropriate type for variables might lead to corrupted data, or might lead to memory leak, etc.

therefore if one concentrates on getting all the different errors, it is hard to succeed. Instead, in my humble opinion, one should look at something and think : this is correct, but what can I put in the standard such that other people will not deviate from this approach which I know is right.

or if I want a more flexible standard, I would think : this is one way of doing it and I know it is correct, can't find any bugs about it. But what if they did it another way? Is there any way for me to test whether that code is just as good?
LVL 30

Expert Comment

ID: 10995679

Featured Post

Networking for the Cloud Era

Join Microsoft and Riverbed for a discussion and demonstration of enhancements to SteelConnect:
-One-click orchestration and cloud connectivity in Azure environments
-Tight integration of SD-WAN and WAN optimization capabilities
-Scalability and resiliency equal to a data center

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

In days of old, returning something by value from a function in C++ was necessarily avoided because it would, invariably, involve one or even two copies of the object being created and potentially costly calls to a copy-constructor and destructor. A…
Go is an acronym of golang, is a programming language developed Google in 2007. Go is a new language that is mostly in the C family, with significant input from Pascal/Modula/Oberon family. Hence Go arisen as low-level language with fast compilation…
The viewer will learn additional member functions of the vector class. Specifically, the capacity and swap member functions will be introduced.
The viewer will learn how to clear a vector as well as how to detect empty vectors in C++.

789 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question