Здравствуйте, ArtDenis, Вы писали:

AD>Не получается. Хочу примеры

Ну вот, например, примитивно, на псевдокоде, максимально приближенном к C/C++:

define is_signed (expr) {

  return (tostring (typeof (expr)) == "char" || tostring (typeof (expr)) == "int" || tostring (typeof (expr)) == "long" || tostring (typeof (expr)) == "float" || tostring (typeof (expr)) == "double");

}

Хотя и это тоже извращение. Для таких вещей любой вменяемый компилятор обязан иметь встроенные предикаты.