Future拥有一个via()函数，该函数需要一个Executor类型的参数。Executor是一个非常简单的接口，它只存在一个线程安全的add(std::function func) 方法，它会在某个时候执行这个func，尽管不是立即执行。而via()可以确保被设置的回调函数在指定的Executor上执行。