example1.1.cpp

template <bool, typename T = void>
struct stop_if{
	typedef T type;
};
template <typename T>
struct stop_if<true, T> {};


struct Dog {};
struct Husky : public Dog {};
struct Poodle :public Dog {};

template<class T>
struct is_husky {
	static constexpr bool result = false;
};
template<>
struct is_husky<Husky> {
	static constexpr bool result = true;
};

template<class T, class = typename stop_if<is_husky<T>::result, T>::type >
void DogCanBeSmartExceptHusky(const T&& dog) {};

int main()
{
    DogCanBeSmartExceptHusky(Poodle{});
    DogCanBeSmartExceptHusky(Husky{});
    return 0;
}