如何支持特定于连接池供应商的DataSourceProperties配置

<dependency>
    <groupId>org.springframework.boot</groupId>
    <artifactId>spring-boot-starter-data-jpa</artifactId>
</dependency>
<dependency>
    <groupId>com.zaxxer</groupId>
    <artifactId>HikariCP</artifactId>
</dependency>

spring.datasource.hikari.maximum-pool-size=10
spring.datasource.hikari.connection-timeout=30000

spring:
  datasource:
    hikari:
      maximum-pool-size: 10
      connection-timeout: 30000

@Configuration
public class DataSourceConfig {

    @Autowired
    private DataSourceProperties dataSourceProperties;

    @Bean
    public DataSource dataSource() {
        HikariDataSource dataSource = new HikariDataSource();
        dataSource.setJdbcUrl(dataSourceProperties.getUrl());
        dataSource.setUsername(dataSourceProperties.getUsername());
        dataSource.setPassword(dataSourceProperties.getPassword());
        dataSource.setMaximumPoolSize(dataSourceProperties.getHikari().getMaximumPoolSize());
        dataSource.setConnectionTimeout(dataSourceProperties.getHikari().getConnectionTimeout());
        return dataSource;
    }
}

@Repository
public class UserRepository {

    @Autowired
    private DataSource dataSource;

    public User findById(Long id) {
        // 使用数据源进行数据库操作
        // ...
    }
}