Spring 启动 WebSocket:我如何知道客户端何时取消订阅?

Spring Boot WebSocket: How do I know when a Client has Unsubscribed?

我目前有一个带有 STOMP 设置的简单 WebSocket,客户端连接到一个主题(带有 ID)。控制器立即响应所请求的内容,并设置一个变量来指示客户端已订阅的内容。一个用 @Scheduled 注释的方法现在每隔几秒就向客户端发送它所请求的内容。

计划的方法在客户端第一次连接之前不做任何事情。但是,在第一次订阅之后,无论客户端是否订阅,它都会继续发布。

@Controller
public class ServiceWebSocketController {

    @Autowired
    private ServiceService serviceService;

    @Autowired
    WebSocketSessionController webSocketSessionController;

    @Autowired
    private SimpMessagingTemplate simpMessagingTemplate;

    private Set<Long> services = new HashSet<>();

    @SubscribeMapping("/service/{serviceId}")
    public ServiceDTO subscribe(@DestinationVariable("serviceId") final Long serviceId) throws SQLException {
        System.out.println("Subscribed to Service with ID: " + serviceId);
        services.add(serviceId);
        return serviceService.getServiceWithProperties(serviceId).orElseThrow(() -> new ResourceNotFoundException("Service", "id", serviceId));
    }

    @Scheduled(fixedDelay = 2000)
    public void service() throws SQLException {
        services.removeIf(serviceId -> !webSocketSessionController.hasSubscriptionTo("/topic/service/" + serviceId));

        // Publish specified Service data to each anonymously subscribed client.
        services.forEach(serviceId -> {
            try {
                System.out.println("Publishing Service with ID: " + serviceId);
                // We don't use .convertAndSendToUser here, because all our clients are anonymous.
                simpMessagingTemplate.convertAndSend("/topic/service/" + serviceId, serviceService.getServiceWithProperties(serviceId));
            } catch (SQLException e) {
                e.printStackTrace();
            }
        });
    }
}

如何判断客户是否取消订阅?如果存在类似于 @UnsubscribeMapping 的东西,我可以简单地将 currentSubscriptionServiceId 变量再次设置为 null,防止计划方法连续发布数据。

您可以像这样收听事件 SessionUnsubscribeEvent

@Controller
public class SessionUnsubscribeListener implements ApplicationListener<SessionUnsubscribeEvent> {

   @Override
   public void onApplicationEvent(SessionUnsubscribeEvent event) {
       GenericMessage message = (GenericMessage) event.getMessage();

       String simpDestination = (String) message.getHeaders().get("simpDestination");

       if ("/topic/service".equals(simpDestination)) {
           // do stuff
       }
   }
}