Как напечатать значение указателя объекта Go? Что означает значение указателя?

Я просто играю с Go и еще не имею хорошей ментальной модели, когда структуры передаются по значению или по ссылке.

Это может быть очень глупый вопрос, но я просто хочу немного поэкспериментировать и посмотреть, продолжаю ли я работать над одним и тем же объектом, или я сделал его копию (передал его по значению).

Есть ли способ распечатать указатель (или внутренний идентификатор, если значение указателя изменено gc) объекта?

package main

import ( "runtime" )

type Something struct {
    number int
    queue chan int
}

func gotest( s *Something, done chan bool ) {
    println( "from gotest:")
    println( &s )
    for num := range s.queue {
        println( num )
        s.number = num
    }
    done <- true
}

func main() {
    runtime.GOMAXPROCS(4)
    s := new(Something)
    println(&s)
    s.queue = make(chan int)
    done := make(chan bool)
    go gotest(s, done)
    s.queue <- 42
    close(s.queue)
    <- done
    println(&s)
    println(s.number)
}

дает мои окна (скомпилированная версия 8g):

0x4930d4
from gotest:
0x4974d8
42
0x4930d4
42

Почему значение указателя в рамках процедуры go имеет другое значение? Количество на исходном объекте изменилось, и он работал с одним и тем же объектом. Есть ли способ увидеть постоянный идентификатор объекта?

Ответы

Ответ 1

Аргументы функции Go передаются по значению.

Во-первых, отбросьте нерелевантные части вашего примера, чтобы мы могли легко видеть, что вы просто передаете аргумент по значению. Например,

package main

import "fmt"

func byval(q *int) {
    fmt.Printf("3. byval -- q %T: &q=%p q=&i=%p  *q=i=%v\n", q, &q, q, *q)
    *q = 4143
    fmt.Printf("4. byval -- q %T: &q=%p q=&i=%p  *q=i=%v\n", q, &q, q, *q)
    q = nil
}

func main() {
    i := int(42)
    fmt.Printf("1. main  -- i  %T: &i=%p i=%v\n", i, &i, i)
    p := &i
    fmt.Printf("2. main  -- p %T: &p=%p p=&i=%p  *p=i=%v\n", p, &p, p, *p)
    byval(p)
    fmt.Printf("5. main  -- p %T: &p=%p p=&i=%p  *p=i=%v\n", p, &p, p, *p)
    fmt.Printf("6. main  -- i  %T: &i=%p i=%v\n", i, &i, i)
}

Вывод:

1. main  -- i  int: &i=0xf840000040 i=42
2. main  -- p *int: &p=0xf8400000f0 p=&i=0xf840000040  *p=i=42
3. byval -- q *int: &q=0xf8400000d8 q=&i=0xf840000040  *q=i=42
4. byval -- q *int: &q=0xf8400000d8 q=&i=0xf840000040  *q=i=4143
5. main  -- p *int: &p=0xf8400000f0 p=&i=0xf840000040  *p=i=4143
6. main  -- i  int: &i=0xf840000040 i=4143

В функции main, i является переменной int в ячейке памяти (&i) 0xf800000040 с начальным значением (i) 42.

В функции main, p является указателем на переменную int в ячейке памяти (&p) 0xf8000000f0 со значением (p= &i) 0xf800000040, которое указывает на значение int (*p= i) 42.

В функции main, byval(p) - вызов функции, который присваивает значение (p= &i) 0xf800000040 аргумента в ячейке памяти (&p) 0xf8000000f0 функции byval параметр q в ячейке памяти (&q) 0xf8000000d8. Другими словами, память выделяется для параметра byval q, и ему присваивается значение аргумента main byval p; значения p и q вначале совпадают, но переменные p и q различны.

В функции byval, используя указатель q (*int), который является копией указателя p (*int), integer *q (i) устанавливается в новый int значение 4143. В конце перед возвращением. указатель q установлен на nil (нулевое значение), который не влияет на p, так как q является копией.

В функции main, p является указателем на переменную int в ячейке памяти (&p) 0xf8000000f0 со значением (p= &i) 0xf800000040, которое указывает на новое значение int (*p= i) 4143.

В функции main, i является переменной int в ячейке памяти (&i) 0xf800000040 с конечным значением (i) 4143.

В вашем примере функция main variable s, используемая в качестве аргумента для вызова функции gotest, не совпадает с параметром gotest s. Они имеют одно и то же имя, но представляют собой разные переменные с различными областями и ячейками памяти. Параметр функции s скрывает аргумент вызова функции s. Вот почему в моем примере я назвал аргументы и переменные параметра p и q соответственно, чтобы подчеркнуть разницу.

В вашем примере (&s) 0x4930d4 - адрес ячейки памяти для переменной s в функции main, которая используется в качестве аргумента для вызова функции gotest(s, done) и 0x4974d8 - адрес ячейки памяти для параметра gotest функции s. Если вы установите параметр s = nil в конце функции gotest, он не влияет на переменную s в main; s в main и s в gotest - различные ячейки памяти. В терминах типов &s - **Something, s - *Something, а *s - Something. &s - это указатель на адрес (адрес ячейки памяти) s, который является указателем на (адрес ячейки памяти) анонимной переменной типа Something. В терминах значений main.&s != gotest.&s, main.s == gotest.s, main.*s == gotest.*s и main.s.number == gotest.s.number.

Вы должны принять совет mkb sage и прекратить использование println(&s). Используйте пакет fmt, например,

fmt.Printf("%v %p %v\n", &s, s, *s)

Указатели имеют одинаковое значение, когда указывают на одну и ту же ячейку памяти; указатели имеют разные значения, когда указывают на разные ячейки памяти.

Ответ 2

В Go аргументы передаются по значению.

package main

import "fmt"

type SomeStruct struct {
    e int
}

// struct passed by value
func v(v SomeStruct) {
    fmt.Printf("v: %p %v\n", &v, v)
    v.e = 2
    fmt.Printf("v: %p %v\n", &v, v)
}

// pointer to struct passed by value
func p(p *SomeStruct) {
    fmt.Printf("p: %p %v\n", p, *p)
    p.e = 2
    fmt.Printf("p: %p %v\n", p, *p)
}

func main() {
    var s SomeStruct
    s.e = 1
    fmt.Printf("s: %p %v\n", &s, s)
    v(s)
    fmt.Printf("s: %p %v\n", &s, s)
    p(&s)
    fmt.Printf("s: %p %v\n", &s, s)
}

Вывод:

s: 0xf800000040 {1}
v: 0xf8000000e0 {1}
v: 0xf8000000e0 {2}
s: 0xf800000040 {1}
p: 0xf800000040 {1}
p: 0xf800000040 {2}
s: 0xf800000040 {2}

Ответ 3

type sometype struct { }
a := sometype {}
b := int(2)
println("Ptr to a", &a)
println("Ptr to b", &b)

Ответ 4

package main

import "fmt"

func zeroval(ival int) {
     ival = 0
}

func zeroptr(iptr *int) {
     *iptr = 0
}

func main() {
    i := 1
    fmt.Println("initial:", i)
    zeroval(i)
    fmt.Println("zeroval:", i)
    //The &i syntax gives the memory address of i, i.e. a pointer to i.
    zeroptr(&i)
    fmt.Println("zeroptr:", i)
    //Pointers can be printed too.
    fmt.Println("pointer:", &i)
}

ВЫВОД:

$ go run pointers.go
initial: 1
zeroval: 1
zeroptr: 0
pointer: 0x42131100

Ответ 5

Как напечатать значение указателя объекта Go?

package main

import (
    "fmt"
)

func main() {
    a := 42
    fmt.Println(&a)
}

приводит к:

0x1040a124

Что означает значение указателя?

Согласно Wikipedia:

Указатель ссылается на местоположение в памяти