запрет шаблонов

#include <iostream>
 
 
 
template <typename T_Type>
struct approved_type;
 
#define APPROVED_TYPE(x) template <> struct approved_type<x> {};
 
APPROVED_TYPE(int)
APPROVED_TYPE(bool)
APPROVED_TYPE(char)
 
 
 
template <typename T_Type>
void func(T_Type Arg)
{
    approved_type<T_Type> TypeCheck;
    std::cout << Arg << std::endl;
}
 
 
 
int main()
{
    func(1);
    func(true);
    func('a');
 
    func(0.5); // Compiler error.
 
    return 0;
}

#include <iostream>
#include <string>
#include <type_traits>
 
template <typename T>
void show(const T val)
{
    static_assert(std::is_fundamental<T>::value, "must be fundamental");
    std::cout<<val<<std::endl;
}
 
int main(int argc, char** argv)
{
    double d = 10.2;
    char ch = 'k';
    std::string s = "Hello";
    show(d);
    show(ch);
    //show(s); //error
    show(25);
 
   return 0;
}