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
Courses: Start Training Online With Pros, Today

Brush up on the basics or master the advanced techniques required to earn essential industry certifications, with Courses. Enroll in a course and start learning today. Training topics range from Android App Dev to the Xen Virtualization Platform.

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

Gigs: Get Your Project Delivered by an Expert

Select from freelancers specializing in everything from database administration to programming, who have proven themselves as experts in their field. Hire the best, collaborate easily, pay securely and get projects done right.

Question has a verified solution.

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

When writing generic code, using template meta-programming techniques, it is sometimes useful to know if a type is convertible to another type. A good example of when this might be is if you are writing diagnostic instrumentation for code to generat…
Many modern programming languages support the concept of a property -- a class member that combines characteristics of both a data member and a method.  These are sometimes called "smart fields" because you can add logic that is applied automaticall…
The goal of the tutorial is to teach the user how to use functions in C++. The video will cover how to define functions, how to call functions and how to create functions prototypes. Microsoft Visual C++ 2010 Express will be used as a text editor an…
The viewer will be introduced to the technique of using vectors in C++. The video will cover how to define a vector, store values in the vector and retrieve data from the values stored in the vector.

813 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

Need Help in Real-Time?

Connect with top rated Experts

10 Experts available now in Live!

Get 1:1 Help Now