[C99] 第8回　構造体と共用体と列挙体

C99にクラスはありませんが、構造体と共用体ならあります。また、C++（C++98）と同様、列挙体も使うことができます。

タグ名だけで型名にならない

C++では、クラスや列挙体のタグ名だけで型名になりましたが、C99では、明示的に struct, union, または enum を付けなければなりません。それが嫌なら、typedef 名を定義する必要があります。


struct A { int a; };
 
A x;  /* エラー */
struct A x;  /* OK */

struct A { int a; };

A x; /* エラー */

struct A x; /* OK */

クラス有効範囲のようなものはない

C++では、クラスの中でクラスを定義した場合、入れ子になったクラスは、外側のクラスのクラス有効範囲に属します。しかし、C99ではクラス有効範囲という概念がないため、このようなことはありません。


struct A
{
  struct B
  {
    int value;
  } b;
} a;
 
struct B x;  /* OK */

struct A

{

struct B

{

int value;

} b;

} a;

struct B x; /* OK */

構造体や共用体の中で型定義はできない

C99にはクラス有効範囲がありませんので、構造体や共用体の中で型定義を行うことができません。


struct A
{
  typedef int int_t;  /* エラー */
  struct B { int b; };  /* エラー */
  enum { c, d };  /* エラー */
 
  int a;
};

struct A

{

typedef int int_t; /* エラー */

struct B { int b; }; /* エラー */

enum { c, d }; /* エラー */

int a;

};

集成体

C99では、「集成体」という用語は構造体と配列の総称です。共用体は集成体ではありません

構造体のメモリ配置

構造体型のオブジェクトへのポインタは、そのオブジェクトの最初のメンバへのポインタと同じアドレスをさします。また、構造体のメンバは上から順に、メモリの下位→上位の順に配置されます。


#include <assert.h>
 
struct A
{
  int a;
  double b;
};
 
int main(void)
{
  struct A x;
  assert(&x == (struct A*)&x.a);  /* OK */
  return 0;
}

#include <assert.h>

struct A

{

int a;

double b;

};

int main(void)

{

struct A x;

assert(&x == (struct A*)&x.a); /* OK */

return 0;

}

構造体や共用体のメンバは必須

C99では、メンバのない構造体や共用体を定義することはできません。

フレキシブル配列メンバ

C99では、二つ以上の名前付きメンバを持つ構造体の最後のメンバとして、フレキシブル配列メンバを使うことができます。フレキシブル配列メンバというのは、不完全配列型のメンバのことです。


struct foo
{
  int a;
  char b[];
};

struct foo

{

int a;

char b[];

};

フレキシブル配列メンバを使えば、構造体の末尾に可変長の配列をつなげることが容易にできるようになります。


char str[] = "This is a pen.";
struct foo *ptr = malloc(sizeof(struct foo) + sizeof str);
strcpy(ptr->b, str);

char str[] = "This is a pen.";

struct foo *ptr = malloc(sizeof(struct foo) + sizeof str);

strcpy(ptr->b, str);

ビットフィールド

C99では、ビットフィールドの型として使えるのは、_Bool, int, signed int, およびunsigned intだけです。signedもunsignedも付かない単なるintの場合、符号付きか符号無しかは、C++と同様、処理系定義です。

無名共用体は使えない

C99では、無名共用体をメンバ名だけでアクセスすることはできません。


int main(void)
{
  union
  {
    int a;
    char b[10];
  };
  a = 123;  /* エラー */
  return 0;
}

int main(void)

{

union

{

int a;

char b[10];

};

a = 123; /* エラー */

return 0;

}

列挙定数はint型

C99は、列挙定数は常にint型になります。列挙体型は処理系定義の汎整数型になります。

列挙子並び末尾のコンマ

C99では、列挙子並びの末尾にコンマを付けることができます。


enum foo
{
  abc,
  def,
  ghi ,
};

enum foo

{

abc,

def,

ghi ,

};

式中での型定義

C99では、式や関数の仮引数並びで型定義を行うことができます。具体的には、次のようなことができます。


  a = ((struct { int a; double b; }*)ptr)->b;

a = ((struct { int a; double b; }*)ptr)->b;

↑　C++98プログラマーのためのC99入門

[C99] 第8回　構造体と共用体と列挙体

タグ名だけで型名にならない

クラス有効範囲のようなものはない

構造体や共用体の中で型定義はできない

集成体

構造体のメモリ配置

構造体や共用体のメンバは必須

フレキシブル配列メンバ

ビットフィールド

無名共用体は使えない

列挙定数はint型

列挙子並び末尾のコンマ

式中での型定義

この記事を書いている人

高木信尚

コメントを残すコメントをキャンセル

タグ名だけで型名にならない

クラス有効範囲のようなものはない

構造体や共用体の中で型定義はできない

集成体

構造体のメモリ配置

構造体や共用体のメンバは必須

フレキシブル配列メンバ

ビットフィールド

無名共用体は使えない

列挙定数はint型

列挙子並び末尾のコンマ

式中での型定義

この記事を書いている人

高木信尚

関連記事

コメントを残す コメントをキャンセル

コメントを残すコメントをキャンセル