такого быть чисто физически не может

если ok == false, тогда и p == nil

не понял

Мне кстати непонятно, почему такие вещи как:

p.Age++
some.Family.Updated = time.Now()

У вас не инкапсулированы и торчат наружу.

ну то есть это фактически проверка того, не является ли Father == nil при наличии Family, верно,

p.Age++
some.Family.Updated = time.Now()

это пример 🙂

мы на выходе должны получить some.Family.Father с каким то установленным/измененым у него полем

но вообще есть смысле в таком операторе, только я не уверен на счет получения зиро вэлью

да, лямбда-оператор .? - как, например, в groovy - был бы очень кстати

но добавить его довольно сложно, по многим причинам

потому, что в реальности, именно такой код, какой приведен внизу, и должен заменить тот вопросик

а я чем не понимаю, как его сгенерить-то автоматически

BTW, похожую конструкцию генерит protobuf - на каждое поле он делает геттер, и геттер анализирует свой ресивер, и, если он nil - возвращает zero-value

возможно какой нибудь ok := assert(some.Family.Father)

смотри, этот код…

if some != nil && some.Family != nil && some.Family.Father != nil {
   some.Family.Father.Age++
   some.Family.Updated = time.Now()
}

и этот код…

if p, ok := ? some.Family.Father; ok && p != nil {
   p.Age++
   some.Family.Updated = time.Now()
}

эквивалентны

Мне воообще кажется длинная цепочка вызовов полей у вложенных структур (и во многих случаев даже методов) является тем над чем нужно задуматься с точки зрения дизайна кода. Если там постоянно появляется в середине Nil, может что то не так с абстракциями? С композицией? Еще с чем?

> но вообще есть смысле в таком операторе, только я не уверен на счет получения зиро вэлью

я ориентируюсь исключительно на существующие механизмы и синтаксис в Go.
Как я уже неоднократно упомянал: map работает так-же

понял, спасибо

Да не так же: foo[«bar»][«baz»] запаникует на [«baz»], если foo[«bar»] – nil

> а я чем не понимаю, как его сгенерить-то автоматически

по сути, для pointer / interface ставим if == nil

для map ставим if _, ok := m[k]; !ok

для slice/array ставим if index > len(a)-1

assert what?

assert true?
assert false?
assert nil?
assert exists?

это просто первое что в голову пришло, но по факту это ассерт что такой путь существует

для начала - нам нужен тип выражения справа. потому, что nil у нас типизованный

а мне кажется, что если мы ввели такой синтаксис для map, но не распространяли для nullable, то это косяк языка.

v, ok := ? map[“key”]
v, ok := ? slice[2]
v, ok := ? <-channel
v, ok := ? foo.Bar.Baz
v, ok := ? foo.Bar.Baz[“key”][10].Value

? = try read, return zero-value, false if failed