如何创建包含不同类型的集合

如何解决如何创建包含不同类型的集合

如何创建一个包含 loc、int 和 string 的集合？ 在下面的示例中，我的地图似乎已转换为容器类型“值”。我想使用一个集合的特性； 集合中只应包含一个元素，顺序无关紧要。 在下面的示例中，相同的元素包含在我希望成为的集合中。

Rascal>mySet = ();
map[void,void]: ()
Rascal>mySet += {<|project://Test/|,1,"test"> };
value: {
  (),<|project://Test|,"test">
}
Rascal>mySet += {<|project://Test/|,"test"> };
value: {
  <|project://Test|,"test">,{
    (),"test">
  }
}

再次感谢您的建议:-)

解决方法

发生了一些奇怪的事情。首先 mySet 是一个映射，然后你向它添加一个集合，变量 mySet 突然变成了一个包含前一个映射和你添加的新元素的集合。在我看来，+= 有一个错误。

如果你想在一个集合中添加多个元素，你应该从一个集合开始，然后像这样添加元素：

rascal>mySet = { |project://Test|,1,"test" }; // simply create the set with 3 different elements in it
set[value]: { |project://Test|,"test" }

或者你可以从一个空集开始并添加元素：

rascal>mySet = {};
set[void]: {}
rascal>mySet += 1;
set[int]: {1}
rascal>mySet += |project://Test|;
set[value]: {1,|project://Test|}
rascal>mySet += "test";
set[value]: {1,|project://Test|,"test"}