Kuina-chan

くいなちゃん2018年12月11日


6さいからのプログラミング」第9話では、プログラムをより解りやすくシンプルに書くために、型そのものを自分で作る方法について解説します。

1構造体

第8話までの内容で、ほぼどんなプログラムでも作ることができますが、自分で型が作成できると、値を効率良く管理できて便利です。
例えば「構造体こうぞうたい」を使うと、複数の型を合わせて、1つの新しい型を作ることができます。 C言語で構造体を作るには、中身となる変数を「struct 型名{};」で囲むように書きます(図1-1)。
  1. #include <string.h>
  2.  
  3. struct person
  4. {
  5.   char name[32];
  6.   int age;
  7. };
  8.  
  9. int main(void)
  10. {
  11.   struct person x;
  12.   strcpy(x.name, "Kuina-chan");
  13.   x.age = 6;
  14.   return 0;
  15. }
図1-1: struct.c
この例では「struct person」という名前の構造体を作成し、中に文字列型の変数「name」とint型の変数「age」を持たせています。 この構造体「struct person」は型として扱え、11行目のようにstruct person型の変数xを作ることができます。
また作った変数xに対し「x.name」「x.age」と書くことで、構造体内の変数にアクセスできます。 構造体内の「.name」や「.age」のことを、その構造体の「メンバ」といいます。 メンバは普通の変数と同様に扱えます。

2ポインタ渡し

C言語の構造体は、代入や関数の引数渡しのときに全メンバがコピーされるという仕様になっています。 例えば、struct person型の変数xとyがあったとき、「y=x;」と書くとxのメンバの値がすべてyにコピーされます。 これはたくさんの値をまとめて扱えるので便利ですが、関数の引数渡しのたびにコピーが起こるとプログラムの動作が遅くなります。 そこで引数には構造体そのものではなく、構造体のアドレスを渡すことがよく行われます(図2-1)。
  1. #include <stdio.h>
  2.  
  3. struct person
  4. {
  5.   char name[32];
  6.   int age;
  7. };
  8.  
  9. void f(struct person a)
  10. {
  11.   printf("%d\n", a.age);
  12. }
  13.  
  14. void g(struct person* a)
  15. {
  16.   printf("%d\n", a->age);
  17. }
  18.  
  19. int main(void)
  20. {
  21.   struct person x;
  22.   x.age = 6;
  23.   f(x);
  24.   g(&x);
  25.   return 0;
  26. }
図2-1: struct2.c
9行目の関数fは構造体の引数をそのまま渡す「値渡あたいわたし」、14行目の関数gはアドレスを渡す「ポインタわたし」になっています。 23行目の「f(x);」ではxの全メンバの値がコピーされるため効率的ではありません。 これに対し24行目の「g(&x);」ではxのアドレス、つまり数値1つ分だけが渡ります。
16行目の「a->age」は「(*a).age」と同じ意味です。 前回「a[2]」は「*(a+2)」と同じだと言いましたが、それと同様で直感的な代替表現となっています。 この「->」は「アロー演算子」と呼ばれ、ポインタのアドレス先の構造体のメンバを指すのに使われます。
ここで注意が必要なのは、関数fの場合は値がコピーされているので、関数f内で引数aの値を書き換えても元の構造体xには影響ありませんが、関数gの場合は構造体のアドレスが渡るため、関数g内で引数aのアドレス先の値を書き換えると元の構造体xも変更されることになります。 このことは構造体だけでなくあらゆる型に言えます。 例えば、2つの変数の値を入れ替える関数を作りたい場合には、それぞれの変数の値を書き換える必要がありますので、値渡しではなくポインタ渡しにする必要があります。

3その他の言語の構造体

C言語以外の構造体も見ていきましょう。

3.1C#



C#の構造体は、C言語に似ています(図3-1)。
  1. class HelloWorld
  2. {
  3.   struct person
  4.   {
  5.     public string name;
  6.     public int age;
  7.   }
  8.  
  9.   static void Main(string[] args)
  10.   {
  11.     person x;
  12.     x.name = "Kuina-chan";
  13.     x.age = 6;
  14.   }
  15. }
図3-1: struct.cs
構造体のメンバに「public」を付けたり、構造体の閉じ括弧「}」の後に「;」が不要だったりといくつか差異はありますが、基本的にはC言語と同様です。

3.2Java



Javaには構造体は存在せず、「class」という代替の機能を使って実現することになります。

3.3PHP



PHPにも構造体は存在しません。 その代わりに第8話で紹介した連想配列を使って代用できます(図3-2)。
  1. <?php
  2.   $x = array();
  3.   $x['name'] = 'Kuina-chan';
  4.   $x['age'] = 6;
  5. ?>
図3-2: struct.php

4列挙型

さて、構造体以外で型を作る方法に「列挙型れっきょがた」があります。 これはいくつかの値の中から1つが選ばれるという型です。 例えば、「変数cは、red、green、blueのいずれかの値を持つ」というような型を作りたい場合に使用します。 これをC言語で書くと、図4-1のようになります。
  1. enum color
  2. {
  3.   red,
  4.   green,
  5.   blue
  6. };
  7.  
  8. int main(void)
  9. {
  10.   enum color c;
  11.   c = red;
  12.   if (c == red)
  13.   {
  14.     c = blue;
  15.   }
  16.   return 0;
  17. }
図4-1: enum.c
1行目でenum color型を作成し、10行目でenum color型の変数cを作り、11行目でこの変数cに値redを入れています。
12行目のように列挙型の値は、==演算子や!=演算子での比較もできます。 列挙型の値には0から順に番号が割り当てられており、メインメモリ上ではこの番号で扱われます。 例えばこの例ではメインメモリ上でredは0、greenは1、blueは2になります。 「(int)red」のようにキャストすると、この番号を数値として使用できます。 また4行目を「green=10,」と書くことで、この番号を明示的に指定することもできます。
ちなみにC#で書くと図4-2のようになります。
  1. class Enum
  2. {
  3.   enum color
  4.   {
  5.     red,
  6.     green,
  7.     blue
  8.   }
  9.  
  10.   static void Main(string[] args)
  11.   {
  12.     color c;
  13.     c = color.red;
  14.     if (c == color.red)
  15.     {
  16.       c = color.blue;
  17.     }
  18.   }
  19. }
図4-2: enum.cs
基本的にはC言語と同じです。

5定義の位置

C言語の場合、構造体や列挙型を書く位置は、その変数が作られる位置よりも上でなければなりません。 関数の紹介のときにも説明しましたが、コンパイルがソースコードの上から下に向かって行われる関係上、使われる位置よりも上に定義が書かれていたほうが都合が良いためです。 もしも使われる位置よりも下で定義したい場合は、関数の場合と同様、上にプロトタイプ宣言を書きます(図5-1)。
  1. struct person;
  2.  
  3. int main(void)
  4. {
  5.   struct person x;
  6.   x.age = 6;
  7.   return 0;
  8. }
  9.  
  10. struct person
  11. {
  12.   char name[32];
  13.   int age;
  14. };
図5-1: struct3.c
1行目の「struct person;」が、プロトタイプ宣言です。 構造体や列挙型の「{~};」を「;」に置換したものを書きます。 これで10行目に定義された構造体を、それより上の5行目で参照することができます。
今回は、型を自分で作るための仕組みである「構造体」と「列挙型」について説明しました。 ここまで大きな重要機能を説明してきましたが、次回はこれまでに紹介しきれなかった知っておくべき細かな機能を補足します。
1544537731jaf