メモリの中を想像する - その3

typedef enum {
     AT1,
     AT2
} ActionType;

void SwitcherFunc( ActionType eAT )  /* パラメータ eAT で動作を振り分けている */
{
      switch ( eAT ) {
      case AT1:
          ...;
          break;
      case AT2:
          ...;
          break;
     default:
          ASSERT( false );
     }
}

#include <stdio.h>
#include <stdlib.h>

#include <assert.h>
#define ASSERT(C) assert(C)

static void Hello(void);
static void CallerFunc( void (*pHello)(void) );

int main(void)
{
     CallerFunc( Hello );  /* ここで「動作」を引数にしている */
     return EXIT_SUCCESS;
}

static void Hello(void)
{
     puts( "Hello, CALLBACK world!" );
}

static void CallerFunc( void (*pHello)(void) )
{
     ASSERT( pHello );
     pHello();  /* 引数として渡された「動作」を実行している */
}

• 動作を引数にできる
• 新しい動作を加えるときに、呼び出す側の関数をいじる必要がない
  ・・・バグを作らない唯一の方法は「何も作らないこと」ですから、いじる必要がないということはすばらしいのです
• 少しずつ動作が違う機能がたくさんあるとき、コールバックを使えば作る量が減る
  ・・・作る量が減るということは、その分バグの数も減るということです

int atexit( void (*pCallback)(void) );

#include <stdio.h>
#include <stdlib.h>

static void Hello(void);

int main(void)
{
     atexit( Hello );
     return EXIT_SUCCESS;
}

static void Hello(void)
{
     puts( "Hello, ANSI CALLBACK world!" );
}

• qsort()
• bsearch()