いろいろな式 | Programming Place Plus　Ｃ言語編　第２７章

このページの概要

以下は目次です。

• 式と文
  • 副作用
• void式
• 左辺値
• 同じ型の変数をまとめて宣言する
• カンマ演算子
• 練習問題
• 参考リンク
• 更新履歴

式と文

ここまであまり踏み込んで考えてきませんでしたが、ここで、式 (expression) と文 (statement) について取り上げておきます。

たとえば、a = b は式です（末尾に ; がないことに注意）。この場合、代入を行う式なので、代入式 (assignment expression) と呼びます。

一方で a = b; のように、末尾に ; が付くと、文 です。文がつねに ; で終わるというわけではなく、ブロックの末尾（}）で終わる複合文 (compound statement) のようなものもあります。式の末尾に ; を付けた文は、式文 (expression statement) と呼びます。

式は、演算子とオペランドによって構成され、演算子の種類に応じた演算を行うものです¹。式を実行すると、結果となる値が生み出されます。式から値を得ることを、式を評価 (evaluation) するといいます。また、式を評価すると、後述する副作用が発生する場合があります。

一方、文は、実行すべき動作を決めるものです。²たとえば、if文は分岐という動作を実行すべき、for文なら繰り返し処理を実行すべき、return文なら関数から戻る動作を実行すべき、という指示を記述したものだといえます。文からは最終的な値は生み出されません。

a * 2 という式には乗算演算子が使われています。そのため、この式を評価することによって、乗算が行われ、その結果の値が作られます。結果の値はふつう、どこかの変数に入れたり、関数に渡したりします。b = a * 2 とすれば、a * 2 の結果の値が変数b に代入されます。f(a * 2) とすれば、a * 2 の結果の値が関数f に渡されます（関数を呼び出す () も演算子であり、f(a * 2) 全体も式です）。

b = a * 2 も f(a * 2) も、全体として１つの式になっており、その内側に a * 2 という式が含まれています。このように、式はほかの式の一部になっていることがあります。他の式の一部になっていない式は、完全式（完結式） (full expression) と呼びます。完全式の一部になっている式を、部分式 (subexpression) と呼びます。

void式

式の結果の値が存在しない（void型である）場合、そのような式は、void式 (void expression) と呼びます。void式は、副作用を得ることを目的に評価する式です。

たとえば、戻り値型が void である関数を呼び出す式は void式です。

void hello(void)
{
    puts("Hello.");
}

int main(void)
{
    hello();  // void式
}

実行結果：

Hello

void式の結果をほかの型へキャストすることはできません。そもそも値が存在していないので当然ではあります。

また、戻り値型が void ではない関数でも、呼び出し側で void型へキャストすると、全体として void式になります。そのような行為に大きな意味はありませんが、戻り値があるのに使っていないときに警告を出すコンパイラに、不要であるという意思を伝えるために行う場合があります。

int f(void)
{
    return 0;
}

int main(void)
{
    (void)f();    // OK。戻り値を捨てている
}

実行結果：

左辺値

結果の型が、オブジェクト型 (object type) か、void 以外の不完全型 (incomplete type) になる式を左辺値 (lvalue) といいます（型の呼び名については「型の分類表」を参照）。左辺値という名前は、代入式で = の左側が左辺値でなければならないことに由来します。⁴

左辺“値” という呼び方でありながら、これは「式」であることに注意してください。しかし、式を評価すると値が得られるのですから、それほどおかしなことでもありません。

左辺値を評価した結果は、特定のオブジェクト (object) を指し示していなければなりません。オブジェクトとは、ある型のある値を持つ、メモリ上の一部分のことをいいます⁵。変数を定義することは、変数の型を持った値をメモリ上に置くことを意味していますが、それはつまり、オブジェクトを作っているということです。

第３５章で取り上げる方法を使うと、変数を宣言することなく、メモリ上に任意の値を置けるため、たいてい変数という名称を使って説明されるようなことも、オブジェクトという用語を使わないと、不正確な場面がありえます。

左辺値を評価した結果、特定のオブジェクトを指し示さないようなコードは、ここまでのページの範囲では（妙なバグを作りこまないかぎりは）ありえませんが、ポインタ（第３１章）を使うと容易に作れてしまいます。

たとえば、定義済みの変数の名前が左辺にあらわれる n = 10 という式において、n は左辺値です。

int n = 0;

n = 10;  // n が左辺値

n は、変数n のことであり、変数n の値はメモリ上にオブジェクトとして存在しているのですから、n は特定のオブジェクトを指し示しているといえます。そのため、n は左辺値として適切です。

ただし、同じ構図にも関わらず、コンパイルが通らないケースもあります。

const int cn = 0;
cn = 10;  // エラー。cn は変更できない

int array1[] = {0, 5, 10};
int array2[3];
array2 = array1;  // エラー。配列に配列を代入できない

これらがコンパイルできないのは、cn や array2 が変更可能な左辺値 (modifiable lvalue)⁶ ではないからです（左辺値であることには変わりありません）。

左辺値になり得るものが = の右側に現れることがありますが、その場合、指し示しているオブジェクトの値に置き換えられ、左辺値ではなくなります。

int n = 0;
int n2;

n2 = n;  // n は 0 に置き換えられてから、代入される

これは、これまで当然のように理解してきた挙動のとおりでしょう。この挙動は = 以外にも、多くの演算子で起こりますが、++演算子、–演算子、sizeof演算子などは例外で、左辺値のまま取り扱われます⁷。

【上級】そのほかアドレス演算子（第３１章）も置き換えは起こりません⁷。

同じ型の変数をまとめて宣言する

いくつかの変数を宣言するとき、今までは次のようにしてきました。

int i;
int j;
int k;

変数の型が同じであれば、次のようにまとめて宣言できます。

int i, j, k;

初期値がある場合には、次のように書けます。

int i = 0, j = 10, k = 20;

一部の変数にだけ初期値を与えることもできます。

int i, j = 10, k;

この場合、i は初期化されていないことに注意してください。特に、１番最後の変数にだけ初期値を書くと、すべての変数に同じ初期値が与えられているように錯覚することがあるので、注意してください。

int i, j, k = 0;  // i と j は未初期化

次のプログラムは使用例です。

#include <stdio.h>

int main(void)
{
    int a = 5, b = 10, c = 20;

    printf("%d %d %d\n", a, b, c);
}

実行結果：

5 10 20

カンマ演算子

カンマ演算子 (comma operator) を使うと、複数の式を連結できます。よくあるのは、for文で 2つ以上のループ制御変数を使うというものです。

#include <stdio.h>

int main(void)
{
    for (int i = 0, j = 20; i < j; ++i, --j) {
        printf("%d %d\n", i, j);
    }
}

実行結果：

0 20
1 19
2 18
3 17
4 16
5 15
6 14
7 13
8 12
9 11

カンマ演算子(,) のオペランドは２つの式です。まず、左側に書いた式が void式として評価されます。また、この時点をもって副作用完了点になります。そのあと右側のオペランドが評価され、その結果が、式全体としての値になります。⁸

for文の初期設定式で２つ（以上）の変数を宣言することもできますが、これは「同じ型の変数をまとめて宣言する」の項でみた方法を、初期設定式のところに入れているだけのことです。そのため、宣言しようとするそれぞれの変数は、同じ型でなければなりません。

カンマ演算子は、２個以上の実引数を渡すときに使う , や、配列や構造体を初期化するときに現れる , とは役割が異なります。区別が付かないので、これらの場所ではカンマ演算子を使えません（括弧を補えば使えます）。