プログラミング言語 C の新機能

func(p1,p2)
{
　const three=3;
　return (p1+p2)*three;
}

int func(int p1,int p2)
{
　const int three=3;
　return (p1+p2)*three;
}

//(1)
void sumup(int n, int *array1, int *array2)
{
　　assert((n % 4)== 0);
　　for(int i = 0; i < n; i++)　array1[i] += array2[i];
}

//(2)
trymore:
　r1 ← array1[i+0]:[i+1]:[i+2]:[i+3]
　r2 ← array2[i+0]:[i+1]:[i+2]:[i+3]
　r1 += r2
　array1[i+0]:[i+1]:[i+2]:[i+3] ← r1
　i += 4
　if( i < n )　goto trymore

//(3)
　　int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, }
　　sumup(4, array+2, array);

//(4)
trymore:
　r1 ← array1[i]
　r2 ← array2[i]
　r1 += r2
　array1[i] ← r1 
　i ++
　if( i < n )　goto trymore

//(5)
void sumup(int n, int * restrict array1, int * restrict array2)
{
　　assert((n % 4)== 0);
　　for(int i = 0; i < n; i++)　array1[i] += array2[i];
}

//(6)
　　sumup(4, array+4, array);

//(7)
　　sumup(4, array+2, array);

#define ERRMES_NOERROR　　0
#define ERRMES_FILEREAD　 20
#define ERRMES_FILEWRITE　21
const char *errmessage[] = {
　　"no error",
　　NULL,
　　... 例えばここに 20 個空きがある ...
　　"file read error",
　　"file write error",
};

struct largestruct {
　　int size;
　　... 例えばここにメンバが 10 個位ある ...
　　int cx, cy;
} sls = {
　　sizeof(struct largestruct),
　　... ここに明示的な初期化しなくてもいいメンバが 10 個位ある ...
　　640,
　　480,
};

#define ERRMES_NOERROR　　0
#define ERRMES_FILEREAD　 20
#define ERRMES_FILEWRITE　21
const char *errmessage[] = {
　　[0]　　　　　　　　= "no error",
　　[ERRMES_FILEREAD]　= "file read error",
　　[ERRMES_FILEWRITE] = "file write error",
};

struct largestruct {
　　int size;
　　... ここにメンバが 10 個位ある ...
　　int cx, cy;
} sls = {
　　sizeof(struct largestruct),
　　.cx = 640,
　　.cy = 480,
};

typedef struct { int x, y; } point_t ;
void PutPixel(const point_t *p)
{
　　...
}

　　...
　　point_t p;
　　p.x = 640, p.y = 480;
　　PutPixel(&p);
　　...

typedef struct { int x, y; } point_t ;
void PutPixel(const point_t *p)
{
　　...
}

　　...
　　PutPixel(&(point_t){640, 480});
　　//または
　　PutPixel(&(point_t){.x=640, .y=480});
　　//あるいは
　　int pos_x, pos_y;
　　... 
　　pos_x = 640, pos_y = 480;
　　...
　　PutPixel(&(point_t){pos_x, pos_y});
　　...

//(1)複合リテラルを含んだ関数
int f(int par)
{
　　int *a, *b;
　　if( *(b = (int[]){par,1}) == 0)
　　　a = (int[])(par,2,4,8,16,32);
　　else
　　　a = (int[])(1,3,5,7,9);
　　//(*)ここで a と b が指しているのものは何か?
　　return *a;
}

//(2) C99 での実際の扱い
int f(int par)
{
　　int *a, *b;
　　{
　　　if( *(b = (int[]){par,1}) == 0) {
　　　　a = (int[])(par,2,4,8,16,32);
　　　} else {
　　　　a = (int[])(1,3,5,7,9);
　　　}
　　}
　　//答え：a も b も指しているのものの保証はない
　　return *a;
}

//(3) この変更が起こす問題
enum {a, b};
int g(void)
{
　　if(sizeof(enum{b,a}) != sizeof(int))
　　　return a;
　　return b; //b の返す値は何か?
}
//C89 の場合：g() == 0
//C99 の場合：g() == 1