Spring数据-统计分组中的不同项

我有访问用户的数据库,其中包含place_id和user_id,如下所示

{place_id : 1, user_id : 1}
{place_id : 1, user_id : 1}
{place_id : 1, user_id : 2}
{place_id : 2, user_id : 3}
{place_id : 2, user_id : 3}

我希望每个地方都有大量不同的用户。我最终得到了以下原生mongo聚合:

db.collection.aggregate([{
        $group: {
            _id: "$place_id",
            setOfUsers: {
                $addToSet: "$user_id"
            }
        }
    }, {
        $project: {
            distinctUserCount: {
                $size: "$setOfUsers"
            }
        }
    }])

现在我想用SpringData实现它,现在的问题是投影中的$size操作,因为Spring数据API没有这样的操作,至少我在引用中没有找到它。

    GroupOperation group = Aggregation.group("place_id").addToSet("user_id").as("setOfUsers");
    ProjectionOperation project = Aggregation.project(). .... ?

也许还有任何方法可以创建大小字段,而不是使用嵌套的api:

Aggregation.project().and("distinctUserCount").nested( ???);

感谢任何帮助。