書いているC++プログラムの一か所に出てきた既視感のある部分についての備忘録。

該当部分は次の4行。

    struct bool_proxy {
        explicit operator bool() const  { return true; }
        friend bool operator ,(bool b, const bool_proxy&)   { return b; }
    };

こういう使い方をする。

    template <typename F>
    void foo(F&& func, int begin, int end)
    {
        bool_proxy   bp;        // <--  これ（後から追加）
        for ( auto i = begin; i < end; ++i )
        {
            //  std::forward<F>(func)(i);    // <--  最初はこうだった
            if ( !(std::forward<F>(func)(i), bp) )
                    break;
        }
    }

//----------------------------------------------------------
    std::vector<int>  vec;

    auto void_expr = [&](int a)  {     //もともとあったファンクタ
        vec.push_back(a);
    };

    auto bool_expr = [&](int a)  {     //追加したファンクタ
        if ( a < 5 )    vec.push_back(a);
        return a < 5;
    };

    foo(void_expr, -99, 100);    // -99 ～ +99
    foo(bool_expr, -99, 100);    // -99 ～ +4

関数fooはループ中でコールバックfuncを呼び出すが、「最初はこうだった」とコメントアウトしている通り当初は無条件に呼び出すだけで、funcの戻り値もvoidだった。その後条件によってループをbreakしたいという要求が出てきたので、bool値を返すファンクタを作った（falseが返ってきたときbreak）。
しかし、

• すべての場合にそういう条件をつけたい訳ではない
• もともと使っていたファンクタの戻り値型をvoidからboolに直すのは面倒だ

そこでfooを<F>でオーバーロードしよう思ったが、以下のようなことを考えてやりたくなくなった。

• 一部分の挙動が違うだけのオーバーロード関数を作るのはイヤだ
• 複数の異なる型のコールバックを受け取るときは組み合わせが多くなる
• いろんなシグネチャパターンのコールバックに対応するとしたら面倒だ

voidな式はtrueと評価し、boolな式はそれ自体として評価する方法はないかと考えた結果、最初に示したbool_proxyのアイデアを思いついた。「イヤだ」と感じた3つの点は避けられたが、既視感があるようなないような、罠があるようなないような、もっと全然簡単な方法があるようなモヤモヤした状態のまま使っている。

とりあえずbool_proxyという名前がどこか間違っているような気がしてならない。

VBAHaskellにplace_fill という関数を追加して Haskell_2_stdFun.bas モジュールに置いた。

1次元配列内の指定した複数の位置に関数もしくは定数値を適用して、その場所に値を埋めるものだ。 埋めたあと配列そのものをmoveして返す。

' 配列の特定位置に関数／値を適用する（値を埋めてmoveして返す）
Function place_fill(ByRef vec As Variant, _               👈 対象配列
                    ByRef fun As Variant, _               👈  適用する関数または定数
                    ByRef indice As Variant, _            👈 インデックス
                    Optional ByRef souce As Variant       👈 ソース配列
                ) As Variant

これまでは配列全体を処理する関数がほとんどで、こういう関数はなかった。 関数にはインデックスまたはソース配列の各要素が代入され、模式的には for ( i ∈ indice ) vec(i) = fun(i) もしくは for ( i ∈ indice ) vec(i) = fun(source(i)) というループとなる。ただし fun が関数でなかった場合はそれ自身が値として代入される。「インデックスまたはソース配列」というのは、sourceが省略された場合はindex自身がソース配列となるという意味だ。また、sourceにvec自身を代入することもできる。

基本的な使い方はこうだ。

' 長さ10の配列の(2, 5, 8)の位置に定数を置く
printM place_fill(repeat(0, 10), 1, Array(2,5,8))
  0  0  1  0  0  1  0  0  1  0

' 長さ10の配列の(2, 5, 8)の位置に文字列の一部分を置く
printM place_fill(repeat("-", 10), p_left("abcdefghijk"), Array(2,5,8))
  -  -  ab  -  -  abcde  -  -  abcdefgh  -

これでFizzBuzzを書くとこうなる。 あまり短くはならないが、素直なコードになる。

m = place_fill(iota(0,100), "Fizz", mapF(p_mult(3), iota(1, 33)))
m = place_fill(m, "Buzz", mapF(p_mult(5), iota(1, 20)))
m = place_fill(m, "FizzBuzz", mapF(p_mult(15), iota(1, 6)))
printM m, -100
  1  2  Fizz  4  Buzz  Fizz  7  8  Fizz  Buzz  11  Fizz  13  14  FizzBuzz  16  17  Fizz  19  Buzz  Fizz  22  23  Fizz  Buzz  26  Fizz  28  29  FizzBuzz  31  32  Fizz  34  Buzz  Fizz  37  38  Fizz  Buzz  41  Fizz  43  44  FizzBuzz  46  47  Fizz  49  Buzz  Fizz  52  53  Fizz  Buzz  56  Fizz  58  59  FizzBuzz  61  62  Fizz  64  Buzz  Fizz  67  68  Fizz  Buzz  71  Fizz  73  74  FizzBuzz  76  77  Fizz  79  Buzz  Fizz  82  83  Fizz  Buzz  86  Fizz  88  89  FizzBuzz  91  92  Fizz  94  Buzz  Fizz  97  98  Fizz  Buzz

misc_mathに実装した素数一覧を出力する関数と組み合わせるとこういう表示もできる。

printM place_fill(iota(0, 30), "☆", primeNumbers(30))
  0  1  ☆  ☆  4  ☆  6  ☆  8  9  10  ☆  12  ☆  14  15  16  ☆  18  ☆  20  21  22  ☆  24  25  26  27  28  ☆  30

☆の前後にその素数を付けて表示するためには、文字連結関数を引数にすればいい。

printM place_fill(iota(0,30), p_str_cat("☆"), primeNumbers(30))
  0  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

printM place_fill(iota(0,30), p_str_cat(, "☆"), primeNumbers(30))
  0  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

この関数の実装は以下の通り。

' 配列vecの指定位置に関数／値を適用する（値を埋めてmoveして返す）
Function place_fill(ByRef vec As Variant, _
                    ByRef fun As Variant, _
                    ByRef indice As Variant, _
                    Optional ByRef souce As Variant) As Variant
    Dim i As Long
    ' souceまたはindex（souce 省略時）を埋め込む
    If is_bindFun(fun) Then
        Dim tmp As Variant
        If IsMissing(souce) Then    ' = index
            tmp = mapF(fun, indice)
        Else
            tmp = mapF(fun, subV(souce, indice))
        End If
        For i = LBound(indice) To UBound(indice) Step 1
            Call swapVariant(vec(indice(i)), tmp(i))
        Next i
    Else    ' 単一の値を埋め込む
        For i = LBound(indice) To UBound(indice) Step 1
            Call assignVar(vec(indice(i)), fun)
        Next i
    End If
    Call swapVariant(place_fill, vec)
End Function

github.com

http://home.b07.itscom.net/m-yamada/VBA/

SQL Server Express に日経平均株価のヒストリカルデータテーブルをCREATEして、データをINSERTしたときのメモ。
VBAHaskellとvb_ODBC.clsを使用。

1.データの準備

日経平均株価 日足 時系列データ CSVダウンロードから各年のCSVファイルをダウンロードしておく。

2.ファイルを全部つなげた配列を作る

m = catVs(getTextFile("H:\download\indices_I101_1d_2007.csv"), _
          getTextFile("H:\download\indices_I101_1d_2008.csv"), _
          getTextFile("H:\download\indices_I101_1d_2009.csv"), _
          getTextFile("H:\download\indices_I101_1d_2010.csv"), _
          getTextFile("H:\download\indices_I101_1d_2011.csv"), _
          getTextFile("H:\download\indices_I101_1d_2012.csv"), _
          getTextFile("H:\download\indices_I101_1d_2013.csv"), _
          getTextFile("H:\download\indices_I101_1d_2014.csv"), _
          getTextFile("H:\download\indices_I101_1d_2015.csv"), _
          getTextFile("H:\download\indices_I101_1d_2016.csv"))

中身はこんな感じ。
各ファイルにヘッダがついていて、末尾には空白行がある。

printM_ m, 4
日付,始値,高値,安値,終値
2007-12-28,15413.37,15413.37,15240.96,15307.78
2007-12-27,15616.41,15628.31,15535.51,15564.69
2007-12-26,15613.96,15653.54,15559.47,15653.54
printM_  m, -4
2016-01-06,18410.57,18469.38,18064.30,18191.32
2016-01-05,18398.76,18547.38,18327.52,18374.00
2016-01-04,18818.58,18951.12,18394.43,18450.98

3.日付でソートする

各行の先頭10文字を抽出して < で比較する。

si = sortIndex_pred(m, p_less(p_left(,10), p_left(,10)))
permutate m, si

ソート後の状態を見てみる。

printM_  m, 11










2007-01-04,17322.50,17379.46,17315.75,17353.66
printM_  m,-11
2016-12-22,19396.85,19427.67,19327.51,19427.67
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値
日付,始値,高値,安値,終値

空白行が先頭に、ヘッダ行が末尾に集まっている。

4.データの整形

空白行（先頭10行）とヘッダ行（末尾10行）を削除し、各項目をカンマで区切る。

m = tailN(headN(m, -10), -10)
m = mapF(p_Split(, ","), m)

printS m
[Dim1]: 0 -> 2443  : Total Size = 2444

printM_ m,4
  2007-01-04  17322.50  17379.46  17315.75  17353.66
  2007-01-05  17315.53  17327.13  17011.09  17091.58
  2007-01-09  17018.89  17261.02  16983.97  17237.76
  2007-01-10  17192.41  17199.41  16847.57  16942.40

5.ODBCオブジェクトを作ってSQL Serverに接続

set oo = new vb_ODBC
?oo.connect(oo.sqlServer_expr("***-PC\SQLEXPRESS", "sampleDB01"))
True

6.テーブルCREATE

oo.exec "CREATE TABLE NK225 (" & _
                     "MDATE date," & _
                    " OPEN_P numeric(8,2)," & _
                    " HIGH_P numeric(8,2)," & _
                    " LOW_P numeric(8,2)," & _
                    " CLOSE_P numeric(8,2)" & _
                    ");"

7.INSERT文を作る

s = oo.insert_expr_("NK225", Array("MDATE","OPEN_P","HIGH_P","LOW_P","CLOSE_P"), m)
printS s
[Dim1]: 0 -> 2443  : Total Size = 2444
printM_ S,3
INSERT INTO NK225 (MDATE,OPEN_P,HIGH_P,LOW_P,CLOSE_P) VALUES('2007-01-04',17322.50,17379.46,17315.75,17353.66);
INSERT INTO NK225 (MDATE,OPEN_P,HIGH_P,LOW_P,CLOSE_P) VALUES('2007-01-05',17315.53,17327.13,17011.09,17091.58);
INSERT INTO NK225 (MDATE,OPEN_P,HIGH_P,LOW_P,CLOSE_P) VALUES('2007-01-09',17018.89,17261.02,16983.97,17237.76);

8.INSERT文を実行

oo.exec s

9.結果を確認

m1 = oo.select_flat("select * from NK225 order by MDATE").get_data
printS m1
[Dim1]: 0 -> 2443  [Dim2]: 0 -> 4  : Total Size = 12220
printM  m1,5
  2007/01/04   17322.5  17379.46  17315.75  17353.66
  2007/01/05  17315.53  17327.13  17011.09  17091.58
  2007/01/09  17018.89  17261.02  16983.97  17237.76
  2007/01/10  17192.41  17199.41  16847.57   16942.4
  2007/01/11  16958.57  17057.44  16758.46  16838.16
printM  m1,-5
  2016/12/16  19438.39  19439.97  19360.36  19401.15
  2016/12/19  19345.84  19399.26  19307.14   19391.6
  2016/12/20  19367.84   19511.2  19356.81  19494.53
  2016/12/21  19547.28   19592.9  19375.19  19444.49
  2016/12/22  19396.85  19427.67  19327.51  19427.67

h = oo.get_header
printM h
  MDATE    TYPE_DATE
  OPEN_P   NUMERIC  
  HIGH_P   NUMERIC  
  LOW_P    NUMERIC  
  CLOSE_P  NUMERIC  

VBAHaskellのC++側APIにふたつの関数を追加した。VBAのクラスインスタンスを操作する時のイディオムである swap と clone を実装するのに使う。
（今回もHaskell的な要素はまったくありません。）

以下ではswap は自身の属性と他のオブジェクトの属性をまるごと入れ替える操作、clone は自身と同じ属性を持つコピーオブジェクトを生成する操作のことを意味する。

自身を元にして新しいオブジェクトを返す関数 new_obj を作る
・ クラス名は myClass
・ 属性を変更するためのPrivateなeditメソッドがある
・ edit は失敗する可能性もあり、その場合は Nothing を返すことにする
・ 関数呼び出し後、Me には副作用がないようにしたい

これをclone ⇒ swap ⇒ edit ⇒ swapのパターンを用いて実装した例がこちら。swapとcloneは上記APIを使って実装したものと想定している。（冗長にMe.をつけている）

Public Function new_obj() As myClass
    Set new_obj = Me.clone    ' クローンオブジェクトの生成
    Call Me.swap(new_obj)     ' swapでクローンと自分自身を入れ替える
    Dim result As Boolean
    result = Me.edit          ' 自分自身を edit する
    Call Me.swap(new_obj)     ' 2度目のswap。Meは元に戻る
    If result = False Then Set new_obj = Nothing
End Function

この関数から返るのは clone.edit 相当のオブジェクトだが、ここでの edit は Me に対する操作なので Private宣言されていても問題なく呼び出すことができる。途中でオブジェクトの内部状態が壊れてしまった時も2度目のswapによってMeは問題なく現状復帰できる。こういう使い方をするという前提があれば editメソッドは正常系のロジックに専念し、失敗した場合は単にFalseを返せばよくなるので記述がシンプルになる。

他のオブジェクトを受け取ってMeと相互作用する関数を作る
これも同じことで、対象のオブジェクトとMeをswapをすることによってMeに対する操作に置き換えることができる。

Public Function compare(ByVal other As myClass) As ***
    Call Me.swap(other)       ' swapで対象オブジェクトと自分自身を入れ替える
    （ここでotherの属性をMeの属性として取得して何か計算する）
    Call Me.swap(other)       ' 
    Meの属性とotherの属性とを比較した結果を返す
End Function

受け取った他のオブジェクトに副作用を及ぼすことをしないのであればcloneを作る必要はないが、副作用があるならcloneを作っておきcloneとswapすることによって元に戻すことができる。swapとcloneのイディオムによって、クラス内でしか使用しないPrivateメソッドをあえてPublic化する必要は減ると思う。

APIとして追加したcopy_valueMemberとcopy_objectMemberのシグネチャは以下の通り。

// VBAのクラスオブジェクトの特定のメンバ（オブジェクト型以外）を同一クラスの他のオブジェクトにコピーする
VARIANT_BOOL __stdcall copy_valueMember(IDispatch* me, VARIANT* mbr, IDispatch* target, __int32 dir);

// VBAのクラスオブジェクトのオブジェクト型のメンバを同一クラスの他のオブジェクトにコピーする
VARIANT_BOOL __stdcall copy_objectMember(IDispatch* me, IDispatch** pmbr, IDispatch* target, __int32 dir, VARIANT* method);

この関数は新しいファイル classMemberCopy.cpp を追加して入れた。

• VBA側でswapとcloneを実装する例がこちら。Declare文は個別の.clsモジュールに宣言し、IDispatch の部分を個別に対象のクラス型に変える必要がある。

' 自分のクラスが "myClass"
' メンバとして "memberClass" のインスタンスを持つ

Private Declare PtrSafe Function copy_valueMember Lib "mapM.dll" _
                                        (ByVal source As myClass, _
                                    ByRef mem As Variant, _
                                ByVal target As myClass, _
                            ByVal direc As Long) As Boolean

Private Declare PtrSafe Function copy_objectMember Lib "mapM.dll" _
                                        (ByVal source As myClass, _
                                    ByRef pmem As memberClass, _
                                ByVal target As myClass, _
                            ByVal direc As Long, _
                        Optional ByRef nm As Variant) As Boolean

Private myValue  As Long
Private myObject As memberClass

' 他のオブジェクトと属性の交換
Private Sub swap(ByVal other As myClass)
    Call copy_valueMember(Me, myValue, other, 0)
    Call copy_objectMember(Me, myObject, other, 0)
End Sub

' 自身のcloneを生成
Private Function clone() As myClass
    Set clone = New myClass
    Call copy_valueMember(Me, myValue, clone, 1)
    Call copy_objectMember(Me, myObject, clone, 1, "clone")
End Function

メンバとして複数のクラスを持つ場合は、copy_objectMember のシノニムを宣言すればいい。