#include <cassert>
#include <iostream>
#include <type_traits>

template<class T>
struct Kind { static int code() { return 0; } };
template<class T>
struct Kind<T*> { static int code() { return 1; } };
template<>
struct Kind<int> { static int code() { return 2; } };

int main() {
    static_assert(std::is_pointer<double*>::value, "pointer case");
    assert(Kind<double>::code() == 0);
    assert(Kind<double*>::code() == 1);
    assert(Kind<int>::code() == 2);
    assert(Kind<const int*>::code() == 1);
    std::cout << Kind<double>::code() << ' ' << Kind<double*>::code()
              << ' ' << Kind<int>::code() << '\n';
}