변수의 데이터형을 정확히 알수있는 방법이 없을까요.

물론, "정상적인" 방법으로는 존재하지 않습니다.

특정 컴파일러가 내부 버그로 인해 C 의 type system 을 제대로 지원하지
않는다는 의심이 있을 때에는 함수 선언이나 포인터 대입 등으로 진단
메시지를 유도해 버그 리포트 용 증거를 만드는 것이 가능하지만, 질문을
보니 프로그램 실행 중에 실행을 망치지 않으면서 특정 수식의 type 을
결정할 필요가 있는 것 같습니다.

sizeof(double) != sizeof(float) 이고
sizeof(double) != sizeof(long double) 일 때,
int/float/double/long double 을 구분하는 간단한 트릭은 있습니다.

#include <stdio.h>
#include <stdlib.h>

#define int_or_real(expr) ((typeof((expr))) 0.5)
#define ifdl_type(expr) \
    (!int_or_real((expr))? "int" :\
    ((sizeof((expr)) == sizeof(double))? "double":\
    ((sizeof((expr)) == sizeof(long double))? "long double": "float")))

int main(void)
{
    if (sizeof(double) == sizeof(float) ||
        sizeof(double) == sizeof(long double))
        return EXIT_FAILURE;
    
    printf("%s\n", ifdl_type(3.0f * 2));    /* float */
    printf("%s\n", ifdl_type(3.0l * 2));    /* long double */
    printf("%s\n", ifdl_type(3.0 * 2));     /* double */
    printf("%s\n", ifdl_type(3 * 2));       /* int */

    return 0;
}

유도형을 포함한 더 복잡한 type 사이의 구분은 구현체 확장 없이는
불가능합니다. 과거 typeof 를 표준에 추가하자는 주장이 있었을 때,

if (typeof(expr) == typeof(double))

와 같은 type comparison 도 허락하자는 의견이 있었지만 type comparison
은 커녕 typeof 자체가 포함되지 못하고 있는 상황입니다.

그럼...