чтобы, скажем, иметь возможность выводить в отладочный протокол вместо адресов переменных их имена и т. п.

Посмотрите в сторону стандартного файла assert.h. Среди прочих, в нем объявлен макрос _VAL(x), который и делает то, что нужно.