ChatGPT解决这个技术问题 Extra ChatGPT

Why is argc an 'int' (rather than an 'unsigned int')?

Why is the command line arguments count variable (traditionally argc) an int instead of an unsigned int? Is there a technical reason for this?

I've always just ignored it when trying rid of all my signed unsigned comparison warnings, but never understood why it is the way that it is.


m
mjv

The fact that the original C language was such that by default any variable or argument was defined as type int, is probably another factor. In other words you could have:

  main(argc, char* argv[]);  /* see remark below... */

rather than

int main(int argc, char *argv[]);

Edit: effectively, as Aaron reminded us, the very original syntax would have been something like

  main(argc, argv) char **argv {... } 

Since the "prototypes" were only introduced later. That came roughly after everyone had logged a minimum of at least 10 hours chasing subtle (and not so subtle) type-related bugs


Actually it would have been `main(argc,argv) char* argv { } as inline parameter declaration and prototypes weren't introduced until ANSI C (ahh - the good old days... I'm so glad they're gone)
@right, Aaron! I forgot... We'd better stop before we show our age too much ;-)
@Aaron Had not seen main(argc, argv) char **argv {... } old style function definition, but have seen/used main(argc, argv) int argc; char* argv; { ... }
C
Community

A few reasons:

because it doesn't matter

because C did not originally have the unsigned keyword or unsigned integer types

because C did not originally check parameter types and did not even have prototypes. As a result, it was common practice to not even declare int types, as this was the default.

because int was, in a sense, more important back then. Everything was an int. C evolved in part from a language that did not even have types. Every single varable was a word, which is what int originally was used for.

UPDATE: Jason S asked for sources. I think you can dig all of this (except for "it doesn't matter") out of a paper by dmr which is on line: The Development of the C Language. You may need to look up the earlier languages BCPL and B in the usual places.


r
rlbond

Because C is old, and it was designed that way from the start. It's too late to change it now.


C is old. It was designed that way from the start. But I have to disagree with that last sentence (not enough to downvote though). ISO could quite easily add a third prototype definition for main with little impact. In fact, implementors are also free to add other main prototypes - it's explicitly mentioned in the standard.
@paxdiablo agreed, standards can and should be evolved and changed [with care]. In this particular case, however, how does this unsigned argc thing helps with world peace?
@mjv Less people griping about things-that-aren't-exactly-correct on the Internet means less people griping in general, which means there will be slightly more world-peace than before.
J
John Bode

Here's a history of the C programming language in dmr's own words. It's not stated explicitly (at least not from the quick skim I gave it), but the earliest versions of C didn't support unsigned types. mjv's point about implicit typing to int is also relevant.

EDIT

The Bell Labs link has been broken for a while: here's an alternate link to the same paper.


You beat me to it. Yea, I don't believe B (predecessor of C) had anything but char and int and every function returned an int
B didn't have char. Nor int for that matter. It was untyped. char==int==void*
E
Eli Bendersky

Another reason could be that unsigned types can be inconvenient for iteration. For example, this snippet iterating down:

for (size_t i = SIZE - 1; i >= 0; --i)
  ...

Is, in fact, a bug. When i reaches 0 in the last iteration, it will go on right into 4294967295 (on a 32-bit machine) and the loop won't terminate.

For this reason, I personally find plain ints more convenient for iteration. You don't have to be especially careful when you switch a for loop from counting up to counting down when using ints.


That's due to the fact that C++ lacks a proper for_each construct. I ran in the same problem multiple times, but I'm always glad if I can use the std containers with proper iterators.
agreed, but in C loops is all you have
A
Adam Goode

The Google C++ Style Guide suggests never to use unsigned int types unless you're working with actual bit patterns. Their rationale applies to C as well. Quick summary line:

... C's type-promotion scheme causes unsigned types to behave differently than one might expect. ... Don't use an unsigned type.

This was probably not in the minds of the original creator's of C, but who knows‽


I don't understand Google's claim that unsigned types behave "unexpectedly" (which in context must mean, more unexpectedly than signed types). Signed and unsigned types misbehave when used together, one will be promoted to the signedness of the other. So, the type promotion system causes all integer types to "behave different than one might expect".
ditto. wtf? bits are bits until you do plain arithmetic on them, at which point unsigned and signed each are perfectly valid for particular applications.
One thing that's nice about signed is that you always have a way to represent an invalid value. You do have to waste an entire bit on it though.
-1U is an equally-useful "invalid value" in most contexts. For instance nothing could actually have size equal to the entire size of address space, minus 1. Actually I like Jason's comment. One change I wish could be made to C is eliminating signed/unsigned types and replacing them with signed/unsigned operator variants. But alas...
That document is nonsense. Read MISRA or CERT if you want serious coding guidelines written by professionals.
G
Greg Hewgill

As a solution to your warning problem, you could do something like this to suppress the warnings:

const unsigned int uargc = (unsigned int) argc;

Right, since the question was tagged c I thought I'd use what would work in both.
R
Rob Walker

It was a prescient design decision to make it easier to port C programs to Java in the future since there are no unsigned types in Java.


You must not know c programmers very well. If they had prescience, they surely would have made sure to make porting to Java more difficult rather than less ;)
@Rob: ??? I wouldn't call it "easier" -- it's only easier for people doing signed arithmetic. For handling unsigned arithmetic and bitstrings Java is a real pain.
J
Jonathan Leffler

The declaration for main() was defined before the unsigned types were added to the language - see DMR's page on 'Primeval C'. It was too late to change when unsigned was added.


H
Harold L

I see how it might seem weird: argc should not be negative! But look at it this way: both int and unsigned int cover the range of values you'd accept (if you have 2^31 command line parameters, you have a problem) and int is shorter to type.

Interview puzzle question: how many keyboards would have been used up typing the unsigned if C had gone with unsigned int argc?


C could have named them int and uint, then it is only one extra character.
Great answer ;) like millions I think
@Zan: I have always wished this were so
it's a little known secret that most verbose languages are sponsored by the keyboard companies.
I believe COBOL was supported by the Amalgamated Union of Caps Lock and Shift Key Designers and Craftsmen.
P
Paul Hsieh

By setting it to int, the range is limited to between 1 and INT_MAX inclusive. This will typically mean that no accidental cast or alias will take it out of range from an inadvertent wrap around. It also allows implementations to use the entire negative and 0 range for system specific scenarios.

Ok, I just made that up. The real reason is that it was just an arbitrary decision that one of the original C language developers made, and nobody really thought that hard about it until now. :)


D
David R Tribble

Just a simple question: Do you expect more than 231 (or even more than 215) command line arguments? I doubt that most operating systems could handle that many.


int though must be at least 2^15-1
thats not why I was asking, but definitely possible rm $(find / -mindepth 3)
The find -exec option command provides rm with exactly one argument at a time. The previous rm command might fail on systems that have an upper limit on the number (or total length) of a command line.
@paxdiablo: false. C guarantees INT_MAX is at least 32767.
q
quant_dev

I suppose it is designed to be compatible with C, and in C times people didn't really care that much about signed/unsigned correctness.


"C times" are hardly over. I for one won't stop using C anytime soon.
The times when C ruled are over, and that's what I meant.
Except C is completely dominant in embedded systems and will remain as such until something better is invented. The C++11 and C++14 revisions have ensured that C++ has no future in embedded systems, if anywhere.