C/C マクロのカンマによってマクロの柔軟性と引数の処理がどのように改善されるのでしょうか?

#define FOO(type, name) type name

FOO(std::map<int, int>, map_var); // Error: Excess arguments passed to macro

typedef std::map<int, int> map_int_int_t;
FOO(map_int_int_t, map_var); // Valid

#define COMMA ,

FOO(std::map<int COMMA int>, map_var);

#include <cstdio>
#include <map>
#include <typeinfo>

#define STRV(...) #__VA_ARGS__
#define COMMA ,
#define FOO(type, bar) bar(STRV(type) \
    " has typeid name \"%s\"", typeid(type).name())

int main()
{
    FOO(std::map<int COMMA int>, std::printf);
}

std::map<int , int> has typeid name "St3mapIiiSt4lessIiESaISt4pairIKiiEEE"