ペア比較マクロ | Codetter（こーどったー）

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
// コア
#define global ctype _pairOpPush2(%1, %2) %t_pairOp %s2 %s1 // 逆順 (%pN の N を(左:0→右:max)にするため)
#define global ctype _pairOpPush1(%1)     %t_pairOp %s1
#define global       _pairOpPop2          %t_pairOp %o0 %o0
#define global       _pairOpPop1          %t_pairOp %o0
// 展開後の式の形
#define global _pairEq2Impl %t_pairOp (%p0 == %p2 && %p1 == %p3)
#define global _pairNe2Impl %t_pairOp (%p0 != %p2 || %p1 != %p3)
#define global _pairOp2Impl %t_pairOp  %p0 %p4 %p2 , %p1 %p4 %p3
// { push, 展開式, pop }
#define global ctype _pairRel2(%1 = impl, %2 = args, %3) \
    _pairOpPush2 %3 _pairOpPush2 %2 \
    %1 \
    _pairOpPop2 _pairOpPop2
#define global ctype _pairOp2(%1 = impl, %2 = op, %3 = args, %4) \
    _pairOpPush1(%2) _pairOpPush2 %4 _pairOpPush2 %3  \
    %1 \
    _pairOpPop2 _pairOpPop2 _pairOpPop1
// public
#define global ctype pairEq(%1, %2) _pairRel2(_pairEq2Impl,  %1, %2)
#define global ctype pairNe(%1, %2) _pairRel2(_pairNe2Impl,  %1, %2)
#define global ctype pairOp(%1, %2 = op, %3) _pairOp2(_pairOp2Impl, %2,  %1, %3)
// テキトーなサンプル
#if 1
#define ctype dbgstr(%1)  ({"%1 = "} + (%1))
#define ctype dbgarr2(%1) ({"%1 = [ "} + %1(0) + ", " + %1(1) + " ]")
    
    a = 1
    b = 2
    mes dbgstr( pairEq((a, b), (1, 2)) )    // true
    mes dbgstr( pairNe((a, b), (3, 2)) )    // true
    
    x = pairOp( (1, 2), +, (3, 4) ) // ←見づらい
    mes dbgarr2( x )
#endif
/*
(a, b) を ctype マクロの引数にして、後は特殊展開マクロでよろしくやってるだけ
n-tuple について同様に可能
*/
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX