Я хочу добавить еще один тип на основе типа кода языка C

1. При использовании GET и SET компилятор не будет предупреждать, если типы не совпадают. Однако это недопустимо для написания безопасного кода C. Как можем ли мы поддерживать вышеуказанные функции, имея тип параметра функция проверки.

1. Макросы не являются функциями. Единственная функция в представленном коде — main().

2. Вызовы макросов расширяются до исходного кода C. Если вам нужны предупреждения о присваиваниях с неточно совпадающими типами, то это не имеет ничего общего с использованием вами макросов, поскольку такие предупреждения будут основаны на результирующем расширенном коде.

3. Какая диагностика может выдать ваш компилятор, это между вами и им. Любой из них может иметь или не иметь возможности для диагностики ситуаций, о которых вы спрашиваете.

   Если вы используете GCC, то включение -Wconversion может дать вам нужную диагностику (я уклоняюсь, потому что не уверен, что точно понимаю, чего вы здесь хотите). Другие компиляторы, эмулирующие параметры командной строки GCC (Clang, icc,...), также могут поддерживать этот вариант. Компиляторы, которые не эмулируют параметры gcc, могут иметь свои собственные версии.

2. Мой макрос не поддерживает определение массива. Есть ли хороший способ реализовать определение массива?

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

#define TYPE_DATA_DEFINE(name, dim) \
    name dim; \
    unsigned char name##valid;\

#define TYPE_DATA_SET(name, index, value) \
    name##valid = 1; \
    name index = value;    \

#define TYPE_DATA_GET(name, index, value) \
    (name##valid == 1 ? (value = name index, 1) : 0)

#define TYPE_DATA_CLEAR(name, index) \
    name index = 0;    \
    name##valid = 0; \

struct hh {
    unsigned char TYPE_DATA_DEFINE(scalar,);
    unsigned char TYPE_DATA_DEFINE(array, [3]);
};

int main(void)
{
    struct hh hhs = { 0 };
    unsigned char tmp = 42;

    if (TYPE_DATA_GET(hhs.scalar,, tmp)) {
        printf("info, tmp:(%u)", tmp);
    } else {
        printf("info, tmp:(%u)", tmp);
    }

    if (TYPE_DATA_GET(hhs.array, [1], tmp)) {
        printf("info, tmp:(%u)", tmp);
    } else {
        printf("info, tmp:(%u)", tmp);
    }

    return 0;
}

Если вы хотите, чтобы члены массива имели массивы флагов достоверности, вы можете изменить приведенное выше, чтобы сделать это.

НО НЕТ. Не делайте ничего из этого. Это ужасно, и нет никакого способа сделать это намного лучше. Мне не нравится не только реализация, но и вся основная идея тегов достоверности для каждого члена.