Mergesort上产品类型与端口数目不相等的问题

在source里面设了三种产品，mergesort的output有两个端口，我想端口1输送一种产品，端口2输送两种产品，代码如下：
. V( h  l6 G7 T5 o{
case 1: return getitemtype(item) == 1; break；
case 2: return getitemtype(item) == 2||3;break；
}
; J, M# F4 {8 J9 z/ n% y7 [结果成功了。但是，
如果我将端口1设为输送两种产品，端口2设为输送一种产品，代码：
  L2 u) A- b6 b/ Vswitch(port)
{
case 1: return getitemtype(item) == 1||2; break；
1 r5 D# @+ w. b; T2 Y' acase 2: return getitemtype(item) == 3;break；
; i0 ?; `7 b: A5 d, h" w}
* I: p8 ]* ~: ~" ?, }产生的结果为：端口1上出现3种产品，端口2没有产品。这是怎么回事呢？
有谁有关于Megesort的详细介绍吗？

很奇怪，我也发现了

convery 却可以

写成case 1: return getitemtype(item) == 1||getitemtype(item)==  2;
$ U# s3 M) U& v" B/ vcase 2: return getitemtype(item) == 3;

7 e/ [- W3 b! X+ s, l$ J5 ]就可以实现

case 2: return getitemtype(item) == 2||3；
6 O( r9 @0 C: M" z$ l等于 case 2: return 2||3；
: |' G2 g, ~/ R4 d9 j7 j/ L等于: return 1；
你的第一个程序相当于：
+ Z* ~+ ]- C, l/ f* b0 Y( n# Ccase 1: return getitemtype(item) == 1;
9 m. h6 J! R* g) o" b) O; bcase 2: return 1；在Megesort中最后一个出口，可用来将在所有其他临时实体从最后一个输出端口发送出去。所以，可以实现功能！
. H2 h& [9 f& d( f! l
2 R6 _# Y9 x+ f$ S+ T所以第二个你的程序可以解读为：
! {, O' O  x  t) B$ _+ j1 w( b, qswitch(port)
7 P5 }2 p: [/ T/ I4 G2 C0 `{
3 v1 j. ^; z3 _& l: vcase 1: return 1；（相当于所有实体可以从出口1流出)
case 2: return getitemtype(item) == 3;(ITEM3从出口也可流出）
}
+ V# B9 C8 P* M+ a0 X' s由于第一个出口优先于出口2，所以ITEM3 一直从出口1流出。

7 Y6 B) Y! a) {0 t/ G如有错误，请指教。

case 2: return getitemtype(item) == 2||3；
1 l# V& P$ G" e- o等于 case 2: return 2||3；
7 b  X6 b+ L; c# d3 O等于: return 1；
你的第一个程序相当于：
case 1: return getitemtype(item) == 1;
5 a- v% H/ K" ~0 v- u6 m, wcase 2: return 1；在Megesort中最后一个出口，可 ...
wj109260758 发表于 2010-6-14 05:15

  O% }9 U. [- \$ h2 b3 G! u理解有些问题啊，这个触发是一个判断，当每个item到达一个port（端口）时触发一次，然后判断触发：如果为真则发送，如果为假则不发送。
' I& n7 l9 U. n8 r/ _2 Freturn getitemtype(item) == 2||3   相当于判断两次，只要一次为真则整体为真，判断的条件是：getitemtype(item) == 2 和 3 ，  3总为真

这种写法是不正确的，而return getitemtype(item) == 2||getitemtype(item) == 3  则判断两次，所以要注意这种细节。

感觉还是没有看懂到底为什么会出现这种情况？