static_types_match.cpp

#include <cassert>

template<typename T>
struct types_match
{
    static bool match() { return false; }
};

#define SYNC(cpp_type, type_name)                                              \
    template<>                                                                 \
    struct types_match<cpp_type>                                               \
    {                                                                          \
        static auto type()                                                     \
        {                                                                      \
            static auto type = type_name;                                      \
            return type;                                                       \
        }                                                                      \
                                                                               \
        static bool match(const char* other) { return other == type(); }       \
    };

SYNC(int, "int");
SYNC(double, "double");

int main()
{
    assert(types_match<int>::match("int"));
    assert(types_match<double>::match("double"));
    assert(!types_match<int>::match("double"));
}