どのようにプログラムがプリミティブのランタイムのタイプの静的型付け言語

Question

行くとScalaの両方が実行時に型をチェックする方法を提供を知っていますか：

スカラ：

class A 
class B extends A 

val a: A = new A // static type: A dynamic type: A 
val ab: A = new B // static type: A dynamic type: B 
val b: B = new B // static type: B dynamic type: B 

def thing(x: Any): String = x match { 
    case t: Int => "Int" 
    case t: A => "A" 
    case t: B => "B" 
    case t: String => "String" 
    case _ => "unknown type" 
} 

ゴー：

package main 

import (
    "fmt" 
    "reflect" 
) 

struct A { 
    field1 int 
    field2 string 
} 

func printTypeOf(t interface{}) { 
    fmt.Println(reflect.TypeOf(t)) 
} 

func main() { 
    i := 234234 // int 
    s := "hello world" // string 
    p := &A{3234234, "stuff"} // *A 

    fmt.Print("The type of i is: ") 
    printTypeOf(i) 
    fmt.Print("The type of s is: ") 
    printTypeOf(s) 
    fmt.Print("The type of p is: ") // pass a pointer 
    printTypeOf(p) 
    fmt.Print("The type of the reference of p is: ") // pass a value 
    printTypeOf(*p) 
} 

これは内部でどのくらい正確に機能しますか？私は構造体とクラスを想定していますが、オブジェクトの型は隠しフィールドに格納されています（golangの構造体は実際に構造体{field1 int field2 string type type}です）しかし、どのように機能するかは11010110で与えられ、メモリアドレスへのポインタ214、整数214または文字Öすべての値は、その型を表すバイトで密かに渡されますか？

Answer 1

Scalaでは、各オブジェクトにクラスへのポインタがあります。thingにプリミティブの引数（Int、Charなど）は、それが自動的にオブジェクト（java.lang.Integer、java.lang.Character、など）。あなたのコード内Int戦が実際にInteger戦に変換されます。

に箱入りですゴーで

は、型が構造体に格納されていないが、インタフェース値に：あなたはprintTypeOf(whatever)を呼び出すとき

Interface values are represented as a two-word pair giving a pointer to information about the type stored in the interface and a pointer to the associated data. Assigning b to an interface value of type Stringer sets both words of the interface value.

だから、whateverはinterface {}に変換され、その種類は、この中に保存されています新しい値はwhateverと一緒になります。