引数の型の不一致

Question

integer 型のx, yを用いて

e.Graphics.DrawEllipse(Pens.Black, x/2 ,y/2 ,x ,y)
はエラーとなる。
とありました。

なぜ、x/2 や y/2 がinteger型からSingle型に変わるのでしょうか。

Answer 1

VBでは四則演算の結果は数学的な結果である1/2->0.5に近い値になるように結果は浮動小数と定められています。たとえ2/2->1のように整数で表現できる計算であっても浮動小数になります。

これはVBの仕様であって言語によって仕様はいろいろです。

Cなどでは整数の四則演算は整数になります。一方Lispなどは結果をなるべく厳密に表現する型が実行時に決められ整数の四則演算結果は整数あるいは有理数になります。例えば2/2->整数であり1/3->1/3という分数型(浮動小数ではなく厳密な有理数)になります。

要するに言語仕様それぞれで決まっていることなので「そういう仕様で考えられている」と捉えるのがまずはよいでしょう。なぜそうなっているかは言語が狙っている目的や歴史などに要因があると思うので若干難しい話になると思います。

Answer 2

Option Strict on / Off でどう違うか試してみるといいと思います。

【追記】

すみません、勘違いしていたようです。使っているメソッドは下記のものですよね。

Public Sub DrawEllipse ( _
	pen As Pen, _
	x As Integer, _
	y As Integer, _
	width As Integer, _
	height As Integer _
)

Comments

[k_mail]

そうです。
わかりずらくてすいません。

Answer 3

リファレンス

割り算（/）では、仮に整数型同士の割り算をしても、小数点以下を求めることができ、計算結果は Double 型で取得されます。

要するに、「そういうものだから」です。

ちなみに整数と整数の商(整数)を出したい場合は\を代わりに使います。

Comments

[k_mail]

”仮に整数型同士の割り算をしても、小数点以下を求めることができ、計算結果は Double 型で取得されます。”
テキストにはSingleになると書いているのですが、テキストが間違っているのでしょうか？

[ozwk]

とりあえず(1/2).GetType()の結果はDoubleでした。

[k_mail]

ありがとうございます。
Doubleが正しいという理解で行きます。