问题：
有五个哲学家，
每个哲学家面前有一盘面
每个哲学家左右各有一只筷子
哲学家有2个状态，思考或者拿起筷子吃饭。
如果哲学家拿到一只筷子，不能吃饭，拿到2只才能吃饭。
书上代码：
#define N 5
#define Left (i+N-1)%N
#define Right (i+1)%N
#define THINKING 0
#define HUNGRY 1
#define EATING 2
typedef int semaphore;
int state(N);
semapore mutex =1;
semaphore s(N);

void philosopher(int i){
while(TRUE){
think();
take_forks(i);
eat();
put_forks(i);
}
}
void tak_forks(int i){
down(&mutex);
state(i)=HUNGRY;
test(i);
up(&mutex);
down(&s[i]);
}
void put_forks(int i){
down(&mutex);
state(i)=THINK;
test(LEFT);
test(RIGHT);
up(&mutex);
}
void test(i){
if(state(i)==HUNGRY && state(LEFT)!=EATING && state(RIGHT)!=EATING){
state(i)=EATING;
up(&s[i])
}
}
我有一个地方搞不清楚，就是
#define Left (i+N-1)%N
#define Right (i+1)%N
这里的i肯定是第i个哲学家，估计是随机的吧，怎么能定义为常量呢？
请高手指教下！！！

宏定义是字符串的替换,没有任何真正的本意可言.