Why is preprocessor usage less common in languages other than C/C++/ObjC?
The reason why you don't see the preprocessor used in Java, C#, or Scala is that those languages obviously don't have one.
One of the common uses for the C preprocessor is to help provide platform-specific code. Since C (I'm including C++ and Objective-C here) is a low-level language that needs to interface with the operating system directly, in portable code there must necessarily be different sections of the code compiled for different operating systems. You can find extensive examples of this sort of thing in a mature, highly portable code base such as zlib.
As a simple example, to close a network socket one must do something like this (at some level, this can certainly be wrapped in a function but it has to exist somewhere):
#ifdef WIN32
closesocket(s);
#else
close(s);
#endif
Newer languages that run on VMs do not need the different platform-specific sections of code, and can be written against the single, portable standard library.
The preprocessor also provides a way to define constants in C, which are provided by other, better, language features in newer languages.
In The Design and Evolution of C++, Bjarne Stroustrup stated that he wanted to remove the dependency on the preprocessor in C++, but was not successful.
I don't know Objective-C, so my answer will be about contrasting the use of the preprocessor in C and C++.
The preprocessor was originally necessary for C for several reasons. If I remember correctly, originally C did not have constants, so #define
was needed to avoid magic numbers. Prior to 1999 C did not have inline functions, so again #define
was used to create macros or "pseudo-functions" to save the overhead of a function call, while keeping code structured. C also doesn't have run-time or compile-time polymorphism, so #ifdef
s were needed for conditional compilation. Compilers were typically not smart enough to optimize away unreachable code, so, again, #ifdef
s were used to insert debugging or diagnostic code.
Using the preprocessor in C++ is a throwback to C, and is generally frowned upon. Language features, such as constants, inline functions, and templates can be used in most situations where in C you would have used the preprocessor.
The few cases where the use of a pre-processor in C++ is acceptable or even necessary include the guards for the header files, to prevent the same header from being included multiple times, #ifdef __cplusplus
to use the same header for both C and C++, __FILE__
and __LINE__
for logging, and a few others.
The preprocessor is also often used for platform-specific definitions, although C++ Gotchas by Stephen Dewhurst advises having separate include directories for the platform specific definitions, and using them in separate build configurations for each platform.
Because the design and aims of these languages are not the same.
C was built with the preprocessor in mind as a powerful tool, it was used to implement very basic stuff(such as inclusion guards) and developers were able to use it to either optimize their code through macros or to optionally include/exclude certain blocks of code in addition to other things. C++ inherited most of C's idioms, macros are not used for speed anymore(because inline was introduced) but it's still used for plenty of things, see the post What are preprocessor macros good for?
Every language needs a mechanism for separate compilation. Ideally the language distinguishes interfaces from implementations, and a module depends only on the interfaces of the modules it exports. (See, e.g., Ada, Clu, Modula, and so on.)
C has no language construct for interfaces or implementations. Because it's vital that different .c files share a single view of interfaces, the programming discipline evolved of putting declarations (i.e., interfaces) in .h files and sharing those declarations/interfaces using textual inclusion (#include
). In principle, #define
and #ifdef
could be dispensed with, but #include
could not.
Nowadays language designers recognize that textual inclusion is no way to run a railroad, so languages tend to run either to separately compiled interfaces (Ada, Modula, OCaml), to compiler-generated interfaces (Haskell), or to dynamic systems that guarantee interface consistency (Java, Smalltalk). With such a mechanism, there is no need for a preprocessor, and plenty of reasons not to have one (think source-code analysis and debugging).