Skip to main content

C is Not a Subset of C++

I came across an absurd article.

A well-written C program is a C++ program. Therefore, a well-written C program should be compilable with a C++ compiler.

This statement was undoubtedly true before 1999. Bjarne Stroustrup definitely took C compatibility into account when creating C++. At that time, well-written C code that adhered to the ANSI C standard was correctly compiled with a C++ compiler. However, that's limited to the time before the release of C99.

C99 introduced various new features, which C++ had already implemented differently or did not consider necessary. Moreover, the release of the new C11 standard and the new C++ standards(C++03, C++11, and more) have widened the gap between the two languages to a point where it is practically impossible to bridge.

Code that follows the C89 standard can still be compiled with a C++ compiler. But how many programs nowadays use C89? Try to find an actively developed project that uses C89. I have never tried to find one.

So, people who make such statements these days simply have not studied the topic properly. They might have learned it 20 years ago. When I told one such person that C++ and C specs have changed since C99 and that well-written C code that adheres to the C99 standard may not be compiled with a C++ compiler, the response I received was even more ridiculous.

The problem is not the standard; a well-written C program should be compilable with a C++ compiler. If the code cannot be compiled with a C++ compiler, it is not well-written C code.

Ah... it is truly shocking and absurd. He is misguided and overlooks the inherent differences between the two languages.

I cannot understand why one would look to C++ to define what well-written C code is. The two languages have already diverged. There was a time when Bjarne Stroustrup tried to merge C and C++, but he gave up on that idea. He even says that C/C++ is a term used by people who don't have a clue about programming. You should not use C/C++ to refer to C and C++, as they are no longer the same language. If you claim that only code that can be compiled with a C++ compiler is well-written C code, you are essentially giving up on all the features added to C since C99.

Let me clarify: well-written C code that adheres to the standard will not be compilable with a C++ compiler.


This article is a translation of a Korean post written in 2015. If you would like to view the original, please refer to this link.

Translating and revisiting it after 8 years, I feel a little better seeing that the term "C/C++" is used more infrequently than in the past since the establishment of modern C++.

Comments

Popular posts from this blog

Type Conversion in Rust

Type conversion is not special in Rust. It's just a function that takes ownership of the value and returns the other type. So you can name convert functions anything. However, it's a convention to use as_ , to_ , and into_ prefixed name or to use from_ prefixed constructor. From You can create any function for type conversion. However, if you want to provide generic interfaces, you'd better implement the From trait. For instance, you should implement From<X> for Y when you want the interface that converts the X type value to the Y type value. The From trait have an associated function named from . You can call this function like From::from(x) . You also can call it like Y::from(x) if the compiler cannot infer the type of the destination type. Into From have an associated function, it makes you be able to specify the destination type. It's why From has an associated function instead of a method, but on the other hands, you cannot use it as a me

Do not use garbage collection to catch memory leak

Garbage collection is a technique that automatically releases unnecessary memory. It's very famous because many programming languages adopted garbage collection after John McCarthy implemented it in Lisp. However, there are a few people who misunderstand what garbage collection does. If you think garbage collection prevents a memory leak, unfortunately, you are one of them. Garbage collection cannot prevent a memory leak. There is no way to avoid all memory leaks if you are using Turing-complete language. To understand it you should know what a memory leak is. Wikipedia describes a memory leak as the following: a type of resource leak that occurs when a computer program incorrectly manages memory allocations in such a way that memory which is no longer needed is not released. Briefly, a memory leak is a bug that doesn't release a memory that you don't use. So it is first to find the memory which will not be used in order to detect memory leaks. Unfortunately, it i

Handling Terminal Output with Termios

As I explained in the previous article , Unix-like operating systems, for instance, OS X and Linux, use LF (line feed, 0x0A , \n ) as the newline character which moves the cursor to the beginning of the next line. However, the standard-defined behavior of LF only moves the cursor down to the next line, not to the beginning of the line. This difference is acceptable if files are always accessed through operating system-dependent applications. However, Unix-like systems have no distinction between files and input/output; this difference can be problematic when file and process input/output interact. To handle this difference, a terminal emulator post-processes the output appropriately. The c_oflag in the termios structure defined by the POSIX.1 standard controls this. The c_oflag is a flag for what post-processing the terminal should perform before displaying the received characters. The most important flag in c_oflag is OPOST . This flag determines whether or not to post-pro