Потому, что
1. нет контроля типов
2. нет ограничения по области видимости, типа неймспейсов.
3. макрос разворачивается подстановкой в месте использования, т.е. там будет вставлен код
((a) > (b) ? (a) : (b)) который превратится в ((++a) > (b+10) ? (++a) : (b+10))
4. макросы сложно отлаживать
5. неправильно написанный макрос будет компилироваться в непонятно что. Например если убрать те же скобки

как без них раскроется выражение x = max(a, b) + 10; ?
x = a > b ? a : b+10;

для max скорее всего параметры не имеет смысла оборачивать в скобки, достаточно общих, хотя наверное можно что-то придумать чтобы сломалось без них. Просто так принято, из за того что макросы могут оказаться внутри выражения и как там раскроются их нетривиальные параметры не понятно.
например

#include <iostream>

#define mymax(a,b) a>b?a:b
#define mul(a,b) a*b

int main() 
{

	std::cout << mymax(5, 10) << std::endl; // Ошибка компиляции
	std::cout << mul(5+5, 10) << std::endl; // Неожиданно на выходе 55, а не 100

	return 0;
}

Всё зависит от целей. В подавляющем большинстве случаев можно использовать int и не беспокоиться о перерасходе памяти.
Задумывается стоит если таких переменных миллиарды или ресурсы очень ограничены.
Я бы скорее задумывался о возможности переполнения, не всегда результат операции с переменными конкретного типа в него помещается. Это важнее, чем мистическая экономия.
И еще важно чтобы типы в выражении соответствовали друг другу и ожиданию программиста.

https://golang.org/pkg/encoding/json/
Marshal/Unmarshal