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
Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people just like you are talking about what matters.

  • Help others & share knowledge
  • Earn cash & points
  • Learn & ask questions
  • 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
Technology Partners: We Want Your Opinion!

We value your feedback.

Take our survey and automatically be enter to win anyone of the following:
Yeti Cooler, Amazon eGift Card, and Movie eGift Card!

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

Get HTML5 Certified

Want to be a web developer? You'll need to know HTML. Prepare for HTML5 certification by enrolling in July's Course of the Month! It's free for Premium Members, Team Accounts, and Qualified Experts.

Question has a verified solution.

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

Written by John Humphreys C++ Threading and the POSIX Library This article will cover the basic information that you need to know in order to make use of the POSIX threading library available for C and C++ on UNIX and most Linux systems.   [s…
Introduction This article is the first in a series of articles about the C/C++ Visual Studio Express debugger.  It provides a quick start guide in using the debugger. Part 2 focuses on additional topics in breakpoints.  Lastly, Part 3 focuses on th…
The goal of the video will be to teach the user the concept of local variables and scope. An example of a locally defined variable will be given as well as an explanation of what scope is in C++. The local variable and concept of scope will be relat…
The viewer will learn additional member functions of the vector class. Specifically, the capacity and swap member functions will be introduced.

630 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