1
2
Preface………………………………………………………………………………………………………………………. 6
Preface to the first edition ……………………………………………………………………………………………. 8
Chapter 1 – A Tutorial Introduction ………………………………………………………………………………. 9
1.1 Getting Started…………………………………………………………………………………………………… 9
1.2 Variables and Arithmetic Expressions ………………………………………………………………… 11
1.3 The for statement……………………………………………………………………………………………… 16
1.4 Symbolic Constants………………………………………………………………………………………….. 17
1.5 Character Input and Output……………………………………………………………………………….. 18
1.5.1 File Copying……………………………………………………………………………………………… 18
1.5.2 Character Counting ……………………………………………………………………………………. 20
1.5.3 Line Counting……………………………………………………………………………………………. 21
1.5.4 Word Counting………………………………………………………………………………………….. 22
1.6 Arrays…………………………………………………………………………………………………………….. 23
1.7 Functions ………………………………………………………………………………………………………… 25
1.8 Arguments – Call by Value………………………………………………………………………………… 28
1.9 Character Arrays ……………………………………………………………………………………………… 29
1.10 External Variables and Scope ………………………………………………………………………….. 31
Chapter 2 – Types, Operators and Expressions ……………………………………………………………… 35
2.1 Variable Names ……………………………………………………………………………………………….. 35
2.2 Data Types and Sizes ……………………………………………………………………………………….. 35
2.3 Constants ………………………………………………………………………………………………………… 36
2.4 Declarations…………………………………………………………………………………………………….. 39
2.5 Arithmetic Operators………………………………………………………………………………………… 40
2.6 Relational and Logical Operators……………………………………………………………………….. 40
2.7 Type Conversions…………………………………………………………………………………………….. 41
2.8 Increment and Decrement Operators…………………………………………………………………… 44
2.9 Bitwise Operators…………………………………………………………………………………………….. 46
2.10 Assignment Operators and Expressions…………………………………………………………….. 47
2.11 Conditional Expressions………………………………………………………………………………….. 49
2.12 Precedence and Order of Evaluation…………………………………………………………………. 49
Chapter 3 – Control Flow …………………………………………………………………………………………… 52
3.1 Statements and Blocks ……………………………………………………………………………………… 52
3.2 If-Else…………………………………………………………………………………………………………….. 52
3.3 Else-If…………………………………………………………………………………………………………….. 53
3.4 Switch…………………………………………………………………………………………………………….. 54
3.5 Loops – While and For ……………………………………………………………………………………… 56
3.6 Loops – Do-While…………………………………………………………………………………………….. 58
3.7 Break and Continue………………………………………………………………………………………….. 59
3.8 Goto and labels………………………………………………………………………………………………… 60
Chapter 4 – Functions and Program Structure……………………………………………………………….. 62
4.1 Basics of Functions ………………………………………………………………………………………….. 62
4.2 Functions Returning Non-integers ……………………………………………………………………… 65
4.3 External Variables……………………………………………………………………………………………. 67
4.4 Scope Rules…………………………………………………………………………………………………….. 72
4.5 Header Files…………………………………………………………………………………………………….. 73
4.6 Static Variables ……………………………………………………………………………………………….. 75
4.7 Register Variables ……………………………………………………………………………………………. 75
4.8 Block Structure………………………………………………………………………………………………… 76
4.9 Initialization ……………………………………………………………………………………………………. 76
4.10 Recursion………………………………………………………………………………………………………. 78
4.11 The C Preprocessor ………………………………………………………………………………………… 79
3
4.11.1 File Inclusion…………………………………………………………………………………………… 79
4.11.2 Macro Substitution …………………………………………………………………………………… 80
4.11.3 Conditional Inclusion ……………………………………………………………………………….. 82
Chapter 5 – Pointers and Arrays ………………………………………………………………………………….. 83
5.1 Pointers and Addresses……………………………………………………………………………………… 83
5.2 Pointers and Function Arguments………………………………………………………………………. 84
5.3 Pointers and Arrays ………………………………………………………………………………………….. 87
5.4 Address Arithmetic ………………………………………………………………………………………….. 90
5.5 Character Pointers and Functions……………………………………………………………………….. 93
5.6 Pointer Arrays; Pointers to Pointers……………………………………………………………………. 96
5.7 Multi-dimensional Arrays …………………………………………………………………………………. 99
5.8 Initialization of Pointer Arrays…………………………………………………………………………. 101
5.9 Pointers vs. Multi-dimensional Arrays………………………………………………………………. 101
5.10 Command-line Arguments …………………………………………………………………………….. 102
5.11 Pointers to Functions…………………………………………………………………………………….. 106
5.12 Complicated Declarations ……………………………………………………………………………… 108
Chapter 6 – Structures………………………………………………………………………………………………. 114
6.1 Basics of Structures………………………………………………………………………………………… 114
6.2 Structures and Functions …………………………………………………………………………………. 116
6.3 Arrays of Structures ……………………………………………………………………………………….. 118
6.4 Pointers to Structures ……………………………………………………………………………………… 122
6.5 Self-referential Structures ……………………………………………………………………………….. 124
6.6 Table Lookup ………………………………………………………………………………………………… 127
6.7 Typedef…………………………………………………………………………………………………………. 129
6.8 Unions ………………………………………………………………………………………………………….. 131
6.9 Bit-fields……………………………………………………………………………………………………….. 132
Chapter 7 – Input and Output…………………………………………………………………………………….. 135
7.1 Standard Input and Output ………………………………………………………………………………. 135
7.2 Formatted Output – printf ………………………………………………………………………………… 137
7.3 Variable-length Argument Lists……………………………………………………………………….. 138
7.4 Formatted Input – Scanf…………………………………………………………………………………… 140
7.5 File Access ……………………………………………………………………………………………………. 142
7.6 Error Handling – Stderr and Exit………………………………………………………………………. 145
7.7 Line Input and Output …………………………………………………………………………………….. 146
7.8 Miscellaneous Functions…………………………………………………………………………………. 147
7.8.1 String Operations……………………………………………………………………………………… 147
7.8.2 Character Class Testing and Conversion …………………………………………………….. 148
7.8.3 Ungetc ……………………………………………………………………………………………………. 148
7.8.4 Command Execution………………………………………………………………………………… 148
7.8.5 Storage Management………………………………………………………………………………… 148
7.8.6 Mathematical Functions ……………………………………………………………………………. 149
7.8.7 Random Number generation ……………………………………………………………………… 149
Chapter 8 – The UNIX System Interface…………………………………………………………………….. 151
8.1 File Descriptors ……………………………………………………………………………………………… 151
8.2 Low Level I/O – Read and Write………………………………………………………………………. 152
8.3 Open, Creat, Close, Unlink ……………………………………………………………………………… 153
8.4 Random Access – Lseek ………………………………………………………………………………….. 155
8.5 Example – An implementation of Fopen and Getc………………………………………………. 156
8.6 Example – Listing Directories ………………………………………………………………………….. 159
8.7 Example – A Storage Allocator ………………………………………………………………………… 163
Appendix A – Reference Manual ………………………………………………………………………………. 168
A.1 Introduction ………………………………………………………………………………………………….. 168
4
A.2 Lexical Conventions………………………………………………………………………………………. 168
A.2.1 Tokens …………………………………………………………………………………………………… 168
A.2.2 Comments………………………………………………………………………………………………. 168
A.2.3 Identifiers……………………………………………………………………………………………….. 168
A.2.4 Keywords……………………………………………………………………………………………….. 169
A.2.5 Constants ……………………………………………………………………………………………….. 169
A.2.6 String Literals…………………………………………………………………………………………. 171
A.3 Syntax Notation…………………………………………………………………………………………….. 171
A.4 Meaning of Identifiers……………………………………………………………………………………. 171
A.4.1 Storage Class ………………………………………………………………………………………….. 171
A.4.2 Basic Types ……………………………………………………………………………………………. 172
A.4.3 Derived types………………………………………………………………………………………….. 173
A.4.4 Type Qualifiers……………………………………………………………………………………….. 173
A.5 Objects and Lvalues ………………………………………………………………………………………. 173
A.6 Conversions………………………………………………………………………………………………….. 173
A.6.1 Integral Promotion…………………………………………………………………………………… 174
A.6.2 Integral Conversions………………………………………………………………………………… 174
A.6.3 Integer and Floating…………………………………………………………………………………. 174
A.6.4 Floating Types………………………………………………………………………………………… 174
A.6.5 Arithmetic Conversions……………………………………………………………………………. 174
A.6.6 Pointers and Integers ……………………………………………………………………………….. 175
A.6.7 Void………………………………………………………………………………………………………. 176
A.6.8 Pointers to Void………………………………………………………………………………………. 176
A.7 Expressions…………………………………………………………………………………………………… 176
A.7.1 Pointer Conversion………………………………………………………………………………….. 177
A.7.2 Primary Expressions………………………………………………………………………………… 177
A.7.3 Postfix Expressions …………………………………………………………………………………. 177
A.7.4 Unary Operators ……………………………………………………………………………………… 179
A.7.5 Casts ……………………………………………………………………………………………………… 181
A.7.6 Multiplicative Operators…………………………………………………………………………… 181
A.7.7 Additive Operators ………………………………………………………………………………….. 182
A.7.8 Shift Operators ……………………………………………………………………………………….. 182
A.7.9 Relational Operators………………………………………………………………………………… 183
A.7.10 Equality Operators…………………………………………………………………………………. 183
A.7.11 Bitwise AND Operator…………………………………………………………………………… 183
A.7.12 Bitwise Exclusive OR Operator ………………………………………………………………. 184
A.7.13 Bitwise Inclusive OR Operator ……………………………………………………………….. 184
A.7.14 Logical AND Operator…………………………………………………………………………… 184
A.7.15 Logical OR Operator……………………………………………………………………………… 184
A.7.16 Conditional Operator……………………………………………………………………………… 184
A.7.17 Assignment Expressions…………………………………………………………………………. 185
A.7.18 Comma Operator …………………………………………………………………………………… 185
A.7.19 Constant Expressions …………………………………………………………………………….. 186
A.8 Declarations………………………………………………………………………………………………….. 186
A.8.1 Storage Class Specifiers …………………………………………………………………………… 187
A.8.2 Type Specifiers……………………………………………………………………………………….. 188
A.8.3 Structure and Union Declarations ……………………………………………………………… 188
A.8.4 Enumerations………………………………………………………………………………………….. 191
A.8.5 Declarators……………………………………………………………………………………………… 192
A.8.6 Meaning of Declarators……………………………………………………………………………. 193
A.8.7 Initialization……………………………………………………………………………………………. 196
A.8.8 Type names…………………………………………………………………………………………….. 198
5
A.8.9 Typedef………………………………………………………………………………………………….. 199
A.8.10 Type Equivalence………………………………………………………………………………….. 199
A.9 Statements ……………………………………………………………………………………………………. 199
A.9.1 Labeled Statements………………………………………………………………………………….. 200
A.9.2 Expression Statement ………………………………………………………………………………. 200
A.9.3 Compound Statement ………………………………………………………………………………. 200
A.9.4 Selection Statements………………………………………………………………………………… 201
A.9.5 Iteration Statements…………………………………………………………………………………. 201
A.9.6 Jump statements ……………………………………………………………………………………… 202
A.10 External Declarations …………………………………………………………………………………… 203
A.10.1 Function Definitions………………………………………………………………………………. 203
A.10.2 External Declarations …………………………………………………………………………….. 204
A.11 Scope and Linkage ………………………………………………………………………………………. 205
A.11.1 Lexical Scope ……………………………………………………………………………………….. 205
A.11.2 Linkage………………………………………………………………………………………………… 206
A.12 Preprocessing………………………………………………………………………………………………. 206
A.12.1 Trigraph Sequences ……………………………………………………………………………….. 207
A.12.2 Line Splicing ………………………………………………………………………………………… 207
A.12.3 Macro Definition and Expansion …………………………………………………………….. 207
A.12.4 File Inclusion………………………………………………………………………………………… 209
A.12.5 Conditional Compilation ………………………………………………………………………… 210
A.12.6 Line Control …………………………………………………………………………………………. 211
A.12.7 Error Generation……………………………………………………………………………………. 211
A.12.8 Pragmas ……………………………………………………………………………………………….. 212
A.12.9 Null directive………………………………………………………………………………………… 212
A.12.10 Predefined names ………………………………………………………………………………… 212
A.13 Grammar…………………………………………………………………………………………………….. 212
Appendix B – Standard Library…………………………………………………………………………………. 220
B.1 Input and Output: <stdio.h> ……………………………………………………………………………. 220
B.1.1 File Operations ……………………………………………………………………………………….. 220
B.1.2 Formatted Output…………………………………………………………………………………….. 222
B.1.3 Formatted Input ………………………………………………………………………………………. 223
B.1.4 Character Input and Output Functions………………………………………………………… 225
B.1.5 Direct Input and Output Functions …………………………………………………………….. 225
B.1.6 File Positioning Functions………………………………………………………………………… 226
B.1.7 Error Functions……………………………………………………………………………………….. 226
B.2 Character Class Tests: <ctype.h> …………………………………………………………………….. 226
B.3 String Functions: <string.h>……………………………………………………………………………. 227
B.4 Mathematical Functions: <math.h>………………………………………………………………….. 228
B.5 Utility Functions: <stdlib.h> …………………………………………………………………………… 229
B.6 Diagnostics: <assert.h>…………………………………………………………………………………… 231
B.7 Variable Argument Lists: <stdarg.h> ……………………………………………………………….. 231
B.8 Non-local Jumps: <setjmp.h>………………………………………………………………………….. 232
B.9 Signals: <signal.h> ………………………………………………………………………………………… 232
B.10 Date and Time Functions: <time.h>……………………………………………………………….. 233
B.11 Implementation-defined Limits: <limits.h> and <float.h>
………………………………………………………………………………………………………………………….. 234
Appendix C – Summary of Changes ………………………………………………………………………….. 236
6
Preface
The computing world has undergone a revolution since the publication of The C
Programming Language in 1978. Big computers are much bigger, and personal computers
have capabilities that rival mainframes of a decade ago. During this time, C has changed too,
although only modestly, and it has spread far beyond its origins as the language of the UNIX
operating system.
The growing popularity of C, the changes in the language over the years, and the creation of
compilers by groups not involved in its design, combined to demonstrate a need for a more
precise and more contemporary definition of the language than the first edition of this book
provided. In 1983, the American National Standards Institute (ANSI) established a committee
whose goal was to produce “an unambiguous and machine-independent definition of the
language C”, while still retaining its spirit. The result is the ANSI standard for C.
The standard formalizes constructions that were hinted but not described in the first edition,
particularly structure assignment and enumerations. It provides a new form of function
declaration that permits cross-checking of definition with use. It specifies a standard library,
with an extensive set of functions for performing input and output, memory management,
string manipulation, and similar tasks. It makes precise the behavior of features that were not
spelled out in the original definition, and at the same time states explicitly which aspects of
the language remain machine-dependent.
This Second Edition of The C Programming Language describes C as defined by the ANSI
standard. Although we have noted the places where the language has evolved, we have chosen
to write exclusively in the new form. For the most part, this makes no significant difference;
the most visible change is the new form of function declaration and definition. Modern
compilers already support most features of the standard.
We have tried to retain the brevity of the first edition. C is not a big language, and it is not
well served by a big book. We have improved the exposition of critical features, such as
pointers, that are central to C programming. We have refined the original examples, and have
added new examples in several chapters. For instance, the treatment of complicated
declarations is augmented by programs that convert declarations into words and vice versa.
As before, all examples have been tested directly from the text, which is in machine-readable
form.
Appendix A, the reference manual, is not the standard, but our attempt to convey the
essentials of the standard in a smaller space. It is meant for easy comprehension by
programmers, but not as a definition for compiler writers — that role properly belongs to the
standard itself. Appendix B is a summary of the facilities of the standard library. It too is
meant for reference by programmers, not implementers. Appendix C is a concise summary of
the changes from the original version.
As we said in the preface to the first edition, C “wears well as one’s experience with it
grows”. With a decade more experience, we still feel that way. We hope that this book will
help you learn C and use it well.
7
We are deeply indebted to friends who helped us to produce this second edition. Jon Bently,
Doug Gwyn, Doug McIlroy, Peter Nelson, and Rob Pike gave us perceptive comments on
almost every page of draft manuscripts. We are grateful for careful reading by Al Aho, Dennis
Allison, Joe Campbell, G.R. Emlin, Karen Fortgang, Allen Holub, Andrew Hume, Dave
Kristol, John Linderman, Dave Prosser, Gene Spafford, and Chris van Wyk. We also received
helpful suggestions from Bill Cheswick, Mark Kernighan, Andy Koenig, Robin Lake, Tom
London, Jim Reeds, Clovis Tondo, and Peter Weinberger. Dave Prosser answered many
detailed questions about the ANSI standard. We used Bjarne Stroustrup’s C++ translator
extensively for local testing of our programs, and Dave Kristol provided us with an ANSI C
compiler for final testing. Rich Drechsler helped greatly with typesetting.
Our sincere thanks to all.
Brian W. Kernighan
Dennis M. Ritchie
8
Preface to the first edition
C is a general-purpose programming language with features economy of expression, modern
flow control and data structures, and a rich set of operators. C is not a “very high level”
language, nor a “big” one, and is not specialized to any particular area of application. But its
absence of restrictions and its generality make it more convenient and effective for many
tasks than supposedly more powerful languages.
C was originally designed for and implemented on the UNIX operating system on the DEC
PDP-11, by Dennis Ritchie. The operating system, the C compiler, and essentially all UNIX
applications programs (including all of the software used to prepare this book) are written in
C. Production compilers also exist for several other machines, including the IBM System/370,
the Honeywell 6000, and the Interdata 8/32. C is not tied to any particular hardware or
system, however, and it is easy to write programs that will run without change on any
machine that supports C.
This book is meant to help the reader learn how to program in C. It contains a tutorial
introduction to get new users started as soon as possible, separate chapters on each major
feature, and a reference manual. Most of the treatment is based on reading, writing and
revising examples, rather than on mere statements of rules. For the most part, the examples
are complete, real programs rather than isolated fragments. All examples have been tested
directly from the text, which is in machine-readable form. Besides showing how to make
effective use of the language, we have also tried where possible to illustrate useful algorithms
and principles of good style and sound design.
The book is not an introductory programming manual; it assumes some familiarity with basic
programming concepts like variables, assignment statements, loops, and functions.
Nonetheless, a novice programmer should be able to read along and pick up the language,
although access to more knowledgeable colleague will help.
In our experience, C has proven to be a pleasant, expressive and versatile language for a wide
variety of programs. It is easy to learn, and it wears well as on’s experience with it grows. We
hope that this book will help you to use it well.
The thoughtful criticisms and suggestions of many friends and colleagues have added greatly
to this book and to our pleasure in writing it. In particular, Mike Bianchi, Jim Blue, Stu
Feldman, Doug McIlroy Bill Roome, Bob Rosin and Larry Rosler all read multiple volumes
with care. We are also indebted to Al Aho, Steve Bourne, Dan Dvorak, Chuck Haley, Debbie
Haley, Marion Harris, Rick Holt, Steve Johnson, John Mashey, Bob Mitze, Ralph Muha,
Peter Nelson, Elliot Pinson, Bill Plauger, Jerry Spivack, Ken Thompson, and Peter
Weinberger for helpful comments at various stages, and to Mile Lesk and Joe Ossanna for
invaluable assistance with typesetting.
Brian W. Kernighan
Dennis M. Ritchie
9
Chapter 1 – A Tutorial Introduction
Let us begin with a quick introduction in C. Our aim is to show the essential elements of the
language in real programs, but without getting bogged down in details, rules, and exceptions.
At this point, we are not trying to be complete or even precise (save that the examples are
meant to be correct). We want to get you as quickly as possible to the point where you can
write useful programs, and to do that we have to concentrate on the basics: variables and
constants, arithmetic, control flow, functions, and the rudiments of input and output. We are
intentionally leaving out of this chapter features of C that are important for writing bigger
programs. These include pointers, structures, most of C’s rich set of operators, several controlflow statements, and the standard library.
This approach and its drawbacks. Most notable is that the complete story on any particular
feature is not found here, and the tutorial, by being brief, may also be misleading. And
because the examples do not use the full power of C, they are not as concise and elegant as
they might be. We have tried to minimize these effects, but be warned. Another drawback is
that later chapters will necessarily repeat some of this chapter. We hope that the repetition
will help you more than it annoys.
In any case, experienced programmers should be able to extrapolate from the material in this
chapter to their own programming needs. Beginners should supplement it by writing small,
similar programs of their own. Both groups can use it as a framework on which to hang the
more detailed descriptions that begin in Chapter 2.
1.1 Getting Started
The only way to learn a new programming language is by writing programs in it. The first
program to write is the same for all languages:
Print the words
hello, world
This is a big hurdle; to leap over it you have to be able to create the program text somewhere,
compile it successfully, load it, run it, and find out where your output went. With these
mechanical details mastered, everything else is comparatively easy.
In C, the program to print “hello, world” is
#include <stdio.h>
main()
{
printf(“hello, worldn”);
}
Just how to run this program depends on the system you are using. As a specific example, on
the UNIX operating system you must create the program in a file whose name ends in “.c”,
such as hello.c, then compile it with the command
cc hello.c
10
If you haven’t botched anything, such as omitting a character or misspelling something, the
compilation will proceed silently, and make an executable file called a.out. If you run a.out
by typing the command
a.out
it will print
hello, world
On other systems, the rules will be different; check with a local expert.
Now, for some explanations about the program itself. A C program, whatever its size, consists
of functions and variables. A function contains statements that specify the computing
operations to be done, and variables store values used during the computation. C functions are
like the subroutines and functions in Fortran or the procedures and functions of Pascal. Our
example is a function named main. Normally you are at liberty to give functions whatever
names you like, but “main” is special – your program begins executing at the beginning of
main. This means that every program must have a main somewhere.
main will usually call other functions to help perform its job, some that you wrote, and others
from libraries that are provided for you. The first line of the program,
#include <stdio.h>
tells the compiler to include information about the standard input/output library; the line
appears at the beginning of many C source files. The standard library is described in Chapter
7 and Appendix B.
One method of communicating data between functions is for the calling function to provide a
list of values, called arguments, to the function it calls. The parentheses after the function
name surround the argument list. In this example, main is defined to be a function that expects
no arguments, which is indicated by the empty list ( ).
#include <stdio.h> library main() |
include information about standard |
define a function called main that received no argument values statements of main are enclosed in braces main calls library function printf to print this sequence of characters |
|
{ printf(“hello, worldn”); |
} n represents the newline character
The first C program
The statements of a function are enclosed in braces { }. The function main contains only one
statement,
printf(“hello, worldn”);
11
A function is called by naming it, followed by a parenthesized list of arguments, so this calls
the function printf with the argument “hello, worldn”. printf is a library function that
prints output, in this case the string of characters between the quotes.
A sequence of characters in double quotes, like “hello, worldn”, is called a character
string or string constant. For the moment our only use of character strings will be as
arguments for printf and other functions.
The sequence n in the string is C notation for the newline character, which when printed
advances the output to the left margin on the next line. If you leave out the n (a worthwhile
experiment), you will find that there is no line advance after the output is printed. You must
use n to include a newline character in the printf argument; if you try something like
printf(“hello, world
“);
the C compiler will produce an error message.
printf never supplies a newline character automatically, so several calls may be used to
build up an output line in stages. Our first program could just as well have been written
#include <stdio.h>
main()
{
printf(“hello, “);
printf(“world”);
printf(“n”);
}
to produce identical output.
Notice that n represents only a single character. An escape sequence like n provides a
general and extensible mechanism for representing hard-to-type or invisible characters.
Among the others that C provides are t for tab, b for backspace, ” for the double quote
and \ for the backslash itself. There is a complete list in Section 2.3.
Exercise 1-1. Run the “hello, world” program on your system. Experiment with leaving
out parts of the program, to see what error messages you get.
Exercise 1-2. Experiment to find out what happens when prints‘s argument string contains
c, where c is some character not listed above.
1.2 Variables and Arithmetic Expressions
The next program uses the formula oC=(5/9)(oF-32) to print the following table of Fahrenheit
temperatures and their centigrade or Celsius equivalents:
12
1 -17
20 -6
40 4
60 15
80 26
100 37
120 48
140 60
160 71
180 82
200 93
220 104
240 115
260 126
280 137
300 148
The program itself still consists of the definition of a single function named main. It is longer
than the one that printed “hello, world”, but not complicated. It introduces several new
ideas, including comments, declarations, variables, arithmetic expressions, loops , and
formatted output.
#include <stdio.h>
/* print Fahrenheit-Celsius table
for fahr = 0, 20, …, 300 */
main()
{
int fahr, celsius;
int lower, upper, step;
lower = 0; /* lower limit of temperature scale */
upper = 300; /* upper limit */
step = 20; /* step size */
fahr = lower;
while (fahr <= upper) {
celsius = 5 * (fahr-32) / 9;
printf(“%dt%dn”, fahr, celsius);
fahr = fahr + step;
}
}
The two lines
/* print Fahrenheit-Celsius table
for fahr = 0, 20, …, 300 */
are a comment, which in this case explains briefly what the program does. Any characters
between /* and */ are ignored by the compiler; they may be used freely to make a program
easier to understand. Comments may appear anywhere where a blank, tab or newline can.
In C, all variables must be declared before they are used, usually at the beginning of the
function before any executable statements. A declaration announces the properties of
variables; it consists of a name and a list of variables, such as
int fahr, celsius;
int lower, upper, step;
The type int means that the variables listed are integers; by contrast with float, which
means floating point, i.e., numbers that may have a fractional part. The range of both int and
float depends on the machine you are using; 16-bits ints, which lie between -32768 and
13
+32767, are common, as are 32-bit ints. A float number is typically a 32-bit quantity, with
at least six significant digits and magnitude generally between about 10-38 and 1038.
C provides several other data types besides int and float, including:
char | character – a single byte |
short | short integer |
long | long integer |
double | double-precision floating point |
The size of these objects is also machine-dependent. There are also arrays, structures and
unions of these basic types, pointers to them, and functions that return them, all of which we
will meet in due course.
Computation in the temperature conversion program begins with the assignment statements
lower = 0;
upper = 300;
step = 20;
which set the variables to their initial values. Individual statements are terminated by
semicolons.
Each line of the table is computed the same way, so we use a loop that repeats once per output
line; this is the purpose of the while loop
while (fahr <= upper) {
…
}
The while loop operates as follows: The condition in parentheses is tested. If it is true (fahr
is less than or equal to upper), the body of the loop (the three statements enclosed in braces)
is executed. Then the condition is re-tested, and if true, the body is executed again. When the
test becomes false (fahr exceeds upper) the loop ends, and execution continues at the
statement that follows the loop. There are no further statements in this program, so it
terminates.
The body of a while can be one or more statements enclosed in braces, as in the temperature
converter, or a single statement without braces, as in
while (i < j)
i = 2 * i;
In either case, we will always indent the statements controlled by the while by one tab stop
(which we have shown as four spaces) so you can see at a glance which statements are inside
the loop. The indentation emphasizes the logical structure of the program. Although C
compilers do not care about how a program looks, proper indentation and spacing are critical
in making programs easy for people to read. We recommend writing only one statement per
line, and using blanks around operators to clarify grouping. The position of braces is less
important, although people hold passionate beliefs. We have chosen one of several popular
styles. Pick a style that suits you, then use it consistently.
14
Most of the work gets done in the body of the loop. The Celsius temperature is computed and
assigned to the variable celsius by the statement
celsius = 5 * (fahr-32) / 9;
The reason for multiplying by 5 and dividing by 9 instead of just multiplying by 5/9 is that in
C, as in many other languages, integer division truncates: any fractional part is discarded.
Since 5 and 9 are integers. 5/9 would be truncated to zero and so all the Celsius temperatures
would be reported as zero.
This example also shows a bit more of how printf works. printf is a general-purpose
output formatting function, which we will describe in detail in Chapter 7. Its first argument is
a string of characters to be printed, with each % indicating where one of the other (second,
third, …) arguments is to be substituted, and in what form it is to be printed. For instance, %d
specifies an integer argument, so the statement
printf(“%dt%dn”, fahr, celsius);
causes the values of the two integers fahr and celsius to be printed, with a tab (t) between
them.
Each % construction in the first argument of printf is paired with the corresponding second
argument, third argument, etc.; they must match up properly by number and type, or you will
get wrong answers.
By the way, printf is not part of the C language; there is no input or output defined in C
itself. printf is just a useful function from the standard library of functions that are normally
accessible to C programs. The behaviour of printf is defined in the ANSI standard, however,
so its properties should be the same with any compiler and library that conforms to the
standard.
In order to concentrate on C itself, we don’t talk much about input and output until chapter 7.
In particular, we will defer formatted input until then. If you have to input numbers, read the
discussion of the function scanf in Section 7.4. scanf is like printf, except that it reads
input instead of writing output.
There are a couple of problems with the temperature conversion program. The simpler one is
that the output isn’t very pretty because the numbers are not right-justified. That’s easy to fix;
if we augment each %d in the printf statement with a width, the numbers printed will be
right-justified in their fields. For instance, we might say
printf(“%3d %6dn”, fahr, celsius);
to print the first number of each line in a field three digits wide, and the second in a field six
digits wide, like this:
0 -17
20 -6
40 4
60 15
80 26
100 37
…
15
The more serious problem is that because we have used integer arithmetic, the Celsius
temperatures are not very accurate; for instance, 0oF is actually about -17.8oC, not -17. To get
more accurate answers, we should use floating-point arithmetic instead of integer. This
requires some changes in the program. Here is the second version:
#include <stdio.h>
/* print Fahrenheit-Celsius table
for fahr = 0, 20, …, 300; floating-point version */
main()
{
float fahr, celsius;
float lower, upper, step;
lower = 0; /* lower limit of temperatuire scale */
upper = 300; /* upper limit */
step = 20; /* step size */
fahr = lower;
while (fahr <= upper) {
celsius = (5.0/9.0) * (fahr-32.0);
printf(“%3.0f %6.1fn”, fahr, celsius);
fahr = fahr + step;
}
}
This is much the same as before, except that fahr and celsius are declared to be float and
the formula for conversion is written in a more natural way. We were unable to use 5/9 in the
previous version because integer division would truncate it to zero. A decimal point in a
constant indicates that it is floating point, however, so 5.0/9.0 is not truncated because it is
the ratio of two floating-point values.
If an arithmetic operator has integer operands, an integer operation is performed. If an
arithmetic operator has one floating-point operand and one integer operand, however, the
integer will be converted to floating point before the operation is done. If we had written
(fahr-32), the 32 would be automatically converted to floating point. Nevertheless, writing
floating-point constants with explicit decimal points even when they have integral values
emphasizes their floating-point nature for human readers.
The detailed rules for when integers are converted to floating point are in Chapter 2. For now,
notice that the assignment
fahr = lower;
and the test
while (fahr <= upper)
also work in the natural way – the int is converted to float before the operation is done.
The printf conversion specification %3.0f says that a floating-point number (here fahr) is
to be printed at least three characters wide, with no decimal point and no fraction digits.
%6.1f describes another number (celsius) that is to be printed at least six characters wide,
with 1 digit after the decimal point. The output looks like this:
0 -17.8
20 -6.7
40 4.4
…
16
Width and precision may be omitted from a specification: %6f says that the number is to be at
least six characters wide; %.2f specifies two characters after the decimal point, but the width
is not constrained; and %f merely says to print the number as floating point.
%d | print as decimal integer |
%6d | print as decimal integer, at least 6 characters wide |
%f | print as floating point |
%6f | print as floating point, at least 6 characters wide |
%.2f | print as floating point, 2 characters after decimal point |
%6.2f | print as floating point, at least 6 wide and 2 after decimal point |
Among others, printf also recognizes %o for octal, %x for hexadecimal, %c for character, %s
for character string and %% for itself.
Exercise 1-3. Modify the temperature conversion program to print a heading above the table.
Exercise 1-4. Write a program to print the corresponding Celsius to Fahrenheit table.
1.3 The for statement
There are plenty of different ways to write a program for a particular task. Let’s try a variation
on the temperature converter.
#include <stdio.h>
/* print Fahrenheit-Celsius table */
main()
{
int fahr;
for (fahr = 0; fahr <= 300; fahr = fahr + 20)
printf(“%3d %6.1fn”, fahr, (5.0/9.0)*(fahr-32));
}
This produces the same answers, but it certainly looks different. One major change is the
elimination of most of the variables; only fahr remains, and we have made it an int. The
lower and upper limits and the step size appear only as constants in the for statement, itself a
new construction, and the expression that computes the Celsius temperature now appears as
the third argument of printf instead of a separate assignment statement.
This last change is an instance of a general rule – in any context where it is permissible to use
the value of some type, you can use a more complicated expression of that type. Since the
third argument of printf must be a floating-point value to match the %6.1f, any floatingpoint expression can occur here.
The for statement is a loop, a generalization of the while. If you compare it to the earlier
while, its operation should be clear. Within the parentheses, there are three parts, separated
by semicolons. The first part, the initialization
fahr = 0
17
is done once, before the loop proper is entered. The second part is the
test or condition that controls the loop:
fahr <= 300
This condition is evaluated; if it is true, the body of the loop (here a single ptintf) is
executed. Then the increment step
fahr = fahr + 20
is executed, and the condition re-evaluated. The loop terminates if the condition has become
false. As with the while, the body of the loop can be a single statement or a group of
statements enclosed in braces. The initialization, condition and increment can be any
expressions.
The choice between while and for is arbitrary, based on which seems clearer. The for is
usually appropriate for loops in which the initialization and increment are single statements
and logically related, since it is more compact than while and it keeps the loop control
statements together in one place.
Exercise 1-5. Modify the temperature conversion program to print the table in reverse order,
that is, from 300 degrees to 0.
1.4 Symbolic Constants
A final observation before we leave temperature conversion forever. It’s bad practice to bury
“magic numbers” like 300 and 20 in a program; they convey little information to someone
who might have to read the program later, and they are hard to change in a systematic way.
One way to deal with magic numbers is to give them meaningful names. A #define line
defines a symbolic name or symbolic constant to be a particular string of characters:
#define name replacement list
Thereafter, any occurrence of name (not in quotes and not part of another name) will be
replaced by the corresponding replacement text. The name has the same form as a variable
name: a sequence of letters and digits that begins with a letter. The replacement text can be
any sequence of characters; it is not limited to numbers.
#include <stdio.h>
#define LOWER 0 /* lower limit of table */
#define UPPER 300 /* upper limit */
#define STEP 20 /* step size */
/* print Fahrenheit-Celsius table */
main()
{
int fahr;
for (fahr = LOWER; fahr <= UPPER; fahr = fahr + STEP)
printf(“%3d %6.1fn”, fahr, (5.0/9.0)*(fahr-32));
}
The quantities LOWER, UPPER and STEP are symbolic constants, not variables, so they do not
appear in declarations. Symbolic constant names are conventionally written in upper case so
they can ber readily distinguished from lower case variable names. Notice that there is no
semicolon at the end of a #define line.
18
1.5 Character Input and Output
We are going to consider a family of related programs for processing character data. You will
find that many programs are just expanded versions of the prototypes that we discuss here.
The model of input and output supported by the standard library is very simple. Text input or
output, regardless of where it originates or where it goes to, is dealt with as streams of
characters. A text stream is a sequence of characters divided into lines; each line consists of
zero or more characters followed by a newline character. It is the responsibility of the library
to make each input or output stream confirm this model; the C programmer using the library
need not worry about how lines are represented outside the program.
The standard library provides several functions for reading or writing one character at a time,
of which getchar and putchar are the simplest. Each time it is called, getchar reads the
next input character from a text stream and returns that as its value. That is, after
c = getchar();
the variable c contains the next character of input. The characters normally come from the
keyboard; input from files is discussed in Chapter 7.
The function putchar prints a character each time it is called:
putchar(c);
prints the contents of the integer variable c as a character, usually on the screen. Calls to
putchar and printf may be interleaved; the output will appear in the order in which the calls
are made.
1.5.1 File Copying
Given getchar and putchar, you can write a surprising amount of useful code without
knowing anything more about input and output. The simplest example is a program that
copies its input to its output one character at a time:
read a character
while (charater is not end-of-file indicator)
output the character just read
read a character
Converting this into C gives:
#include <stdio.h>
/* copy input to output; 1st version */
main()
{
int c;
c = getchar();
while (c != EOF) {
putchar(c);
c = getchar();
}
}
The relational operator != means “not equal to”.
19
What appears to be a character on the keyboard or screen is of course, like everything else,
stored internally just as a bit pattern. The type char is specifically meant for storing such
character data, but any integer type can be used. We used int for a subtle but important
reason.
The problem is distinguishing the end of input from valid data. The solution is that getchar
returns a distinctive value when there is no more input, a value that cannot be confused with
any real character. This value is called EOF, for “end of file”. We must declare c to be a type
big enough to hold any value that getchar returns. We can’t use char since c must be big
enough to hold EOF in addition to any possible char. Therefore we use int.
EOF is an integer defined in <stdio.h>, but the specific numeric value doesn’t matter as long as
it is not the same as any char value. By using the symbolic constant, we are assured that
nothing in the program depends on the specific numeric value.
The program for copying would be written more concisely by experienced C programmers. In
C, any assignment, such as
c = getchar();
is an expression and has a value, which is the value of the left hand side after the assignment.
This means that a assignment can appear as part of a larger expression. If the assignment of a
character to c is put inside the test part of a while loop, the copy program can be written this
way:
#include <stdio.h>
/* copy input to output; 2nd version */
main()
{
int c;
while ((c = getchar()) != EOF)
putchar(c);
}
The while gets a character, assigns it to c, and then tests whether the character was the endof-file signal. If it was not, the body of the while is executed, printing the character. The
while then repeats. When the end of the input is finally reached, the while terminates and so
does main.
This version centralizes the input – there is now only one reference to getchar – and shrinks
the program. The resulting program is more compact, and, once the idiom is mastered, easier
to read. You’ll see this style often. (It’s possible to get carried away and create impenetrable
code, however, a tendency that we will try to curb.)
The parentheses around the assignment, within the condition are necessary. The precedence
of != is higher than that of =, which means that in the absence of parentheses the relational
test != would be done before the assignment =. So the statement
c = getchar() != EOF
is equivalent to
c = (getchar() != EOF)
20
This has the undesired effect of setting c to 0 or 1, depending on whether or not the call of
getchar returned end of file. (More on this in Chapter 2.)
Exercsise 1-6. Verify that the expression getchar() != EOF is 0 or 1.
Exercise 1-7. Write a program to print the value of EOF.
1.5.2 Character Counting
The next program counts characters; it is similar to the copy program.
#include <stdio.h>
/* count characters in input; 1st version */
main()
{
long nc;
nc = 0;
while (getchar() != EOF)
++nc;
printf(“%ldn”, nc);
}
The statement
++nc;
presents a new operator, ++, which means increment by one. You could instead write nc = nc
+ 1 but ++nc is more concise and often more efficient. There is a corresponding operator —
to decrement by 1. The operators ++ and — can be either prefix operators (++nc) or postfix
operators (nc++); these two forms have different values in expressions, as will be shown in
Chapter 2, but ++nc and nc++ both increment nc. For the moment we will will stick to the
prefix form.
The character counting program accumulates its count in a long variable instead of an int.
long integers are at least 32 bits. Although on some machines, int and long are the same
size, on others an int is 16 bits, with a maximum value of 32767, and it would take relatively
little input to overflow an int counter. The conversion specification %ld tells printf that the
corresponding argument is a long integer.
It may be possible to cope with even bigger numbers by using a double (double precision
float). We will also use a for statement instead of a while, to illustrate another way to write
the loop.
#include <stdio.h>
/* count characters in input; 2nd version */
main()
{
double nc;
for (nc = 0; gechar() != EOF; ++nc)
;
printf(“%.0fn”, nc);
}
21
printf uses %f for both float and double; %.0f suppresses the printing of the decimal point
and the fraction part, which is zero.
The body of this for loop is empty, because all the work is done in the test and increment
parts. But the grammatical rules of C require that a for statement have a body. The isolated
semicolon, called a null statement, is there to satisfy that requirement. We put it on a separate
line to make it visible.
Before we leave the character counting program, observe that if the input contains no
characters, the while or for test fails on the very first call to getchar, and the program
produces zero, the right answer. This is important. One of the nice things about while and
for is that they test at the top of the loop, before proceeding with the body. If there is nothing
to do, nothing is done, even if that means never going through the loop body. Programs
should act intelligently when given zero-length input. The while and for statements help
ensure that programs do reasonable things with boundary conditions.
1.5.3 Line Counting
The next program counts input lines. As we mentioned above, the standard library ensures
that an input text stream appears as a sequence of lines, each terminated by a newline. Hence,
counting lines is just counting newlines:
#include <stdio.h>
/* count lines in input */
main()
{
int c, nl;
nl = 0;
while ((c = getchar()) != EOF)
if (c == ‘n’)
++nl;
printf(“%dn”, nl);
}
The body of the while now consists of an if, which in turn controls the increment ++nl. The
if statement tests the parenthesized condition, and if the condition is true, executes the
statement (or group of statements in braces) that follows. We have again indented to show
what is controlled by what.
The double equals sign == is the C notation for “is equal to” (like Pascal’s single = or
Fortran’s .EQ.). This symbol is used to distinguish the equality test from the single = that C
uses for assignment. A word of caution: newcomers to C occasionally write = when they
mean ==. As we will see in Chapter 2, the result is usually a legal expression, so you will get
no warning.
A character written between single quotes represents an integer value equal to the numerical
value of the character in the machine’s character set. This is called a character constant,
although it is just another way to write a small integer. So, for example, ‘A’ is a character
constant; in the ASCII character set its value is 65, the internal representation of the character
A. Of course, ‘A’ is to be preferred over 65: its meaning is obvious, and it is independent of a
particular character set.
22
The escape sequences used in string constants are also legal in character constants, so ‘n’
stands for the value of the newline character, which is 10 in ASCII. You should note carefully
that ‘n’ is a single character, and in expressions is just an integer; on the other hand, ‘n’ is
a string constant that happens to contain only one character. The topic of strings versus
characters is discussed further in Chapter 2.
Exercise 1-8. Write a program to count blanks, tabs, and newlines.
Exercise 1-9. Write a program to copy its input to its output, replacing each string of one or
more blanks by a single blank.
Exercise 1-10. Write a program to copy its input to its output, replacing each tab by t, each
backspace by b, and each backslash by \. This makes tabs and backspaces visible in an
unambiguous way.
1.5.4 Word Counting
The fourth in our series of useful programs counts lines, words, and characters, with the loose
definition that a word is any sequence of characters that does not contain a blank, tab or
newline. This is a bare-bones version of the UNIX program wc.
#include <stdio.h>
#define IN 1 /* inside a word */
#define OUT 0 /* outside a word */
/* count lines, words, and characters in input */
main()
{
int c, nl, nw, nc, state;
state = OUT;
nl = nw = nc = 0;
while ((c = getchar()) != EOF) {
++nc;
if (c == ‘n’)
++nl;
if (c == ‘ ‘ || c == ‘n’ || c = ‘t’)
state = OUT;
else if (state == OUT) {
state = IN;
++nw;
}
}
printf(“%d %d %dn”, nl, nw, nc);
}
Every time the program encounters the first character of a word, it counts one more word. The
variable state records whether the program is currently in a word or not; initially it is “not in
a word”, which is assigned the value OUT. We prefer the symbolic constants IN and OUT to the
literal values 1 and 0 because they make the program more readable. In a program as tiny as
this, it makes little difference, but in larger programs, the increase in clarity is well worth the
modest extra effort to write it this way from the beginning. You’ll also find that it’s easier to
make extensive changes in programs where magic numbers appear only as symbolic
constants.
23
The line
nl = nw = nc = 0;
sets all three variables to zero. This is not a special case, but a consequence of the fact that an
assignment is an expression with the value and assignments associated from right to left. It’s
as if we had written
nl = (nw = (nc = 0));
The operator || means OR, so the line
if (c == ‘ ‘ || c == ‘n’ || c = ‘t’)
says “if c is a blank or c is a newline or c is a tab”. (Recall that the escape sequence t is a
visible representation of the tab character.) There is a corresponding operator && for AND; its
precedence is just higher than ||. Expressions connected by && or || are evaluated left to
right, and it is guaranteed that evaluation will stop as soon as the truth or falsehood is known.
If c is a blank, there is no need to test whether it is a newline or tab, so these tests are not
made. This isn’t particularly important here, but is significant in more complicated situations,
as we will soon see.
The example also shows an else, which specifies an alternative action if the condition part of
an if statement is false. The general form is
if (expression)
statement1
else
statement2
One and only one of the two statements associated with an if-else is performed. If the
expression is true, statement1 is executed; if not, statement2 is executed. Each statement can
be a single statement or several in braces. In the word count program, the one after the else is
an if that controls two statements in braces.
Exercise 1-11. How would you test the word count program? What kinds of input are most
likely to uncover bugs if there are any?
Exercise 1-12. Write a program that prints its input one word per line.
1.6 Arrays
Let is write a program to count the number of occurrences of each digit, of white space
characters (blank, tab, newline), and of all other characters. This is artificial, but it permits us
to illustrate several aspects of C in one program.
There are twelve categories of input, so it is convenient to use an array to hold the number of
occurrences of each digit, rather than ten individual variables. Here is one version of the
program:
24
#include <stdio.h>
/* count digits, white space, others */
main()
{
int c, i, nwhite, nother;
int ndigit[10];
nwhite = nother = 0;
for (i = 0; i < 10; ++i)
ndigit[i] = 0;
while ((c = getchar()) != EOF)
if (c >= ‘0’ && c <= ‘9’)
++ndigit[c-‘0’];
else if (c == ‘ ‘ || c == ‘n’ || c == ‘t’)
++nwhite;
else
++nother;
printf(“digits =”);
for (i = 0; i < 10; ++i)
printf(” %d”, ndigit[i]);
printf(“, white space = %d, other = %dn”,
nwhite, nother);
}
The output of this program on itself is
digits = 9 3 0 0 0 0 0 0 0 1, white space = 123, other = 345
The declaration
int ndigit[10];
declares ndigit to be an array of 10 integers. Array subscripts always start at zero in C, so
the elements are ndigit[0], ndigit[1], …, ndigit[9]. This is reflected in the for
loops that initialize and print the array.
A subscript can be any integer expression, which includes integer variables like i, and integer
constants.
This particular program relies on the properties of the character representation of the digits.
For example, the test
if (c >= ‘0’ && c <= ‘9’)
determines whether the character in c is a digit. If it is, the numeric value of that digit is
c – ‘0’
This works only if ‘0’, ‘1’, …, ‘9’ have consecutive increasing values. Fortunately,
this is true for all character sets.
By definition, chars are just small integers, so char variables and constants are identical to
ints in arithmetic expressions. This is natural and convenient; for example c-‘0’ is an
integer expression with a value between 0 and 9 corresponding to the character ‘0’ to ‘9’
stored in c, and thus a valid subscript for the array ndigit.
The decision as to whether a character is a digit, white space, or something else is made with
the sequence
25
if (c >= ‘0’ && c <= ‘9’)
++ndigit[c-‘0’];
else if (c == ‘ ‘ || c == ‘n’ || c == ‘t’)
++nwhite;
else
++nother;
The pattern
if (condition1)
statement1
else if (condition2)
statement2
…
…
else
statementn
occurs frequently in programs as a way to express a multi-way decision. The conditions are
evaluated in order from the top until some condition is satisfied; at that point the
corresponding statement part is executed, and the entire construction is finished. (Any
statement can be several statements enclosed in braces.) If none of the conditions is satisfied,
the statement after the final else is executed if it is present. If the final else and statement
are omitted, as in the word count program, no action takes place. There can be any number of
else if(condition)
statement
groups between the initial if and the final else.
As a matter of style, it is advisable to format this construction as we have shown; if each if
were indented past the previous else, a long sequence of decisions would march off the right
side of the page.
The switch statement, to be discussed in Chapter 4, provides another way to write a multiway branch that is particulary suitable when the condition is whether some integer or
character expression matches one of a set of constants. For contrast, we will present a switch
version of this program in Section 3.4.
Exercise 1-13. Write a program to print a histogram of the lengths of words in its input. It is
easy to draw the histogram with the bars horizontal; a vertical orientation is more challenging.
Exercise 1-14. Write a program to print a histogram of the frequencies of different characters
in its input.
1.7 Functions
In C, a function is equivalent to a subroutine or function in Fortran, or a procedure or function
in Pascal. A function provides a convenient way to encapsulate some computation, which can
then be used without worrying about its implementation. With properly designed functions, it
is possible to ignore how a job is done; knowing what is done is sufficient. C makes the sue of
functions easy, convinient and efficient; you will often see a short function defined and called
only once, just because it clarifies some piece of code.
26
So far we have used only functions like printf, getchar and putchar that have been
provided for us; now it’s time to write a few of our own. Since C has no exponentiation
operator like the ** of Fortran, let us illustrate the mechanics of function definition by writing
a function power(m,n) to raise an integer m to a positive integer power n. That is, the value of
power(2,5) is 32. This function is not a practical exponentiation routine, since it handles
only positive powers of small integers, but it’s good enough for illustration.(The standard
library contains a function pow(x,y) that computes xy.)
Here is the function power and a main program to exercise it, so you can see the whole
structure at once.
#include <stdio.h>
int power(int m, int n);
/* test power function */
main()
{
int i;
for (i = 0; i < 10; ++i)
printf(“%d %d %dn”, i, power(2,i), power(-3,i));
return 0;
}
/* power: raise base to n-th power; n >= 0 */
int power(int base, int n)
{
int i, p;
p = 1;
for (i = 1; i <= n; ++i)
p = p * base;
return p;
}
A function definition has this form:
return-type function-name(parameter declarations, if any)
{
declarations
statements
}
Function definitions can appear in any order, and in one source file or several, although no
function can be split between files. If the source program appears in several files, you may
have to say more to compile and load it than if it all appears in one, but that is an operating
system matter, not a language attribute. For the moment, we will assume that both functions
are in the same file, so whatever you have learned about running C programs will still work.
The function power is called twice by main, in the line
printf(“%d %d %dn”, i, power(2,i), power(-3,i));
Each call passes two arguments to power, which each time returns an integer to be formatted
and printed. In an expression, power(2,i) is an integer just as 2 and i are. (Not all functions
produce an integer value; we will take this up in Chapter 4.)
The first line of power itself,
27
int power(int base, int n)
declares the parameter types and names, and the type of the result that the function returns.
The names used by power for its parameters are local to power, and are not visible to any
other function: other routines can use the same names without conflict. This is also true of the
variables i and p: the i in power is unrelated to the i in main.
We will generally use parameter for a variable named in the parenthesized list in a function.
The terms formal argument and actual argument are sometimes used for the same distinction.
The value that power computes is returned to main by the return: statement. Any expression
may follow return:
return expression;
A function need not return a value; a return statement with no expression causes control, but
no useful value, to be returned to the caller, as does “falling off the end” of a function by
reaching the terminating right brace. And the calling function can ignore a value returned by a
function.
You may have noticed that there is a return statement at the end of main. Since main is a
function like any other, it may return a value to its caller, which is in effect the environment in
which the program was executed. Typically, a return value of zero implies normal
termination; non-zero values signal unusual or erroneous termination conditions. In the
interests of simplicity, we have omitted return statements from our main functions up to this
point, but we will include them hereafter, as a reminder that programs should return status to
their environment.
The declaration
int power(int base, int n);
just before main says that power is a function that expects two int arguments and returns an
int. This declaration, which is called a function prototype, has to agree with the definition
and uses of power. It is an error if the definition of a function or any uses of it do not agree
with its prototype.
parameter names need not agree. Indeed, parameter names are optional in a function
prototype, so for the prototype we could have written
int power(int, int);
Well-chosen names are good documentation however, so we will often use them.
A note of history: the biggest change between ANSI C and earlier versions is how functions
are declared and defined. In the original definition of C, the power function would have been
written like this:
28
/* power: raise base to n-th power; n >= 0 */
/* (old-style version) */
power(base, n)
int base, n;
{
int i, p;
p = 1;
for (i = 1; i <= n; ++i)
p = p * base;
return p;
}
The parameters are named between the parentheses, and their types are declared before
opening the left brace; undeclared parameters are taken as int. (The body of the function is
the same as before.)
The declaration of power at the beginning of the program would have looked like this:
int power();
No parameter list was permitted, so the compiler could not readily check that power was
being called correctly. Indeed, since by default power would have been assumed to return an
int, the entire declaration might well have been omitted.
The new syntax of function prototypes makes it much easier for a compiler to detect errors in
the number of arguments or their types. The old style of declaration and definition still works
in ANSI C, at least for a transition period, but we strongly recommend that you use the new
form when you have a compiler that supports it.
Exercise 1.15. Rewrite the temperature conversion program of Section 1.2 to use a function
for conversion.
1.8 Arguments – Call by Value
One aspect of C functions may be unfamiliar to programmers who are used to some other
languages, particulary Fortran. In C, all function arguments are passed “by value.” This
means that the called function is given the values of its arguments in temporary variables
rather than the originals. This leads to some different properties than are seen with “call by
reference” languages like Fortran or with var parameters in Pascal, in which the called routine
has access to the original argument, not a local copy.
Call by value is an asset, however, not a liability. It usually leads to more compact programs
with fewer extraneous variables, because parameters can be treated as conveniently initialized
local variables in the called routine. For example, here is a version of power that makes use of
this property.
/* power: raise base to n-th power; n >= 0; version 2 */
int power(int base, int n)
{
int p;
for (p = 1; n > 0; –n)
p = p * base;
return p;
}
29
The parameter n is used as a temporary variable, and is counted down (a for loop that runs
backwards) until it becomes zero; there is no longer a need for the variable i. Whatever is
done to n inside power has no effect on the argument that power was originally called with.
When necessary, it is possible to arrange for a function to modify a variable in a calling
routine. The caller must provide the address of the variable to be set (technically a pointer to
the variable), and the called function must declare the parameter to be a pointer and access the
variable indirectly through it. We will cover pointers in Chapter 5.
The story is different for arrays. When the name of an array is used as an argument, the value
passed to the function is the location or address of the beginning of the array – there is no
copying of array elements. By subscripting this value, the function can access and alter any
argument of the array. This is the topic of the next section.
1.9 Character Arrays
The most common type of array in C is the array of characters. To illustrate the use of
character arrays and functions to manipulate them, let’s write a program that reads a set of text
lines and prints the longest. The outline is simple enough:
while (there’s another line)
if (it’s longer than the previous longest)
(save it)
(save its length)
print longest line
This outline makes it clear that the program divides naturally into pieces. One piece gets a
new line, another saves it, and the rest controls the process.
Since things divide so nicely, it would be well to write them that way too. Accordingly, let us
first write a separate function getline to fetch the next line of input. We will try to make the
function useful in other contexts. At the minimum, getline has to return a signal about
possible end of file; a more useful design would be to return the length of the line, or zero if
end of file is encountered. Zero is an acceptable end-of-file return because it is never a valid
line length. Every text line has at least one character; even a line containing only a newline
has length 1.
When we find a line that is longer than the previous longest line, it must be saved somewhere.
This suggests a second function, copy, to copy the new line to a safe place.
Finally, we need a main program to control getline and copy. Here is the result.
30
#include <stdio.h>
#define MAXLINE 1000 /* maximum input line length */
int getline(char line[], int maxline);
void copy(char to[], char from[]);
/* print the longest input line */
main()
{
int len; /* current line length */
int max; /* maximum length seen so far */
char line[MAXLINE]; /* current input line */
char longest[MAXLINE]; /* longest line saved here */
max = 0;
while ((len = getline(line, MAXLINE)) > 0)
if (len > max) {
max = len;
copy(longest, line);
}
if (max > 0) /* there was a line */
printf(“%s”, longest);
return 0;
}
/* getline: read a line into s, return length */
int getline(char s[],int lim)
{
int c, i;
for (i=0; i < lim-1 && (c=getchar())!=EOF && c!=’n’; ++i)
s[i] = c;
if (c == ‘n’) {
s[i] = c;
++i;
}
s[i] = ‘