Ｃ言語との差異 | Programming Place Plus　C++編【言語解説】　第２章

Ｃ言語との互換性 🔗

この章では、C++ とＣ言語とで違っている部分についていくつか取り上げておきます。

基本的には、C++ はＣ言語との互換性^📘を意識しており、大半のコードはそのまま C++ としても有効です。しかし、主に、型に対する厳密さが増していることに起因して、いくつか互換性を破っている部分があります。

また、Ｃ言語にない C++ 固有のキーワード^📘を使った C++ のプログラムは、当然、Ｃ言語のプログラムとしては動作しないでしょう。

仮引数省略の意味 🔗

前の章でも触れましたが、C++ では関数の仮引数^📘の void は省略できます。

C++ では、仮引数が空になっている場合は、Ｃ言語で void と指定したときと同じ意味、すなわち引数はないという意味です。void と明示的に書いても同じ意味になりますが、C++ では面倒で無意味な入力を避けて、void は省略することが一般的です。

Ｃ言語では、仮引数が空であることは、「引数は何でも良い」という意味です（Ｃ言語編第１０章）。これは関数プロトタイプとして機能しないことを意味しており、一般的にいって危険な使い方です。ですから、Ｃ言語では必ず void と明示するべきです。

なお、「void」という記述を、意味を変えずに省略できるのは、仮引数の場合だけです。戻り値の型指定の省略は、Ｃ言語と同様に、int型を指定したことになります。

変数宣言位置の自由化 🔗

C++ では、変数を宣言できる箇所が柔軟になっており、（C95までの）Ｃ言語のように、ブロック^📘の先頭でなければならないというルールは撤廃されています。

C99 でもこのルールは撤廃されています（Ｃ言語編第２２章）

#include <iostream>
#include <cstring>

int main()
{
    const char* str = "abcde";
    std::cout << str << std::endl;

    std::size_t len = std::strlen(str);
    std::cout << len << std::endl;
}

実行結果：

abcde
5

変数len は、ブロック（この場合、main関数）の先頭にありませんが、C++ では許されます。

また、次のように for文の初期設定式の中で宣言することも可能です。

#include <iostream>

int main()
{
    for (int i = 0; i < 5; ++i) {
        std::cout << i << std::endl;
    }
}

実行結果：

この場合、変数 i のスコープ^📘は for文の内側だけに限定されます。C++ では、これは一般的な書き方です。

なお、if文でも同様のことが可能です。

#include <iostream>

int func()
{
    return 10;
}

int main()
{
    if (int a = func()) {
        std::cout << a << " is true" << std::endl;
    }
    else {
        std::cout << a << " is false" << std::endl;
    }
}

実行結果：

10 is true

C++ では、変数を定義している部分を実行するときに、Ｃ言語よりも多くの処理が行われることがあります。そのため、無駄な処理を実行しないようにするため、変数は実際に必要になるタイミングの直前で定義するようにすべきです。

【上級】ここで実行される処理はコンストラクタ^📘と呼ばれるものです。第１３章で取り上げます。

文字定数の大きさ 🔗

文字リテラルは、Ｃ言語では int型ですが（Ｃ言語編第１９章参照）、C++ では char型です。そのため、大きさも異なります。

#include <iostream>

int main()
{
    char a = 'A';

    std::cout << sizeof('A') << "\n"
              << sizeof(a) << std::endl;
}

実行結果：

1
1

C++ では ‘A’ の大きさは 1バイトです。これは ‘A’ が char型であるためです。

【上級】このルール変更は、関数のオーバーロード^📘（第８章）をうまくおこなうために必要だからです。‘A’ が 65 という int型とみなされてしまうのでは不便になってしまいます。

ところで、上のプログラムで、std::cout を使って整数が出力できていることが分かると思いますが、このように、型の判断までも自動的に行ってくれることが、printf関数と決定的に異なるところです。

struct、enum、unionキーワードの省略 🔗

Ｃ言語では、構造体タグを使って構造体変数を宣言する際、structキーワードが必要です（Ｃ言語編第２６章参照）が、C++ では省略できるようになりました。

struct Point2D {
    int  x;
    int  y;
};

int main()
{
    Point2D point;

    // 以下、省略
}

上のプログラムで、main関数の中で構造体変数 point を宣言する際に、structキーワードがありません。Ｃ言語であれば、

struct　Point2D point;

このように書かないといけません。

このルールは、enum（Ｃ言語編第５０章参照）や union（Ｃ言語編第５５章参照）でも同様です。

voidポインタ型から任意のポインタ型への変換 🔗

Ｃ言語では、voidポインタ型から任意のポインタ型へ暗黙的に変換できますが、C++ では明示的なキャスト^📘を必要とします。

#include <iostream>
#include <cstdlib>

int main()
{
    int* p = (int*)std::malloc(sizeof(int));

    *p = 100;
    std::cout << *p << std::endl;

    std::free(p);
}

実行結果：

malloc関数の戻り値は void* です。Ｃ言語でこの関数を使う際、明示的にキャストをしなくても他の型の変数で結果を受け取れますが、C++ ではキャストが必要です。

実際のところ C++ では malloc関数を使うことはまずありません。代わりに new演算子を使います（第１４章）。

キャストに関しても、C++ では新しい構文が追加されており（第７章）、それを使う方が良いのですが、Ｃ言語と同じ構文でも目的は果たせます。

逆に、任意のポインタ型から voidポインタへの変換は、Ｃ言語でも C++ でも暗黙的に行えます。

ヌルポインタの表現 🔗

C++ でヌルポインタを表現するとき、Ｃ言語と同様に、NULLマクロを使うことはできますが、いろいろ事情があって避けられることも多くあります。

C++ の NULL はＣ言語とは違って、voidポインタ型に置換されることはありません。前の項で取り上げたとおり、C++ では、voidポインタ型から他のポインタ型への暗黙の型変換^📘が行われなくなったからです。もし、voidポインタ型に置換されてしまったら、次のようなコードがコンパイルできないため非常に不便です。

int* p = NULL;  // NULL が voidポインタであったとしたら、
                // コンパイルエラーになってしまう

そのため、C++ の NULL は必ず整数型^📘の定数に置換されます。型は int かもしれませんし、long int かもしれません。

#define NULL 0
#define NULL 0L

定数の 0 はヌルポインタとして扱われるので、これできちんと機能しますが、やや不可解に思えるプログラムを書けてしまいます。

void f(int n) {}

int main()
{
    f(NULL);
}

f関数の仮引数の型は int ですが、実引数にヌルポインタを渡しています。NULL の置換結果は整数型ですから、これでもコンパイルが通ります。「NULL」と書いている以上、ポインタのつもりで渡していると思われますが、果たしてプログラマーの意図どおりなのでしょうか？

【上級】また、これに関連する話として、第８章で取り上げる関数オーバーロードの機能を使った場合に起こる問題もあります（第８章）。

一時期には、NULL を使うと生じる混乱を避けるため、NULL ではなく単に 0 と書くようにしているプログラムも多くありました。ただ、標準規格に沿ったコンパイラならば、結局どちらでも同じです。しかし、ソースファイル上に「NULL」とあれば「ポインタ」を意図していることが明らかですし、「0」ならば「ヌルポインタか、整数値としての 0」なのか不明確であるといえます。この辺り、意見が分かれるところです。

列挙型 🔗

Ｃ言語では、int型の値を enum の変数へ代入できますが、C++ では明示的なキャストを必要とします。逆に、enum から int型への変換は、Ｃ言語でも C++ でも暗黙的に行えます。

#include <iostream>

int main()
{
    enum Color {
        RED,
        GREEN,
        BLUE,
    };

    Color color = (Color)1;
    int v = BLUE;  // キャスト不要

    std::cout << color << "\n"
              << v << std::endl;
}

実行結果：

1
2

練習問題 🔗

問題①　次のプログラムは、文字と整数のどちらを出力しますか？

#include <iostream>

int main()
{
    std::cout << 'A' << std::endl;
}

問題②　次のプログラムを、Ｃ言語(C95) でも C++(C++03) でもコンパイルでき、同じ実行結果になるように書き換えてください。

#include <iostream>

enum Color {
    RED,
    GREEN,
    BLUE
};

int main()
{
    Color color = 0;

    color += 1;

    std::cout << color << std::endl;
}

解答ページはこちら。

参考リンク 🔗

『Ｓ・Ｐ・ハービソン３世とＧ・Ｌ・スティール・ジュニアのCリファレンスマニュアル　第５版』
- Ｃ言語と C++ の違いについても触れている
『C++の設計と進化』
- Ｃ言語からの進化の過程が詳細に語られている。仕様変更の理由が分かる
More C++ Idioms | nullptr
- C++11 の nullptr が使えない古い環境で、NULL の問題を解決するイディオムの解説
Programming Place Plus　C++編　参考書籍
- 当サイトの参考書籍一覧ページ。C++ に関する書籍を多数紹介
Programming Place Plus　C++編　リンク集
- 当サイトの参考Webサイト集。C++ の全般的な学習に有益なサイトを紹介

更新履歴 🔗

’2021/12/18
- C++11 に関する補足のうち、新C++編に解説ができたものについて削除
  - 「C++11 (型名による修飾)」
’2021/2/25
- サイト全体で、「暗黙的な型変換」を「暗黙の型変換」に統一
’2018/8/14
- 「ヌルポインタの表現」の項を、第７章から移動してきた。内容は全面的に修正。
  「(C++11) autoキーワード」の項を、第７章へ移動。
’2018/7/10
- 全体的に見直し修正。
’2018/4/5
- Visual Studio 2013 の対応終了。

≪さらに古い更新履歴≫

’2018/4/2
- 「VisualC++」という表現を「Visual Studio」に統一。
’2018/2/22
- 「サイズ」という表記について表現を統一。型のサイズ（バイト数）を表しているところは「大きさ」、要素数を表しているところは「要素数」。
’2018/2/21
- 文章中の表記を統一（bit、Byte -> ビット、バイト）
’2018/1/5
- コンパイラの対応状況について、対応している場合は明記しない方針にした。
  Xcode 8.3.3 を clang 5.0.0 に置き換え。
’2017/7/30
- clang 3.7 (Xcode 7.3) を、Xcode 8.3.3 に置き換え。
’2017/3/25
- VisualC++ 2017 に対応。
’2016/10/15
- clang の対応バージョンを 3.7 に更新。
’2015/10/12
- clang の対応バージョンを 3.4 に更新。
’2015/9/5
- VisualC++ 2012 の対応終了。
’2015/8/18
- VisualC++2010 の対応終了。
’2015/8/15
- VisualC++ 2015 に対応。
’2014/10/18
- clang 3.2 に対応。
’2014/2/1
- VisualC++ 2013 に対応。
’2014/1/18
- 「Ｃ言語との互換性」の誤記を修正。
’2014/1/16
- 「C++11 (型名による修飾)」を追加。
’2014/1/14
- VisualC++2008 の対応終了。
’2014/1/13
- clang 3.0 に対応。
’2014/1/11
- Ｃ言語編の C99 に関する解説と重複するので、C++11 の列挙型のコンマの省略に関する項を削除。
  C++11 の列挙型の基盤となる型の指定に関する解説を削除（第８章へ移動）。
’2013/2/23
- 新規作成

前の章へ　（第１章　Hello, Worldプログラム）

次の章へ　（第３章　名前空間）

C++編のトップページへ

Programming Place Plus のトップページへ

はてなブックマークに保存	Pocket に保存	Facebook でシェア
X でポスト／フォロー	LINE で送る	noteで書く
RSS	管理者情報	プライバシーポリシー

この章の概要 🔗

Ｃ言語との互換性 🔗

仮引数省略の意味 🔗

変数宣言位置の自由化 🔗

文字定数の大きさ 🔗

struct、enum、unionキーワードの省略 🔗

voidポインタ型から任意のポインタ型への変換 🔗

ヌルポインタの表現 🔗

列挙型 🔗

練習問題 🔗

参考リンク 🔗

更新履歴 🔗