如何維護Chapel數組中的對象的子類型

Question

跟進earlier SO question，現在我想將Fruit收集到一個籃子中，但知道子類型的出路。

class Banana : Fruit { 
    var color: string; 
} 
class Apple: Fruit { 
    var poison: bool; 
} 
class Fruit { 
} 

var a = new Apple(poison=true); 
var b = new Banana(color="green"); 

if (a.type == Apple) { 
    writeln("Go away doctor!"); 
} 

var basketDom = {1..1}; 
var basket: [basketDom] Fruit; 
basket.push_back(a); 
basket.push_back(b); 

for b in basket { 
    writeln(b.type:string); 
} 

這將打印超類型Fruit。我如何從這個籃子中獲得Apples和Bananas？

Answer 1

快速入侵（除非存在實際的解決方案）將發送一個元組到basket，其中元組將代表(type_of_object, typecasted_object)。

您的代碼將因此成爲，

var basketDom = {1..1}; 
var basket: [basketDom] (string, Fruit); 
basket.push_back((a.type:string, a)); 
basket.push_back((b.type:string, b)); 

for b in basket { 
    writeln(b); 
} 

這會給你

(Apple, {poison = true}) 
(Banana, {color = green}) 

此外，您可以訪問使用索引的類型。例如 - b[1]將是該類型和b[2]的對象內容。

要在此之後訪問類變量，如poison和color，你可以不喜歡

if (b[1] == "Banana") { 
    var obj = b[2]: Banana; 
    writeln(obj.color); 
} 

相若方式和爲類Apple。