Есть ли способ создать новый тип, который похож на один из базовых типов (например, char), и который может быть неявно преобразован между ними, но будет различаться в шаблонах так, что, например, следующий код работает? I '

typedef char utf8;
templatevoid f(T c);
template void f(char c)
{
    std::cout < "ascii " < c < std::endl;
}
template< void f