如何在铁匠铺中添加列表不为空的约束？

Question

如何在铁匠铺中添加列表不为空的约束？ 我有一个铁匠铺名单如下 -

list CarsList {
    member: Car
}

struct Car {
    @required
    Name: CarName
}

@length(min: 1)
string CarName

我想向列表添加一个约束/特征

CarList

以不允许它为空。

我尝试将

@required

添加到

CarName

中的

struct Car

并将

@length(min: 1)

添加到

string Carname

，如上所示，但它没有做任何工作。

Answer 1

您可以使用

@min

特性来满足此类要求。

list CarsList {
    @min(1)
    member: Car
}

struct Car {
    @required
    Name: CarName
}

@length(min: 1)
string CarName

如果您创建一个没有元素的

CarsList

实例，它将被视为无效。

@min

特征指定列表必须具有的最小元素数量，这里我们至少需要

1

。

Answer 2

@min

对我不起作用， 但

@length

对我有用。

@length(min: 1)
list CarsList {
    member: Car
}

struct Car {
    @required
    Name: CarName
}

@length(min: 1)
string CarName