Попытка понять препроцессор C

Почему эти блоки кода приводят к различным результатам?

Некоторый общий код:

#define PART1PART2 works
#define STRINGAFY0(s) #s
#define STRINGAFY1(s) STRINGAFY0(s)

случай 1:

#define GLUE(a,b,c) a##b##c  
STRINGAFY1(GLUE(PART1,PART2,*))
//yields
"PART1PART2*"

случай 2:

#define GLUE(a,b) a##b##*
STRINGAFY1(GLUE(PART1,PART2))
//yields
"works*"

случай 3:

#define GLUE(a,b) a##b
STRINGAFY1(GLUE(PART1,PART2*))
//yields
"PART1PART2*"

Я использую MSVC ++ из VS.net 2 005 sp1

Править: это в настоящее время - моя вера, что препроцессор работает как это при расширении макросов: Шаг 1: - берут тело - удаляют любой пробел вокруг ## операторов - анализируют строку, в случае, которым идентификатор найден, который соответствует названию параметра: - если это рядом с ## оператором, замените идентификатор литеральным значением параметра (т.е. строка передала в) - если это не рядом с ## оператором, выполняет этот целый процесс объяснения на значении параметра сначала, затем заменяет идентификатор тем результатом. (игнорирование stringafy единственного '#' банкомат случая) - удаляют все ## операторы

Шаг 2: - берут ту результирующую строку и анализируют его для любых макросов

теперь, от этого я полагаю, что все 3 случая должны произвести ту же самую результирующую строку:

PART1PART2*

и следовательно после шага 2, должен привести к

работы*

но самое малое должен привести к тому же самому.