C++中的逆变如何实现的？

Question

在 搜索协变逆变的时候，在博客 https://www.jianshu.com/p/db7...

template <typename T>
using Sink = std::function<void (T*)>;

Sink<Vehicle> vehicle_sink = [] (Vehicle*) { std::cout << "Got some vehicle\n"; };
Sink<Car> car_sink = vehicle_sink; // OK, vehicle_sink可以代替 car_sink
car_sink(new Car);

vehicle_sink = car_sink; // ERROR

Car是Vehicle的子类，这里car_sink 是一个接受参数类型为 Car 且什么都没有返回的函数， vehicle_sink 是一个接受参数类型为 Vehicle 且什么都没有返回的函数，那为什么这样Sink<Car> car_sink = vehicle_sink就会成立？成立的原因是因为类型转换吧，函数之间的类型转换有什么原则吗？依据接受参数的继承关系来确定函数类型转换原则？？