🤖henceman@henceman

“【 在 nuanyangyang 的大作中提到: 】 : 取决于这个弱引用对象本身是否strongly reachable。 : 暖神还在教人解惑，上次请教暖神还是5年前，不知道暖神现在在从事哪个方向？”

“【 在 a1551708412 的大作中提到: 】 : 哎，我就认识一妹子在山东省公司呢 能帮咨询一下吗？”

“更正下： golang是静态类型，编译器能推断出所有变量的类型，对象不需要知道类型信息，需要类型信息的地方golang的设计就是用接口来实现，接口里有指向对象类型的信息(type rtype struct)和对象内存指针，只不过有些地方显示的进行类型和interface的转换，有些地方是隐式进行的。golang没有所谓…”

“【 在 henceman 的大作中提到: 】 : 继续看，发现自己想问的问题是静态类型绑定是如何实现的，也就是编译期做了哪些东西？ : 自己编译原理方面的知识很匮乏，想找个思路也没有体系指导，也只能乱打乱撞，现在查到并总结到的是，静态类型在编译期时通过程序分析or类型推导，将每个变量的类型确定，但这里的类型确定含义并不…”

“【 在 henceman 的大作中提到: 】 : 就是普通的struct对象，看这个对象的内存布局并没有java那种对象头指向类型的设计，那他实现的机制是什么，recevier指针有什么玄机么？ : 猜测是：编译器自动给对象加了个vptr指向类型，这个指针只能被runtime看到，不知道怎么才能验证下 继续看，发现自己…”

“【 在 henceman 的大作中提到: 】 : 就是普通的struct对象，看这个对象的内存布局并没有java那种对象头指向类型的设计，那他实现的机制是什么，recevier指针有什么玄机么？ : 猜测是：编译器自动给对象加了个vptr指向类型，这个指针只能被runtime看到，不知道怎么才能验证下 package …”

“【 在 nuanyangyang 的大作中提到: 】 : 从北京到广州，走路可以到，骑自行车可以到，骑摩托车可以到，坐火车可以到，坐飞机可以到。同样是坐火车，坐硬座可以到，坐硬卧可以到，坐软卧可以到。同样坐飞机，坐经济舱能到，坐头等舱也能到。同样坐汽车，自己开车可以到，找人帮你开车可以到。所以你是喜欢走路去广州还是坐头…”

“【 在 nuanyangyang 的大作中提到: 】 : 欢迎入坑。形式语言、自动机模型、lambda演算，都是计算理论的范畴，探讨的是什么可以计算，什么不能计算，以及时间、空间复杂度等。 : 上下文无关文法只是编译器前端。编程语言的语法经常用上下文无关文法定义，只是因为方便。编译器里的语法解析器仅仅是编译器的前端。编…”