Почему одна функция возвращает true, а вторая false?

Question

[impressive17]

Почему функция InitPointer() возвращает true, а InitEfaceType() false и почему InitType() вообще не компилируется?

package main

import (
	"fmt"
)
type S struct{}

func (s S) F() {}

func InitPointer() *S {
	var s *S
	return s
}
func InitEfaceType() interface{} {
	var s S
	return s
}
func InitType() S {
	var s S
	return s
}
func main() {
	fmt.Println(InitPointer() == nil)
	fmt.Println(InitEfaceType() == nil)
	//fmt.Println(InitType() == nil)
}

Comments

[Developer]

Что значит " InitType() вообще не компилируется"?
Компилируется программа, а не функция отдельно

Answer 1

[Евгений Мамонов]

Потому, что функция InitEfaceType фактически возвращает структуру, а не указатель.
Структура не может быть nil. Если вы возвращаете указатель на структуру - тогда уже на nil можно проверить.

Сделайте fmt.Printf("Type: %T\n", InitEfaceType()) и вы увидите тип "main.S"

Чтобы иметь возможность проверить интерфейс на nil можете сделать вот так:

func InitEfaceType() interface{} {
  var s *S
  return s
}
...
fmt.Println(InitEfaceType() == (*S)(nil))

полный код

package main

import (
"fmt"
)
type S struct{}

func (s S) F() {}

func InitPointer() *S {
var s *S
return s
}

func InitEfaceType() interface{} {
var s *S
return s
}

func InitType() S {
var s S
return s
}

func main() {
fmt.Println(InitPointer() == nil)
fmt.Println(InitEfaceType() == (*S)(nil))
//fmt.Println(InitType() == nil)
}

Comments

[Евгений Мамонов]

Значение интерфейса равно nil, только если его значение и динамический тип равны nil.

А в вашем случае значение nil, а динамический тип равен S, по этому и проверку на nil нужно делать с типом (*S)(nil)

Проверка на nil сработает только если вы вернёте nil, т.е. вот так

func InitEfaceType() interface{} {
    return nil
}

Вот хорошие материалы для ознакомления
https://golang-blog.blogspot.com/2020/02/nil-not-e...
https://habr.com/ru/post/449714/

[impressive17]

Евгений Мамонов , понятно. Еще такой вопрос, если раскоментить закоменченную строку, то код не скомпелируется по понятным причинам(сравниваем nil с структурой), но вот InitEfaceType() с nil мы сравнить можем, не смотря на то, что функция по сути возфращает ту же структуру. Я правильно понимаю, что это потому что функция InitEfaceType() возфращает interface и на моменте компиляции еще не ясно что в итоге будет сравнение nil со структурой? Или почему так происходит?

[impressive17]

Евгений Мамонов, Спасибо, обязательно ознакомлюсь с материалами

[Евгений Мамонов]

Для функции `InitType() S` проверка на nil не скомпилируется и это правильно, вы же структуру возвращаете, структура может быть пустой, но она не может быть nil, nil может быть только указатель на структуру.

[montray]

Вы что, накручиваете?

Answer 2

[d'Ivan]

почему InitType() вообще не компилируется?

возвращает тип структуры, а не указатель на нее.

InitPointer() возвращает true

Го инициализирует переменные, а потому для указателя - nil.

а InitEfaceType() false

потому что interface{} это не nil.