5
OOP言語およびタイプのクラス
プログラミング言語理論では、型は値のセットです。たとえば、「int」型はすべての整数値のセットです。 OOP言語では、クラスはタイプですよね? クラスが複数のメンバーで定義されている場合、例えば class myclass{ int a; double b; } クラスについて話すとき、 「(a,b)どこaint型で、b二重である」、または 「{ (x,y)| xは任意のint、y任意のdoubleです}」? のインスタンスはmyclassどういう意味ですか? 「(a,b)どこaint型で、b二重である」、または メモリ空間を占有し、(必ずしもそうである必要はない、つまり空である可能性があります)を格納できるオブジェクト(x,y)。ここxで、int yはあり、doubleはありますか?