Plan 9 Coding Conventions for C(plan9.bell-labs.com)
plan9.bell-labs.com
Plan 9 Coding Conventions for C
http://plan9.bell-labs.com/magic/man2html/6/style
14 comments
And don't forget:
Walter Bright (creator of D, etc.) has an article where he discusses his interesting choice to make that grammar form illegal in D. He mentions that after doing this he found a bug in D's runtime library. http://www.drdobbs.com/cpp/dangling-else-yet-again/231602010
if(a)
if(b)
x;
else
y;
Walter Bright (creator of D, etc.) has an article where he discusses his interesting choice to make that grammar form illegal in D. He mentions that after doing this he found a bug in D's runtime library. http://www.drdobbs.com/cpp/dangling-else-yet-again/231602010
Just see that made me foam at the mouth a little...grr.
We generally don't even like have non-curlied one-liners in our conditionals.
We generally don't even like have non-curlied one-liners in our conditionals.
This makes a good point for Python syntax, where you can't by construction end up in situations like that.
Note that any static analyzer that is worth something will warn about this in C/C++. For example, clang will warn with the option -Wdangling-else (implied by -Wall)
True, but the flip side is that in Python automatic indentation cannot possibly work.
Why not? vim indents one more when encountering a colon at the end of a line. It also de-indents when encountering a return or break statement. Of course in all other cases you have to de-indent manually, however, hitting backspace once is not more work than typing a closing curly brace.
What I mean is that you can't tell your editor to indent an arbitrary block of code.
Right, because a block of un-indented python is syntactically incorrect. It would be just like stripping all the brackets out of some C code and asking the editor to add brackets to the resulting mess properly.
As maw points out, that is not a pure win, it is a tradeoff. And it is a tradeoff that I've found to be a really bad one. Being able to run indent over your code and have it automatically formatted is really helpful in large, long term projects where people come and go and weren't effectively forced into using one style.
You can do that with Python code, too.
https://github.com/hhatto/autopep8
https://github.com/hhatto/autopep8
Sort of, but not quite. It is quite easy to get situations where code is wrong because of indentation mistakes, copy+paste, etc. All autopep can do is make your wrong code look consistent. Languages with some sort of block delimiter can't get wrong in this manner, so it is safe to munge together random sources with various indenting messes and then just run a tool over them.
I can't stand macro comments - it makes it impossible to figure out whats going on without being sure to open the file in a specific editor with a specific project loaded. Say you have a separate lib project used by an application - if you open up an individual file from that lib while working on the application in Visual Studio it won't have the necessary context to 'comment out' macro comments. Its also hostile to people who use vi and emacs.
OS code has to do a lot of validating input and braceful style causes functions to be visually dominated by boring validation code. It's also surprisingly nice to have a visual distinction between boring conditions like if(!found) return; and the more interesting branches that require the braces.
Not sure I follow you on the one; two; example. Why would you have two statements per line in the first place? (You do realize that the "two;" isn't in the if block, right?)
Not sure I follow you on the one; two; example. Why would you have two statements per line in the first place? (You do realize that the "two;" isn't in the if block, right?)
Because developer one wrote
if (statement) one;
And developper two added
if (statement) one; two;
too quickly
if (statement) one;
And developper two added
if (statement) one; two;
too quickly
Sure, but how often does this happen in practice? I have worked with 'no convention'/'multiple conventions'/'mostly no braces for single statements' and have never seen this particular mistake. I can see how it would be difficult to track down, on the other hand, braces for single comments add to line noise.
I've encountered it just enough times to avoid it 100%. I think in my scenario, the problems have been compounded by an overall lax (lazy) coding style on the part of my predecessors, in that many of them were junior devs who virtually made-up their own coding styles. These devs treated whitespace like it cost money, and avoided any unrequired use of spaces, tabs, and newlines.
These types of conventions -- no curlies around simple blocks -- aren't too bad if a) your devs are adequately seasoned, and b) your devs believe in whitespace.
For instance, this isn't really so bad:
But it's stuff like this that causes issues:
These types of conventions -- no curlies around simple blocks -- aren't too bad if a) your devs are adequately seasoned, and b) your devs believe in whitespace.
For instance, this isn't really so bad:
if (foo)
foo();
else
bar();
But it's stuff like this that causes issues:
if(foo)foo();
else bar();
if (foo)
foo();
else {
bar();
baz();
}
if (foo)
while (i++ < x)
foo(i);
else
bar();
if(foo)while(i++<x)foo(i);
else bar();
I've seen it once, in 13 years of working professionally in C. I think two people changed the same one-line if statement, but for two different reasons (probably adding two different new features to the same bit of code). And after an automatic merge it became something like this:
Anyway, it didn't take long to narrow it down to that bit of code but it took a few more minutes to figure out why the function was always getting called. I couldn't work out what was going on until I looked at the disassembly and was forced to reassess my opinion of what code was actually being compiled. Too much python in my diet, perhaps.
I remember being surprised at the time that it had taken so long for this to happen, and I made a mental note to keep an eye out for more occurrences. That was summer 2006, and I haven't seen it happen since.
if(flag)
set_other_flag=1;
call_function();
Anyway, it didn't take long to narrow it down to that bit of code but it took a few more minutes to figure out why the function was always getting called. I couldn't work out what was going on until I looked at the disassembly and was forced to reassess my opinion of what code was actually being compiled. Too much python in my diet, perhaps.
I remember being surprised at the time that it had taken so long for this to happen, and I made a mental note to keep an eye out for more occurrences. That was summer 2006, and I haven't seen it happen since.
I've worked on multi-million line projects and have also never seen this mistake made. So in my experience, it is so vanishingly rare that the costs in visual gunk and decreased code density are not worth it.
A lint tool checking for suspicious indentation would be a better use of labour.
A lint tool checking for suspicious indentation would be a better use of labour.
I think that such a developer would be equally as likely to forget to free() memory or overflow a buffer. I assume that the reasoning is that people who don't know C well enough or are too forgetful shouldn't be working on the Plan9 codebase anyway, so why optimize for such a bad case when there are definite costs to doing so (as I mentioned before)?
stuff like this can happen if you're not careful w/ preprocessor macros too.
#define one a;b;
if (statement) one;
#define one a;b;
if (statement) one;
The actual problem there is that developer two checked something in without thinking about it, reading it, or examining the diffs of the change.
If you had a coding convention of always using braces in if statements, you might be insulated from this particular symptom or instance of the problem, but you still have the underlying problem that people are doing things without thinking.
If you had a coding convention of always using braces in if statements, you might be insulated from this particular symptom or instance of the problem, but you still have the underlying problem that people are doing things without thinking.
"you still have the underlying problem that people are doing things without thinking"
You can solve this problem?
You can solve this problem?
Why not take advantage of every safety net you can?
People are fallible, mistakes get made.
People are fallible, mistakes get made.
Because if you do, the safety net will collapse your circus tent by their sheer weight.
The actual argument has been made in sibling comments: braces are verbose, and the mistake we speak of is exceedingly rare in practice. For simple one-liners, the verbosity costs more than the lack of safety net.
The actual argument has been made in sibling comments: braces are verbose, and the mistake we speak of is exceedingly rare in practice. For simple one-liners, the verbosity costs more than the lack of safety net.
my favorite is
if (statement)
// one;
two;I always use braces in order to protect my future self from my current self. I don't want to end up introducing a logic error in the program because I overlooked proper scope while less coherent later on.
but two statements in one line is not exactly encouraged by the rules either.
>I appreciate that these are old rules
They are current rules also. The rules are largely the same as BSD rules, and go rules. Just because they are old, doesn't mean the people who wrote them moved on to doing what the trendy javascript kids do.
They are current rules also. The rules are largely the same as BSD rules, and go rules. Just because they are old, doesn't mean the people who wrote them moved on to doing what the trendy javascript kids do.
I am kind of partial to Tcl's C code:
https://github.com/tcltk/tcl/blob/master/generic/tclConfig.c
Although I think arguing for less uppercase/camelcase would not be entirely out of place. Still though, it's very nice to read.
https://github.com/tcltk/tcl/blob/master/generic/tclConfig.c
Although I think arguing for less uppercase/camelcase would not be entirely out of place. Still though, it's very nice to read.
The efficiency and comments part read like a tl;dr version of Kernighan & Pike The Practice of Programming[1], which, I might add, is an excellent read.
As for coding conventions, I quite like OpenBSD's (man style)[2], which are also present on FreeBSD. Though I rarely write C these days, I have to read some every now and then, and code from BSD projects following those conventions feels very readable.
[1] http://www.amazon.com/Practice-Programming-Addison-Wesley-Pr... [2] http://www.openbsd.org/cgi-bin/man.cgi?query=style&sekti...
[1] http://www.amazon.com/Practice-Programming-Addison-Wesley-Pr... [2] http://www.openbsd.org/cgi-bin/man.cgi?query=style&sekti...
It's funny that many modern style rules are the exact opposite of these ones.
Which ones, in which languages and in what kind of projects?
It isn't a question of "modern" or "old". GNU has always had absurdly terrible styles rules for example. It isn't a "modern" thing at all.
* variable and function names are all lowercase, with no underscores.
That sounds odd
That sounds odd
In the standard there is a notion of "significant prefix length". ie, your symbol names may actually be truncated. In C89 the minimum guaranteed length for exported symbols was 6 (IIRC) which explains why the libc symbols are so terse. Adding underscores would greatly reduce the number of significant characters (of course, all of this is mostly obsolete these days).
Not really. Look at everything in the C standard library: fopen(), strcmp(), malloc(), etc.
yes and c stdlib style naming is mainly considered legacy these days and multi word "variable and function [in] all lowercase, with no underscores" is frowned upon.
> * no tabs expanded to spaces.
Oh, finally.
Tabs for indentation levels, spaces for alignment. How hard can it be?
Oh, finally.
Tabs for indentation levels, spaces for alignment. How hard can it be?
hard. someone even made a comic to explain how hard: http://www.emacswiki.org/SmartTabs
That comic doesn't explain anything. That post also doesn't explain how hard it is.
> no white space after the keywords if, for, while, etc.
I think most places enforce the opposite. There's a strain of very-little-space style out there, but I'm not sure where it comes from. Maybe Pike, for all I know: http://www.literateprogramming.com/pikestyle.pdf is certainly rife with it.
[deleted]
Odd that they don't like gotos. That's going to make cleanup code pretty ugly.
Anybody know what the:
EDIT: I guess the value in the []'s is the array index to set the value of.
int needfid[] = {
[Tversion] 0,
[Tflush] 0,
[Tauth] 0,
EDIT: I guess the value in the []'s is the array index to set the value of.
A variation of this syntax was standardized in C99:
int needfid[] = {
[Tversion] = 0,
[Tflush] = 0,
struct blah needfid = {
.version = 0,
.flush = 0,That's right, it's a designated initializer, except the standard c99 way requires an =. gcc didn't/doesn't but that's nonstandard. So it is an extension, just not a plan9 one - a gcc-ism. clang's error/warning, as usual, is very helpful so it's worth it just to try clang when running into weirdness like that:
warning: use of GNU 'missing =' extension in designator
[-Wgnu-designator]Well, it is a Plan 9 extension. You made it sound like it was only a gcc extension.
You're right, it's described in 3.5 of
http://plan9.bell-labs.com/sys/doc/compiler.html
It seems like it was contemporaneous with the proposed c90 extension and also supported the = except optionally. But it was definitely something in the plan 9 compiler rather than only a gcc thing.
http://plan9.bell-labs.com/sys/doc/compiler.html
It seems like it was contemporaneous with the proposed c90 extension and also supported the = except optionally. But it was definitely something in the plan 9 compiler rather than only a gcc thing.
> Is this some Plan 9 extension, or is it just something I've never encountered?
It's C99 (I also only saw it in C99 articles, never in production code). See http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Designated-Inits...
It's C99 (I also only saw it in C99 articles, never in production code). See http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Designated-Inits...
It's heavily used in the Linux kernel and in the Linux world in general. But Visual Studio doesn't support it, so projects that target Windows pretty much have to avoid it.
See "3.5 Initialization indexes":
http://plan9.bell-labs.com/sys/doc/compiler.html
[...] don't try to write the most compact code possible but rather the most readable.
Don't conventions 6, 7, 8, and 11 violate this?
Don't conventions 6, 7, 8, and 11 violate this?
Go plug: I first read about these conventions in a Go article[1].
[1]http://talks.golang.org/2012/splash.article#TOC_5.
Someone needs to write "c fmt"
Probably my favorite take-away from this:
"Ultimately, the goal is to write code that fits in with the other code around it and the system as a whole. If the file you are editing already deviates from these guidelines, do what it does. After you edit a file, a reader should not be able to tell just from coding style which parts you worked on."
This is a real boon to other people on your team.
"Ultimately, the goal is to write code that fits in with the other code around it and the system as a whole. If the file you are editing already deviates from these guidelines, do what it does. After you edit a file, a reader should not be able to tell just from coding style which parts you worked on."
This is a real boon to other people on your team.
Most good professionals I have worked with adhere to this simple rule.
don't use // comments; some old Plan 9 code does, but we're converting it as we touch it. We do sometimes use // to comment–out a few lines of code.
Doesn't make sense with any decent editor, you ought to comment via macros.
no braces around single–line blocks (e.g., if, for, and while bodies)
I kind of like enforcing the opposite (always use braces).
Otherwise you end up with things like: