The ANSI C Standard has tightened the definition of many of the vague areas of K&R C. This results in a much clearer definition of a correct C program. In the following sections, we present a list of what we consider to be the major language differences between ANSI C and K&R C.
Lexical Elements
1. In ANSI C, the ordering of phases of translation is well defined. Of special note is the preprocessor which is conceptually token-based (which does not yield the same results as might naively be expected from pure text manipulation, because the boundaries between juxtaposed tokens are visible).
2. A number of new keywords have been introduced into ANSI C: The type qualifier volatile means that the qualified object may be modified in ways unknown to the implementation, or that access to it may have other unknown side effects. Examples of objects correctly described as volatile include device registers, semaphores and data shared with asynchronous signal handlers. In general, expressions involving volatile objects cannot be optimized by the compiler.
3. The type qualifier const indicates that an object’s value will not be changed by the executing program (and in some contexts permits a language system to enforce this by allocating the object in read-only store).
4. The type specifier void indicates a non-existent value for an expression.
5. The type specifier void * describes a generic pointer to or from which any pointer value can be assigned, without loss of information.
6. The signed type specifier may be used wherever unsigned is valid (e.g. to specify signed char explicitly).
7. There is a new floating-point type: long double.
8. The K&R C practice of using long float to denote double is outlawed in ANSI C.
9. The following lexical changes have also been made: Each struct and union has its own distinct name space for member names. Suffixes U and L (or u and l), can be used to explicitly denote unsigned and long constants (e.g. 32L, 64U, 1024UL etc.). The U suffix is new to ANSI C.
10. Literal strings are considered read-only, and identical strings may be stored as one shared value. For example, given:
char *p1 = "hello"; char *p2 = "hello";
p1 and p2 will point at the same store location, where the string “hello” is held. Programs must not, therefore, modify literal strings, (beware of Unix’s tmpnam() and similar functions, which do this).
11. Variadic functions (those which take a variable number of actual arguments) are declared explicitly using an ellipsis (…). For example:
int printf(const char *fmt, ...);
12. Empty comments /**/ are replaced by a single space, (use the preprocessor directive ## to do token-pasting if you previously used /**/ to do this).
Arithmetic
1. ANSI C uses value-preserving rules for arithmetic conversions (whereas K&R C implementations tend to use unsigned-preserving rules). Thus, for example:
int f(int x, unsigned char y) { return (x+y)/2; }
does signed division, where unsigned-preserving implementations would do unsigned division. Aside from value-preserving rules, arithmetic conversions follow those of K&R C, with additional rules for long double and unsigned long int. It is now also allowable to perform float arithmetic without widening to double.
2. Floating-point values truncate towards zero when they are converted to integral types. It is illegal to assign function pointers to data pointers and vice versa. An explicit cast must be used. The only exception to this is for the value 0, as in:
int (*pfi)(); pfi = 0;
3. Assignment compatibility between structs and unions is now stricter. For example, consider the following:
struct {char a; int b;} v1; union {char a; int b;} v2; v1 = v2; /* illegal because v1 and v2 have different types */
Expressions
1. Structs and unions may be passed by value as arguments to functions. Given a pointer to a function declared as e.g. int (*pfi)(), the function to which it points can be called either by pfi(); or (*pfi)().
2. Because of the use of distinct name spaces for struct and union members, absolute machine addresses must be explicitly cast before being used as struct or union pointers. For example:
((struct io_space *)0x00ff)->io_buf;
Declarations
1. Perhaps the greatest impact on C of the ANSI Standard has been the adoption of function prototypes. A function prototype declares the return type and argument types of a function. For example:
int f(int, float);
declares a function returning int with one int and one float argument. This means that a function’s argument types are part of the type of the function, giving the advantage of stricter type-checking, especially between separately-compiled source files.
2. A function definition (which is also a prototype) is similar except that identifiers must be given for the arguments. For example:
int f(int i, float f)
3. It is still possible to use old-style function declarations and definitions, but it is advisable to convert to the new style. It is also possible to mix old and new styles of function declaration. If the function declaration which is in scope is an old style one, normal integral promotions are performed for integral arguments, and floats are converted to double. If the function declaration which is in scope is a new-style one, arguments are converted as in normal assignment statements.
4. Empty declarations are now illegal.
5. Arrays cannot be defined to have zero or negative size.
Statements
1. A value returned from main() is guaranteed to be used as the program’s exit code. Values used in the controlling statement and labels of a switch can be of any integral type.
Preprocessor
1. Preprocessor directives cannot be redefined. There is a new ## directive for token-pasting.
2. There is a stringize directive # which produces a string literal from its following characters. This is useful when you want to embed a macro argument in a string.
3. The order of phases of translation is well defined and is as follows for the preprocessing phases:
3.1. Map source file characters to the source character set (this includes replacing trigraphs).
3.2. Delete all newline characters which are immediately preceded by \.
3.3. Divide the source file into preprocessing tokens and sequences of white space characters (comments are replaced by a single space).
3.4. Execute preprocessing directives and expand macros.
NOTE: Any #include files are passed through steps 1-4 recursively.
4. The macro __STDC__ is predefined to 1 by ANSI-conforming compilers.
Why ANSI C?
ANSI C is a Systems Programming Language but now becoming popular as General Purpose Computing Language as well! Supported across various platforms because of availability of C Compilers for them! Therefore, Programs written in ANSI C are PORTABLE across various platforms! Portability of a Program is the ability of the same to be able to run without or with least modifications on the other platforms!
Sanfoundry Global Education & Learning Series – 1000 C Tutorials.
- Practice BCA MCQs
- Practice Computer Science MCQs
- Apply for Computer Science Internship
- Apply for C Internship
- Check C Books