template <typename ... Args>
bool validate_format(const char* fmt)
{
    // распарсить формат и проверить его соответствие типам Args 
    // например используя рекурсивное применение вспомогательного шаблона к Args
    return ...;
}


template <typename ... Args>
void my_print(const char* fmt, Args ... args)
{
    if (!validate_format<Args...>(fmt))
        throw std::logic_error("invalid format");
    printf(fmt, args...);
}

struct FmtArg
{
    // some type info
};

template <typename T>
bool validate_format_arg(FmtArg& fmt_arg)
{
    // check if T can be used with FmtArg
    return true;
}

// recursion terminator
template <size_t>
bool validate_format_args(std::vector<FmtArg>&)
{
    return true;
}

template <size_t ArgPos, typename T, typename ... Rest>
bool validate_format_args(std::vector<FmtArg>& parsed_fmt)
{
    if (!validate_format_arg<T>(parsed_fmt[ArgPos]))
        return false;
    return validate_format_args<ArgPos + 1, Rest...>;
}

std::vector<FmtArg> parse_format(const char* fmt)
{
    // implement real parse
    std::vector<FmtArg> rv;
    while (auto c = *fmt++) {
        if (c == '%')
            rv.push_back({});
    }
    return rv;
}

template <typename ... Args>
bool validate_format(const char* fmt)
{
    // распарсить формат и проверить его соответствие типам Args
    auto parsed_fmt = parse_format(fmt);
    if (parsed_fmt.size() != sizeof...(Args))
        return false;
    // например используя рекурсивное применение вспомогательного шаблона к Args
    return validate_format_args<0, Args...>(parsed_fmt);
}


template <typename ... Args>
void my_print(const char* fmt, Args ... args)
{
    if (!validate_format<Args...>(fmt))
        throw std::logic_error("invalid format");
    printf(fmt, args...);
}

int main()
{
    my_print("%i %s\n", 2, "a");
    return 0;
}

struct FmtArg
{
    // some type info
};

bool compatible_formats(const FmtArg& a, const FmtArg& b)
{
    // check a is compatible with b
    return true;
}

template <typename T>
FmtArg make_format()
{
    // make FmtArg from T
    return FmtArg{};
}

std::vector<FmtArg> parse_format(const char* fmt)
{
    // implement real parse
    std::vector<FmtArg> rv;
    while (auto c = *fmt++) {
        if (c == '%')
            rv.push_back({});
    }
    return rv;
}

template <typename ... Args>
bool validate_format(const char* fmt)
{
    // распарсить формат и проверить его соответствие типам Args
    auto parsed_fmt = parse_format(fmt);
    if (parsed_fmt.size() != sizeof...(Args))
        return false;
    size_t i = 0;
    for (auto& arg_fmt: { make_format<Args>() ... }) {  // тут превращаем типы в значения
        if (!compatible_formats(parsed_fmt[i++], arg_fmt))
            return false;
    }
    return true;
}


template <typename ... Args>
void my_print(const char* fmt, Args ... args)
{
    if (!validate_format<Args...>(fmt))
        throw std::logic_error("invalid format");
    printf(fmt, args...);
}

int main()
{
    my_print("%i %s\n", 2, "a");
    return 0;
}