Program全般

[VB.NET]隠れたCOSTという話

Mr.T — Wed, 07 Oct 2009 11:23:00 GMT

Mr.Tです、こんにちは。

元ネタは、http://blogs.msdn.com/vbteam/archive/2009/10/06/hidden-costs-matt-gertz.aspx
# ほとんど、ネタに乗っかるだけの話なんで恐縮なんですけどね。

VB6.0以前でも云われてきた話じゃないかと思ってたんですが、ループなどで、こういう処理を書いたとします。

     Public MyList As List(Of String) = New List(Of String)
    Sub Main()
        Dim s As New System.Text.StringBuilder
        For i As Integer = 0 To MyList.Count
            s.Append(MyList(i))
        Next
    End Sub

このとき、MyList.Countは、ループのたびに評価される、というのが隠れたCostということみたいです。

で、ほんじゃどんだけ違うのだろうと、MSILコードを見るとこんな感じでした。

#Costがあるってなら、何か余計な処理&時間がかかる処理があるんだろうと思うので。

.method public static void Main() cil managed
{
.entrypoint
.custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 )
// コードサイズ       48 (0x30)
.maxstack 3
.locals init ([0] class [mscorlib]System.Text.StringBuilder s,
           [1] int32 i,
           [2] int32 VB$t_i4$L0)
IL_0000: newobj     instance void [mscorlib]System.Text.StringBuilder::.ctor()
IL_0005: stloc.0
IL_0006: ldc.i4.0
IL_0007: ldsfld     class [mscorlib]System.Collections.Generic.List`1<string> Sample.Module1::MyList
IL_000c: callvirt   instance int32 class [mscorlib]System.Collections.Generic.List`1<string>::get_Count()
IL_0011: stloc.2（※１）
IL_0012: stloc.1
IL_0013: br.s       IL_002b
IL_0015: ldloc.0
IL_0016: ldsfld     class [mscorlib]System.Collections.Generic.List`1<string> Sample.Module1::MyList
IL_001b: ldloc.1
IL_001c: callvirt   instance !0 class [mscorlib]System.Collections.Generic.List`1<string>::get_Item(int32)
IL_0021: callvirt   instance class [mscorlib]System.Text.StringBuilder [mscorlib]System.Text.StringBuilder::Append(string)
IL_0026: pop
IL_0027: ldloc.1
IL_0028: ldc.i4.1
IL_0029: add.ovf
IL_002a: stloc.1
IL_002b: ldloc.1
IL_002c: ldloc.2
IL_002d: ble.s      IL_0015
IL_002f: ret
} // end of method Module1::Main

MyList.Coutを事前に求めておいたパターンで同じようにやってみました。

    Public MyList As List(Of String) = New List(Of String)
    Sub Main()
        Dim s As New System.Text.StringBuilder
        Dim count As Integer = MyList.Count
        For i As Integer = 0 To count
            s.Append(MyList(i))
        Next
    End Sub

.method public static void Main() cil managed
{
.entrypoint
.custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 )
// コードサイズ       50 (0x32)
.maxstack 3
.locals init ([0] int32 count,
           [1] class [mscorlib]System.Text.StringBuilder s,
           [2] int32 i,
           [3] int32 VB$t_i4$L0)
IL_0000: newobj     instance void [mscorlib]System.Text.StringBuilder::.ctor()
IL_0005: stloc.1
IL_0006: ldsfld     class [mscorlib]System.Collections.Generic.List`1<string> Sample.Module1::MyList
IL_000b: callvirt   instance int32 class [mscorlib]System.Collections.Generic.List`1<string>::get_Count()
IL_0010: stloc.0（※２）
IL_0011: ldc.i4.0
IL_0012: ldloc.0
IL_0013: stloc.3
IL_0014: stloc.2
IL_0015: br.s       IL_002d
IL_0017: ldloc.1
IL_0018: ldsfld     class [mscorlib]System.Collections.Generic.List`1<string> Sample.Module1::MyList
IL_001d: ldloc.2
IL_001e: callvirt   instance !0 class [mscorlib]System.Collections.Generic.List`1<string>::get_Item(int32)
IL_0023: callvirt   instance class [mscorlib]System.Text.StringBuilder [mscorlib]System.Text.StringBuilder::Append(string)
IL_0028: pop
IL_0029: ldloc.2
IL_002a: ldc.i4.1
IL_002b: add.ovf
IL_002c: stloc.2
IL_002d: ldloc.2
IL_002e: ldloc.3
IL_002f: ble.s      IL_0017
IL_0031: ret
} // end of method Module1::Main

よくわからんのだけど、この※１と※２は、Countの戻り値を評価スタックとやらにPushしてるわけで、この値を比較対象と
してるんだと思ってるんですが、違うんですかね？

この時点では、もうどちらもint32の値として利用されているから、Costなんてなさそうな感じがします。

前段では、

IL_002d: ble.s IL_0015

後段では、

IL_002f: ble.s IL_0017

ここで、ループというか指定行に飛んでいくようになってます。つまり、これを見る限りは、Appendは毎回評価されている

けど、Countは毎回なんぞ評価されていないように見えます。

じゃあ、For Each使えばどうなのよ、ってことで、

    Public MyList As List(Of String) = New List(Of String)
    Sub Main()
        Dim s As New System.Text.StringBuilder
        For Each data As String In MyList
            s.Append(data)
        Next
    End Sub

.method public static void Main() cil managed
{
.entrypoint
.custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 )
// コードサイズ       61 (0x3d)
.maxstack 2
.locals init ([0] class [mscorlib]System.Text.StringBuilder s,
           [1] string data,
           [2] valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<string> VB$t_struct$L0)
IL_0000: newobj     instance void [mscorlib]System.Text.StringBuilder::.ctor()
IL_0005: stloc.0
.try
{
    IL_0006: ldsfld     class [mscorlib]System.Collections.Generic.List`1<string> Sample.Module1::MyList
    IL_000b: callvirt   instance valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<!0> class [mscorlib]System.Collections.Generic.List`1<string>::GetEnumerator()
    IL_0010: stloc.2
    IL_0011: br.s       IL_0023
    IL_0013: ldloca.s   VB$t_struct$L0
    IL_0015: call       instance !0 valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<string>::get_Current()
    IL_001a: stloc.1
    IL_001b: ldloc.0
    IL_001c: ldloc.1
    IL_001d: callvirt   instance class [mscorlib]System.Text.StringBuilder [mscorlib]System.Text.StringBuilder::Append(string)
    IL_0022: pop
    IL_0023: ldloca.s   VB$t_struct$L0
    IL_0025: call       instance bool valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<string>::MoveNext()
    IL_002a: brtrue.s   IL_0013
    IL_002c: leave.s    IL_003c
} // end .try
finally
{
    IL_002e: ldloca.s   VB$t_struct$L0
    IL_0030: constrained. valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<string>
    IL_0036: callvirt   instance void [mscorlib]System.IDisposable::Dispose()
    IL_003b: endfinally
} // end handler
IL_003c: ret
} // end of method Module1::Main

まあ、このヘンになってくると比較にもならん結果になるので、パスw

で、引用元の人は、こういうのは最悪だろって話をしてるんだけど、

    Public MyLameObjectHeader As MyLameObject = New MyLameObject
    Sub Main()
        Dim s As New System.Text.StringBuilder
        For i As Integer = 0 To MyLameObjectHeader.Count
            s.Append(MyLameObjectHeader.Item(i))
        Next
    End Sub

     Public Class MyLameObject
        Public data As String
        Public NextMLO As MyLameObject

        Public Sub Insert(ByVal mlo As MyLameObject)
            If NextMLO IsNot Nothing Then
                NextMLO = mlo
            Else
                mlo.NextMLO = NextMLO.NextMLO
                NextMLO.NextMLO = mlo
            End If
        End Sub

        Public Function Count() As Integer
            Dim ct As Integer = 0
            Dim current As MyLameObject = Me
            Do While current IsNot Nothing
                ct += 1
                current = current.NextMLO
            Loop
            Return ct
        End Function

        Public Function Item(ByVal index As Integer) As MyLameObject
            If index >= Count() OrElse index < 0 Then Return Nothing
            Dim current As MyLameObject = Me
            For i As Integer = 0 To index
                current = current.NextMLO
            Next
            Return current
        End Function
    End Class

MyLameObject.Countが毎回、ループで処理されるからひどいことになるよってことですな。せめてこうしろって話ですな。

(Mainの変更後）

    Public MyLameObjectHeader As MyLameObject = New MyLameObject
    Sub Main()
        Dim s As New System.Text.StringBuilder
        Dim c As Integer = MyLameObjectHeader.Count
        For i As Integer = 0 To c
            s.Append(MyLameObjectHeader.Item(i))
        Next
    End Sub

--Main部分変更前

.method public static void Main() cil managed
{
.entrypoint
.custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 )
// コードサイズ       48 (0x30)
.maxstack 3
.locals init ([0] class [mscorlib]System.Text.StringBuilder s,
           [1] int32 i,
           [2] int32 VB$t_i4$L0)
IL_0000: newobj     instance void [mscorlib]System.Text.StringBuilder::.ctor()
IL_0005: stloc.0
IL_0006: ldc.i4.0
IL_0007: ldsfld     class Sample.Module1/MyLameObject Sample.Module1::MyLameObjectHeader
IL_000c: callvirt   instance int32 Sample.Module1/MyLameObject::Count()
IL_0011: stloc.2
IL_0012: stloc.1
IL_0013: br.s       IL_002b
IL_0015: ldloc.0
IL_0016: ldsfld     class Sample.Module1/MyLameObject Sample.Module1::MyLameObjectHeader
IL_001b: ldloc.1
IL_001c: callvirt   instance class Sample.Module1/MyLameObject Sample.Module1/MyLameObject::Item(int32)
IL_0021: callvirt   instance class [mscorlib]System.Text.StringBuilder [mscorlib]System.Text.StringBuilder::Append(object)
IL_0026: pop
IL_0027: ldloc.1
IL_0028: ldc.i4.1
IL_0029: add.ovf
IL_002a: stloc.1
IL_002b: ldloc.1
IL_002c: ldloc.2
IL_002d: ble.s      IL_0015
IL_002f: ret
} // end of method Module1::Main

--Main部分変更後

.method public static void Main() cil managed
{
.entrypoint
.custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 )
// コードサイズ       50 (0x32)
.maxstack 3
.locals init ([0] int32 c,
           [1] class [mscorlib]System.Text.StringBuilder s,
           [2] int32 i,
           [3] int32 VB$t_i4$L0)
IL_0000: newobj     instance void [mscorlib]System.Text.StringBuilder::.ctor()
IL_0005: stloc.1
IL_0006: ldsfld     class Sample.Module1/MyLameObject Sample.Module1::MyLameObjectHeader
IL_000b: callvirt   instance int32 Sample.Module1/MyLameObject::Count()
IL_0010: stloc.0
IL_0011: ldc.i4.0
IL_0012: ldloc.0
IL_0013: stloc.3
IL_0014: stloc.2
IL_0015: br.s       IL_002d
IL_0017: ldloc.1
IL_0018: ldsfld     class Sample.Module1/MyLameObject Sample.Module1::MyLameObjectHeader
IL_001d: ldloc.2
IL_001e: callvirt   instance class Sample.Module1/MyLameObject Sample.Module1/MyLameObject::Item(int32)
IL_0023: callvirt   instance class [mscorlib]System.Text.StringBuilder [mscorlib]System.Text.StringBuilder::Append(object)
IL_0028: pop
IL_0029: ldloc.2
IL_002a: ldc.i4.1
IL_002b: add.ovf
IL_002c: stloc.2
IL_002d: ldloc.2
IL_002e: ldloc.3
IL_002f: ble.s      IL_0017
IL_0031: ret
} // end of method Module1::Main

クラス部分は変更してないから、同じだし。

それ以外だと、やっぱりContの部分なんですが・・・これって、やっぱりループごとに評価されているわけじゃないように
見えるんですが・・・

サルでもわかる説明とかないですかねw

共通テーブル式（ＣＴＥ）の使いどころ？

Mr.T — Thu, 10 Sep 2009 18:09:00 GMT

Mr.Tです、こんにちは。

Ognacさんのエントリで共通テーブル式（ＣＴＥ）のことをあげたら、こんなコメントが・・・

http://blogs.wankuma.com/ognac/archive/2009/09/10/181052.aspx#181071

正直、どこをどう説明したらいいのかわかりませんが、もうめちゃくちゃ安易に使ってます。

#シビアなパフォーマンスを比較的求められないケースがほとんどなので、Indexは？とかそういうのは
#今のところあまり問題になってません。

例えば、普通に二つのテーブルを外部結合してるＳＱＬがあったとします。

X名簿、Y名簿とも、ID,名前,苗字というフィールドのテーブルとして

select T1.[名前],T1.[苗字] from [X名簿] T1
left join [Y名簿] T2
on T1.ID = T2.ID
where T1.ID<100

これに、Y名簿のIDが200未満という条件がついていたとすると、そのままかけば

select T1.[名前],T1.[苗字],T2.[結婚前苗字] from [X名簿] T1
left join (select * from [Y名簿] where ID<200) T2
on T1.ID = T2.ID
where ID<100

こんな風になりますよね。

私は、(select * from [Y名簿] where ID<200)の部分が長くなるのが非常に見難く感じるので、ここをざくっと

こうしちゃいます。

with [Y名簿のID200未満] as (

select * from [Y名簿] where ID<200

)

select T1.[名前],T1.[苗字] from [X名簿] T1
left join [Y名簿のID200未満] T2
on T1.ID = T2.ID
where T1.ID<100

withでくくるのは、複数かけるので、

with テーブルA as ()

.テーブルB as ()

,・・・

select * from テーブルA,テーブルB

みたいに、やってますね。

SQLは大きくなるほど、ここで抽出してるのはどういうデータなのかを忘れちゃうので、

こうやって名前付けて出しちゃうのは見た目で結構わかりやすいと個人的にはおもってます。

他の人、CTEってどういうときにつかってるんだろ。

[SQL]連番だけど抜けがある番号群から最小の抜け番号を探す

Mr.T — Fri, 10 Jul 2009 12:54:00 GMT

Mr.Tです、こんにちは。

SQLで連番関連というのは色々とあるけども、今回考え付いたのは、以下の条件のときのSQL。

番号が800000～999999までの間から番号を一つ取得すること。

ただし、取得されていないうちで、一番小さいものから取得していくこと。

取得したら、取得済みテーブルに番号フィールドで保存済する。（番号フィールドはint）

なので、取得済みテーブルの登録状況が

【番号】

800000

800001

999999

みたいな取得状況というわけです。

次にとるのは800002ですね。

with BaseTmp as (
    select [番号] as pNo
   from [取得済みテーブル]
    where [番号]>=800000
    and [番号]<999999
)
,UpBaseTmp as (
    select [番号]+1 as pNo
   from [取得済みテーブル]
    where [番号]>=800000
    and [番号]<999999
union ALL
select 800000
)
select min(T1.pNo)
from UpBaseTmp T1
left join BaseTmp as T2
on T1.pNo = T2.pNo
where T2.pNo is null

こんな感じ。

SqlDataReaderのGetSchemeTableで、余計な列(フィールド)まで取ってくるときがある。

Mr.T — Wed, 11 Feb 2009 11:48:00 GMT

Mr.Tです、こんにちは。

#.NetFrameWork2.0　, SQLServer 2005での環境です。

ちなみに、これではないみたいです。
[BUG] SqlDataReader の GetSchemaTable() が誤った列名を返す　http://support.microsoft.com/kb/307512/ja

SQLServerからデータを取得して、それをDataTableにセットしたい...でも、フィールドの情報はいちいち指定したくない

という場合に、SqlDataReader.GetSchemaTableによって、テーブルのフィールド情報を取得し、そのフィールド名と

型情報をとってきて、自動的にDataTableへ落とし込む、なんてことをしてたりしますか？

今じゃ古いやり方なのかもしれませんけど、まあベタな方法ですよね。

#それとも、もう、やらないのかなぁ。

この流れでいうと、まずはDataTaleを用意して、そこにカラムを追加し、データを突っ込むことになりますが、

カラムを用意する時点で、どうもエラーになる。それは、例えば、こんなソース。

Dim targetSchemeDataReader As SqlDataReader = Nothing
Dim targetScheme As DataTable
targetSchemeDataReader = targetSQLCommand.ExecuteReader(CommandBehavior.KeyInfo)
targetScheme = targetSchemeDataReader.GetSchemaTable

Dim fieldNameIndex As Integer = targetScheme.Columns("ColumnName").Ordinal
Dim typeIndex As Integer = targetScheme.Columns("DataType").Ordinal
Dim isHiddenIndex As Integer = targetScheme.Columns("IsHidden").Ordinal

For Each iRow As System.Data.DataRow In targetScheme.Rows
targetDataTable.Columns.Add(iRow.Item(fieldNameIndex).ToString, _　←ここでエラー
Type.GetType(CType(iRow.Item(typeIndex), Type).FullName))
Next

デバッグしてみると、ストアドプロシジャから返された結果に対して、意図していないフィールドまで

返されていることがわかり、そのフィールドのカラム名がだぶっている様子。

#ダブったのは今回のケースではそうなっただけ

Ｓｅｌｅｃｔで返す予定になっていたのは、４つのフィールドであるのに、スキーマ情報として取得されたときには、8つのフィールド名

ということで、なぜそんなものまで返されるのか正直わけがわからなかった。

で、調べたところ似たような現象のお方がいた。

http://www.devnewsgroups.net/group/microsoft.public.dotnet.framework.adonet/topic53804.aspx

なんじゃ、英語でわからんのだけども、ロバートという人こんなこといってます。

When you specify the CommandBehavior.KeyInfo option, Sql Server will
automatically return you the columns in your original select along with the
necessary additional columns needed to uniquely identify the rows returned.

SQLComman.ExeteReader(CommandBehavior.KeyInfo)を使うと、SQLServerは、

行を一意に識別するため、自動的にキー項目を追加する、みたいな感じですね。

これ、どこがソース（情報源）になっているのかわかりませんが、そう考えると納得できます。

さらに、上記の返答のRessには、

IsHiddenという項目があること

取得元がViewであるなら、WITH VIEW_METADATAをつけるとええよ

とか云ってます。

とりあえず、そういうことであれば列情報に違いがあるんじゃないかと思い、比較してみたところ、

メタデータにIsHiddenという項目があることがわかりました。

これを比較すると、こちらがSelect ・・・と指定したフィールドに対しては、True,書いてないフィールドはFalseが

返ってきています。

そういうわけで、ソースをこんな風に変更。

Dim targetSchemeDataReader As SqlDataReader = Nothing
Dim targetScheme As DataTable
targetSchemeDataReader = targetSQLCommand.ExecuteReader(CommandBehavior.KeyInfo)
targetScheme = targetSchemeDataReader.GetSchemaTable

Dim fieldNameIndex As Integer = targetScheme.Columns("ColumnName").Ordinal
Dim typeIndex As Integer = targetScheme.Columns("DataType").Ordinal
Dim isHiddenIndex As Integer = targetScheme.Columns("IsHidden").Ordinal ←追加

For Each iRow As System.Data.DataRow In targetScheme.Rows
    If CBool(iRow.Item(isHiddenIndex)) = False Then　←追加
        targetDataTable.Columns.Add(iRow.Item(fieldNameIndex).ToString, _
                        Type.GetType(CType(iRow.Item(typeIndex), Type).FullName))

    End If　←追加
Next

めでたく、必要な情報のみ取得できました。

って、KeyInfo使えっていってるのは、MSDNサンプルにもあるのに、どういうことなんじゃ！

DataReader の GetSchemaTable メソッドと Visual Basic .NET を使用して列スキーマを取得する方法

http://support.microsoft.com/kb/310108/ja

SQLServer ManagementStudio上でクエリ作成時によくやること

Mr.T — Wed, 10 Dec 2008 17:53:00 GMT

Mr.Tです、こんにちは。

なんていうか、こうやってるよーってだけの話ですが。

共通テーブル式をつかいまくる。

もちろん、CTE使いまくる。
共通テーブル式がないと、SQLかけないくらいです。

SQLServerでは、With ほげほげ as () と使います。
多段につかいたければ、
with hoge1 as(

),
hoge2 as(

)
select * ...

とします。
範囲選択して、実行とかやりまくる。

これは、SQLServer2000とかでもできたとおもったけど、クエリを範囲選択して
SQL実行できるんですよね。

select * from hoge
where A=1
and B=2

こんなSQLで、A=1のときだけがちょっとしりたいなーってときには、

select * from hoge
where A=1
and B=2

ここを範囲選択してから、F5で実行すると見事に、その部分だけの条件で実行されます
/* */のコメントで、いらないところを削る。

これもよくやるんですが、

select hogehoge1
,hogehoge2
,hogehoge3
from hoge
ここで、hogehoge2がいらねーとかしたときに、

select hogehoge1
/*,hogehoge2*/
,hogehoge3
from hoge
なんて方法で減らすのはよくあります。
クエリ内で、複数の結果を返させる。
select * from hoge1

select * from hoge2

　　　　　をひとつのウィンドウ内で、投げるとかはよくやりますね。当然結果は、多段表示されますけど。

XQueryをどう使うのか（大阪勉強会#22のLTまとめ）

Mr.T — Fri, 29 Aug 2008 00:40:00 GMT

Mr.Tです、こんにちは。

すっかり忘れてたのですが、先週行われた大阪勉強会#22でLTを行いました。伝え切れなかった部分も含めてまとめておきます。

【指令】XQueryを使え

　XQueryを使ったことがある人は、聞いてみてもやはり少なかったのです。

XQuerｙはXMLに対するといわせ言語という位置づけで、XMLデータベースをつつく上では非常に重要なものといえる

でしょう。FLWORといえば聞いたことがあるかもしれません。

　ともかく、SQLServer2005で初めて対応した、XQueryなのですが、そもそも、これを何に使うとうれしいのか全くわかってないw

#いまでもやっぱりわからないｗｗ

　というのも、SQLSreverはリレーショナルDBとして利用するからこそ価値があるわけで、そこにXMLを利用できるようにしたところで

XMLフィールドが使えるよ、というものでしかなく、XMLフィールドの中身はどこまでいっても、XMLそのものしか格納できません。

　つまりXMLの内容には全くリレーショナルDBとして機能を発揮できそうなところが見受けられないというのです。

　リレーショナルDBといえば、SQLによって問い合わせ、集計、グルーピング、などをして、特定のデータを参照するわけですが、

XMLをXMLフィールドとして格納してしまっては、そんなことできやしない。

　例えば、伝票とかを考えて見ましょう。

                     <伝票>
                        <伝票番号>12345</伝票番号>
                        <得意先名>わんくま同盟上海支社</得意先名>
                        <売上日付>2016/12/31</売上日付>
                        <明細>
                            <行番号 No="1">
                                <商品名>あいふぉーん</商品名>
                                <単価>65000</単価>
                            </行番号>
                            <行番号 No="2">
                                <商品名>商品A</商品名>
                                <単価>100</単価>
                            </行番号>
                            <行番号 No="3">
                                <商品名>商品B</商品名>
                                <単価>200</単価>
                            </行番号>
                            <行番号 No="4">
                                <商品名>商品C</商品名>
                                <単価>500</単価>
                            </行番号>
                        </明細>
                    </伝票>

まあ、そもそも、こういう形でデータを扱うことなんて、私自身はまったくないんですが...しかし、XQueryを使うことを前提に

XMLを考えてみると、XMLの解析がデータベース内できちんとできるというわけですから、これを使わない理由はないのかもしれません。

　伝票データのやりとりなんてのは、更新内容が非常に多いわけで、それをストアドに渡すのは一旦、

ワークテーブルに格納する、

パラメータ数を増やす、

直列データもどきをストアドに使う

なんて形にしなくてはならないと思います。（それ以外もあるのかもしれませんけど）

それをXML使えば、たったの二つにパラメータをまとめてくれます。

        Create Procedure Sample
              @InputPara XML
          , @OutputPara XML
         as
          Begin

End

outputには、更新結果用のXMLとか突っ込めばよいわけですね。

もちろんエラーがあった場合は、どんな詳細なエラー内容も、XMLなら自由にできますね。

まずは、LTで利用したスクリプト例を見てみましょう。

一時テーブルを作成して、そこにXQueryで解析したものを突っ込んでSelectかける、という単純なものです。

begin try

declare @DebugFlag int

set @DebugFlag = 1

Create Table #伝票(
    [伝票番号]    integer not null,
    [得意先名] nvarchar(max),
    [売上日付]    datetime
)

Create table #明細(
    [伝票番号]    integer not null,
    [行番号]    integer not null,
    [商品名]    nvarchar(150) not null,
    [単価]        money not null
)

declare @SaveData xml

set @SaveData = '
                    <伝票>
                        <伝票番号>12345</伝票番号>
                        <得意先名>わんくま同盟上海支社</得意先名>
                        <売上日付>2016/12/31</売上日付>
                        <明細>
                            <行番号 No="1">
                                <商品名>あいふぉーん</商品名>
                                <単価>65000</単価>
                            </行番号>
                            <行番号 No="2">
                                <商品名>商品A</商品名>
                                <単価>100</単価>
                            </行番号>
                            <行番号 No="3">
                                <商品名>商品B</商品名>
                                <単価>200</単価>
                            </行番号>
                            <行番号 No="4">
                                <商品名>商品C</商品名>
                                <単価>500</単価>
                            </行番号>
                        </明細>
                    </伝票>
'

declare @伝票番号 integer
declare @得意先名 nvarchar(max)
declare @売上日付 datetime

--ヘッダ取得

if @DebugFlag = 0
    select @SaveData.query('/伝票/伝票番号').value('.','integer')
    ,@SaveData.query('/伝票/得意先名').value('.','nvarchar(max)')
    ,@SaveData.query('/伝票/売上日付').value('.','datetime')
else
begin
    set @伝票番号 = @SaveData.query('/伝票/伝票番号').value('.','integer')
    set @得意先名 = @SaveData.query('/伝票/得意先名').value('.','nvarchar(max)')
    set @売上日付 = @SaveData.query('/伝票/売上日付').value('.','datetime')

insert into #伝票 values(@伝票番号,@得意先名,@売上日付)
end

declare @行番号 int
declare @商品名 nvarchar(150)
declare @単価 money

if @DebugFlag = 0
select targetColumn.query('.')
from @SaveData.nodes('/伝票/明細/行番号') targetTable(targetColumn)

declare @明細行 xml
declare 明細カーソル cursor for
select targetColumn.query('.')
from @SaveData.nodes('/伝票/明細/行番号') targetTable(targetColumn)

    open 明細カーソル
    fetch next from 明細カーソル into @明細行
    while (@@fetch_status = 0)
    begin
        if @DebugFlag = 0
            select @明細行.query('data(/行番号/@No)').value('.','integer')
                ,@明細行.query('data(/行番号/商品名)').value('.','nvarchar(150)')
                ,@明細行.query('data(/行番号/単価)').value('.','money')
        else
        begin
            set @行番号 = @明細行.query('data(/行番号/@No)').value('.','integer')
            set @商品名 = @明細行.query('data(/行番号/商品名)').value('.','nvarchar(150)')
            set @単価 = @明細行.query('data(/行番号/単価)').value('.','money')

insert into #明細 values(@伝票番号,@行番号,@商品名,@単価)

        end
        fetch next from 明細カーソル into @明細行
    end
    close 明細カーソル
deallocate 明細カーソル

if @DebugFlag = 1
begin
select * from #伝票
select * from #明細
end

drop table #伝票
drop table #明細

end try
begin catch
    print ERROR_MESSAGE()
    drop table #伝票
    drop table #明細
end catch

見ればわかるように、非常に構造は単純です。

　　XMLを格納する
　　属性の値を取ってくる→例えば、@SaveData.query('/伝票/伝票番号').value('.','integer')
　　子要素が複数あれば、それを取得して、ループでまわす。

cursor

nodes

これらを繰り返す。

このやり方だと、

どんな値もXMLで書けば、ストアド内で処理できちゃう。ストアド万歳！
XMLをパラメータにするなら、ぶっちゃけ、どんなサービスから投げられても更新できるじゃん。
XMLをつくなら、LINQだって使えるし、手書きもできる！

　むろん、このやり方だとノードの深さが深いと、かなりカーソルループを何重にもまわさないといけなくなるのが、難点でしょう。

　ここをカーソルを使わずに更新できるとかなり使い勝手もかわるんでしょうが、そういうわけには行かない（？）ようです。

リレーショナルDBのように、テーブルとフィールドがある形式では、どうしたってXMLの中身をばらして、
フィールド更新しないといけない（と思う）
速度なんてのは、あまり考慮してない。
そもそも、こういう使い方なんて有効性があるのかどうか、わからない

まあ、こんな風につかうこともできるんだ、ということで。

SQLServerのXquery

Mr.T — Fri, 15 Aug 2008 00:55:00 GMT

Mr.Tです、こんにちは。

8/23のわんくま勉強会で、2度目のLTを行うことになっていますが、今度はようやく技術ネタをしようと思っているわけで、

そのネタというか下準備をしていたわけです。

そこで今どうだろうかと考えているのが、SQLServer2005で対応したXqueryを使って、何かしてみようかな、というもの

なんですが...

このXQuery自体は、なんだかよくわかっていません。XMLデータベースというものを扱う上では、このXQueryが非常に重要に
なるのだろうということはあるのですけども、そもそもがXMLデータベースという形をSQLServerで扱うことができません。
できませんというか、XML型に対して、XML文をいれておくしか方法がありません。

現状のSQLServerは、リレーショナルDBであるため、テーブル構造であるとか、そのデータ構造自体は、リレーショナルDBから
扱う方法が確立されているわけですが、XMLから扱う方法はSQLXML くらいしか見つけられませんでした。

SQLXMLの話はまだ、全然調べてないというのもあるし、ネタ的にLTには収まってくれないので、いつかの話にしようと
思っています。

ということで、XQueryは、XMLを扱えるとはいえど、データだったらテーブルに突っ込めばおしまいだろ的な発想からすると、
ナニに使うんだろう、という疑問が解消できませんでした。

で、ようやく思いついたのが、ストアドのパラメータでした。

「アプリから発行するのはストアド一発だけで、トランザクションなんざDB側にまかせて処理させたいから」

「でも、ストアドのパラメータって、いうなりゃ画面からの入力値じゃんか？」

「それだとちょっとした更新ならいいけど、業務系なら、結構一回の更新とかでも、パラメタ数が多くなって面倒くさくね？」

「グリッドデータなんか最悪じゃんか。配列っぽく渡そうとしても、結局文字列をシリアライズするみたいな感じだし」

「じゃあ、XMLで渡せばよくね？」

「XMLなら扱うクラスもあるし、今ならLInq to XMLとかでできるんだろうし、Validチェックもxsdファイルつくればできるよ」

「受け取ったXMLデータは、XqueryでリレーショナルDb用にバラすこともできるよね」

「じゃあ、配列もどきみたいなものとかよりも楽にデータチェックとかできるよね？」

という話で、ストアドパラメータにXQueryを使ってみようと思っています。

もっと時間があれば、そのXMLをVB.NETから、XML作ってーみたいな形でいけるかもしれませんが...

まあ、こんな方法よりも、もっときちんとした方法があるのかどうかもわかってないんですけどね。

SQLXMLってのも、あるみたいですが。枠があれば、こういった話ができるのかもしれませんし。

で、業務連絡w

ノートPCをお貸しいただくとりこびっちさん。SQLServer2005以降はそちらで利用できる環境でしょうか。

これがないと、口先だけでデモすることになりますので、どうか入れておいてくださいませ。

WindowsFormのユーザコントロールでは、内部でSize変更するとLocation値が変更されてしまう。

Mr.T — Fri, 01 Aug 2008 15:41:00 GMT

Mr.Tです、こんにちは。

WindowsFormって、こんなに面倒だったっけ？とか思いつつ、メモ。

当たり前といえば、当たり前なのかもしれないが、ユーザコントロールに適当なLabelをおいて、ユーザコントロールの大きさを

マウスでぐりぐり動かしてみると、わかる。

ラベル位置（0,0)の位置は、ユーザコントロール側からすると相対的な位置でしかない。

サイズを変更すると、貼り付けたラベルの位置は変わってしまう。

Anchor = none

Dock = none

AutoSize = false

の状態です。

たとえば、こんなの。水色の部分がユーザフォーム。

この端っこをマウスでぐりっと大きくする。

Labelの位置は動いてしまう。つまり、サイズ変更が、Lableの位置まで変更してしまう。

こんなことで時間をとってしまうなんて。

なんだか、違和感があるのは、私だけ？というか、WindowsFormを扱いが初心者並なのがバレバレですな。

VB.NETでXMLファイルの整合性とる（チェックする）

Mr.T — Tue, 08 Jul 2008 16:16:00 GMT

Mr.Tです、こんにちは。

そもそもやりたいことは、単純にいえば、XMLのチェックだ。動的に作成されたXMLが、きちんと生成規則にあっているかどうかを見たいのだが、

具体的にはxsdファイルで定義されいてる内容で目的のXMLデータをValidすることになる。

その際には、XMLSchemeSetクラスが必要。

で、Validするためのサンプルクラスは以下。

Imports System.Xml.Schema
Public Class XMLChecker

Private _targetXML As XElement
Public Property TargetXML() As XElement
    Get
        Return _targetXML
    End Get
    Set(ByVal value As XElement)
        _targetXML = value
    End Set
End Property

Private _validValue As Boolean = True
Private Sub ReadValid(ByVal sender As Object, ByVal e As Xml.Schema.ValidationEventArgs)
    _validValue = False
    'MessageBox.Show(e.Message)
End Sub

Private Sub XMLValid(ByVal sender As Object, ByVal e As ValidationEventArgs)
    _validValue = False
    'MessageBox.Show(e.Message)
End Sub

Public Function Valid(ByVal resourceName As String) As Boolean
    Dim myAssembly = System.Reflection.Assembly.GetExecutingAssembly
    Dim targetStream = myAssembly.GetManifestResourceStream(resourceName)

    If targetStream Is Nothing Then Return False
    Dim targetSheme = XmlSchema.Read(targetStream, AddressOf ReadValid)

    If _validValue = False Then Return False

    Dim targetShemeSet = New XmlSchemaSet
    targetShemeSet.Add(targetSheme)

    Dim targetDocument = New XDocument
    targetDocument.Add(_targetXML)

    targetDocument.Validate(targetShemeSet, AddressOf XMLValid)
    If _validValue = False Then Return False

    Return _validValue
End Function

ここまで至るには、結構な穴があったのだが、まずは列挙。

・実際のValid処理では、XDocumentインスタンスに対して、拡張メソッドのValidを使う。
　しかし、そのValidをインテリセンス上に出すには、きちんとImports System.XML.Shemaを書かないと、Validが表示されない。

　※Validは、拡張メソッドってことで、Extensions クラスのメンバになります。拡張メソッド、はじめて使ったよ。

・Validメソッドは、XDocumentに対して拡張されます。XElementとかには拡張されません。なので、Linqとかで使われるXElementをXDocumentに
変換しましょう。

・Validして、「おかしいよー」という場合のみ、Addressofで指定されたプロシジャに飛びます。Validした結果は、どこにも保存されないので、
自前でプロパティなどに保存すべし。

・XMLファイルからxsdファイルを生成できることを、とりこびとさんにわんくま大阪勉強会#20で教えてもらったはいいが、そこからStreamにするには
どうすりゃいいのかわかっていない。
　で、調べたら、アセンブリリソースにしてから、GetManifestResourceStreamを使えという内容を＠ITで発見。⇒ココ

※返答していたのがTecｈBankのかめたろさん、であることに後で気がついたw

で、やってみたらが、GetManifestResourceStreamの引数に、プロジェクト名.***.xsdとしてみたが、StreamはNothingのままで、また悩む。
ここも参考にしてみたりしたが、やはりだめ。なぜだろうと、思ったら、VBでいう「デフォルトの名前空間」をわざと空にしていた！

　これがデフォルトの名前空間の弊害か！？

　指定文字列を”***.xsd”とそのまま書いてみたら、あっさりOK。

こんなところで、XSDファイルの内容から、チェックできるようになったわけでした。　ファイルパスを指定するらもちょっと簡単にできる。
⇒XmlSchemaSetに、そのままファイルパスでAddできる。

自動生成されたXSDファイルは、きちんと見直す必要がありますから、そこも注意。

Equalsをオーバーライドする（VB.NET）

Mr.T — Thu, 05 Jun 2008 14:27:00 GMT

Mr.Tです、こんにちは。

HogeクラスのEaualsをオーバーライドする必要があったので、Memoです。

既定のEaualsは、クラスが参照型である場合は、参照先の比較になるので、クラス内部のフィールドとかは比較してくれません。

なので、自前で実装する必要があります。

まずは、前提条件をば。

複雑なクラスそのものを比較するなら、そのクラスのEqualsをオーバライドする必要があります。
更に、Equalsをオーバライドしたら、GetHashCodeメソッドもオーバーライドしないといけません。
EaualsがTrueとなる場合、GetHashCodeで返される値は同じものでなくてはなりません。
ただし、必要条件であって、十分条件ではない。
Nothingとの比較は必ずFalseを返さなくてはならない
例外をスローすることはない（ってスローしないように作れってことですね）

以下を前提にして、更にわからんところを埋める。

参照ではなく値で比較しなくてはならない場合は、

    Private Class testclassA
        Public valA As String = ""
        Public listB As List(Of testclassB) = New List(Of testclassB)
    End Class

    Private Class testclassB
        Public val1 As String = ""
    End Class

こんな感じのクラスで、valAとListBを比較しなくてはならないこと。当然testClassBの比較は、既定のEqualsを使うのではなく、val1を

比較するようにオーバーライドしなくてはならない。

更に、だ。

Equalsの引数に取るのは、Objectであることに注意。

Objectであるため、なんでも引数に取れる。とれるが、それが比較したいクラスではなく、まったく別のクラスであっても

コンパイルは通る。そして例外が発生したりする。使う側で同一のクラスであるかどうか、というのをあらかじめ知って

いる場合でないと使えない。（当然だが）

しかい、それでは困るので、タイプセーフ（？）となるように、Typeの比較を先におこなってしまうのがいいだろう。

    Private Class testclassA
        Public valA As String = ""
        Public listB As List(Of testclassB) = New List(Of testclassB)
    End Class

    Public Sub Test()

        Dim target = new testclassA

        Dim flg = target.Equlas(100) ⇒こんなのがかけてしまう！
    End Sub

結果、Objectが引数のケースと、自分自身のクラスを引数とする場合を二つ考えておく必要があるってことで、こんな風にする。

    Public Overloads Function Equals(ByVal obj As SubGroupData) As Boolean

        If obj Is Nothing Then Return False
        If Object.ReferenceEquals(Me, obj) = True Then Return True
        If Me.GetHashCode <> obj.GetHashCode Then Return False　（※１）

        '個別実装
        If (Me.SubGroupName <> obj.SubGroupName) Then Return False
        If (Me.SubGroupNo <> obj.SubGroupNo) Then Return False

        If Me.Count <> obj.Count Then Return False

        For i As Integer = 0 To Me.Count - 1
            If Me.Item(i).Equals(obj.Item(i)) = False Then Return False
        Next

        Return True
    End Function

    Public Overrides Function Equals(ByVal obj As Object) As Boolean
        If obj.GetType.Equals(Me.GetType) = False Then
            Return False
        Else
            Return Equals(CType(obj, SubGroupData))
        End If
    End Function

    Public Overrides Function GetHashCode() As Integer
        Dim subGroupNameHash As Integer = Me.SubGroupName.GetHashCode
        Dim subGroupNoHash As Integer = Me.SubGroupNo.GetHashCode

        Dim listHash As Integer = 0
        For Each sItem As InspectionItemData In _inspectionItemList
            listHash = listHash Xor sItem.GetHashCode
        Next

        Return listHash Xor subGroupNameHash Xor subGroupNoHash
    End Function

少々困ったのは、GetHashCodeの実装方法だ。

これについては、MSDNに書いてある、書いてあるという情報しか見つけられず、結局中に載っていたサンプルを参考に

各比較値のHashCodeをXorすることで、生成することにした。

めんどくせーーーー。

参考URL：

http://msdn.microsoft.com/ja-jp/library/336aedhh(vs.80).aspx

http://www.ailight.jp/blog/kazuk/articles/6293.aspx

※補足

今回の場合、Equals内部でGetHashCodeを利用しているが、それがループでHashCodeを作成している。
これが速度的なネックにはなりそうである。
そもそも、GetHashCodeの比較部分（※１）は、実際十分条件は満たすが、必要条件ではない。
つまり、このチェックをしなくても、その後のチェックできちんと判断はされる。

とすれば、後はこのGetHashCodeそのものにかかる時間と、すっとばしたときの時間との兼ね合いになるが
個別実装部分のチェックでもループを回すので、どちらに時間がかかるか、というのはすぐに理解できるだろう。

ということで、（※１）は「今回は」しなくていいわけですね。
もし、GetHashCodeがもっとすばやく取得できるなら実装しても問題はないのだろう。