golang T 和 *T的方法集是什么关系?

本文详细解释了Golang中T和*T方法集的关系,包括*T如何通过编译器生成的包装方法来支持接口调用,以及编译器如何处理指针解引用。此外,还介绍了空接口与非空接口的工作原理。

golang T 和 *T的方法集是什么关系?

1.结论

  • *T 包含所有 T的方法集,是编译器生成的语法糖(包装方法),实际我们写的非接口类型*T的场景,编译器会进行“指针解引用”,转而调用T类型方法。包装方法并不是为了解决我们不同接收者的调用。

  • T只包含T的方法集

  • 什么是指针解引用?

    // pt 是 *T 类型,是指向T的指针
    pt.A() // *T类型的方法调用
    实际上是下面的方式
    (*pt).A() // (*pt)就是指针取值,解引用, 将*pt转成T类型,再调用T的方法
    
    简单来说,就是没有调用*T的包装方法,而是先指针解引用,类型转成T了再调用T的原始方法。所以不是为了方便我们混合类型调用。
    

2.生成包装方法的原因

  • 为了支持接口

interface 的方法,并不能直接“指针解引用”转为具体的类型后调用,因为编译期间并不能确定实现接口的具体类型,没法"指针解引用"

接收者是函数参数的第一个参数,类似python 语言的self, 分配在栈上,由于编译器不能直接“指针解引用”,就没法知道第一个参数该分配多少空间。那就变相实现咯,给你生成一个一毛一样的,仅仅接收者是 *T

编译器会自动生成同名包装方法,所以语法层面禁止我们给T*T生成同名方法

3.More

  • 空接口
```
type eface {
   _type *_type // _type叫类型元数据,指向实际被装载(被赋值)的对象的具体类型元数据
   data *unsafe.Pointer 
}

eface的e是empty的缩写,将一个具体的值obj赋值给一个空接口的时候,其实是将obj的_type 和 地址对应赋值给这两个字段
```
  • 非空接口
 type iface {
    tab *itab // itab是interface table,接口参照表,具体长相看下面
    data *unsafe.Pointer 
 }
 
 type itab struct {
    inter *interfacetype //接口自己的类型元数据
    _type *_type // 被装载(被赋值)的对象的类型元数据
    hash uint32 //类型哈希值
    fun [1]uintptr // 方法地址数组,从被赋值的对象的方法元数据那里,拷贝到这里,省得每次都要去具体对象的类型那里去找
 }
 
 var i iface
 var obj XXX
 i = obj // 这一步干了啥呢?下面:
 ```
 
 1.同上,将`obj地址`赋值给`i.data`; 将`obj的_type`赋值给`i.itab._type`
 2.将obj的`方法元数据`数据拷贝到`i.itab.fun`
 3.obj的类型哈希 跟 inter类型哈希求亦或,赋值给 hash字段
 
 



1. 在Golang中,任意类型T()都能够调用*T的方法吗?反过来呢? 回答 在 Go 语言中,关于任意类型 T 指针类型 *T 调用方法的规则如下: 任意类型 T 调用 *T 的方法: 如果你有一个类型 T,那么 T 的实例可以直接调用其方法。这些方法需要在 T 的定义中,并且这些方法的接收者需要是类型 T。 指针类型 *T 调用 T 的方法: 指针类型 *T 也可以调用 T 的方法。这是因为 Go 会自动解引用指针。也就是说,如果你有一个的方法接收者是 T,你可以通过 *T 的实例来调用这个方法。 *T 调用 *T 的方法: 当方法的接收者是 *T 时,指向 T 的指针可以直接调用这些方法。你需要确保接收者是指针类型 *T。 反过来的情况(*T 实例调用 T 的方法): 可以用 *T 调用 T 的方法,Go 会自动解引用。 T 调用 *T 的方法: 这不是直接支持的。如果方法是定义在 *T 上,而你试图用 T 实例去调用,就会失败,因为 Go 不会自动引用。 示例: package main import "fmt" type T struct{} func (t T) Method1() { fmt.Println("Called Method1 on T") } func (t *T) Method2() { fmt.Println("Called Method2 on *T") } func main() { var t T var p *T = &t // T 类型实例调用 T 的方法 t.Method1() // 输出: Called Method1 on T // *T 类型实例调用 T 的方法 p.Method1() // 输出: Called Method1 on T // *T 类型实例调用 *T 的方法 p.Method2() // 输出: Called Method2 on *T // T 类型实例调用 *T 的方法 (不可以) // t.Method2() // 这将导致错误:cannot call method on T } 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 总结: T 可以调用 *T 的方法,但反之不成立:T 不能调用定义在 *T 上的方法。 注意点建议: 在回答这个Go问题时,有几点建议可以帮助面试者避免常见的误区错误: 理解指针值接收者的区别:确保对指针接收器值接收器的概念有充分理解。指针接收器允许方法修改接收的值,而值接收器则是接收该值的一份拷贝。 了解类型关系:需要明确什么情况可以将T_T之间进行转换。没有必要,T()的方法不能简单地被_T()调用,因为它们的接收者是不同的类型。 举例说明:在回答时,可以用例子来帮助阐明观点。例如,可以讨论一个结构体及其方法,然后解释按值调用按指针调用的区别。 避免过度简化:不要简单地认为指针非指针的方法是可以互相替代的。明确区别在不同场景下的效果。 准确使用术语:确保使用准确的go术语,比如“方法集“接收者类型”。这可以显示出对Go语言深入的理解。 反思已知范例:可以尝试引用标准库中的实例或自己的代码经验,来说明这些概念如何在实际开发中运作。 处理异常情况:如果大问题没有明确的答案,主动提及可能的边界情况或行为,可以显示出更全面的思考。 通过关注这些方面,可以帮助面试者更加清晰准确地表达他们的理解。也能避免草率的结论常见的误念。
04-25
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值