Начинающим Гошникам. Особенность []string как типа данных

В общем вот такой примерчик
Неожиданно падает на этапе компиляции в п.1. Казалось бы "в чем дело?" .. как выяснилось - "старая шутка разработчиков". Похоже массив строк не есть "множественный тип данных" или "развернуть" его вставкой соответствующего цикла в набор параметров, оказалось не комильфо. А понять что конструкция ...interface{} есть по сути "слайс чего угодно" и передавать в него массив строк как есть .. оказалось не по силам авторам компилятора..

В целом, проблема не стоит выеденного яйца, если бы Го реализовывал все свои заморочки полноценно, т.е. если указано явное раскрытие массива, то оно и должно исполняться: в функцию должно передаваться то кол-во аргументов, которое соответствует емкости этого массива. А вот ПОТОМ, уже можно применить обратное действие, заявленное типом функции, а именно: раз указано переменное кол-во параметров типа интерфейс, то каждый аргумент д.б. преобразован в интерфейс и все это свернуто в слайс интерфейсов и передано в функцию

Далее дело оптимизатора выкинуть преобразование туда-сюда-обратно как избыточное.

В общем, разворачивать ... можно только тот тип, который присутствует в описании функции как ...interface{}

Кстати, ровно те же самые проблемы возникают во многих местах, где можно было бы использовать []interface{} как указание на "слайс чего угодно".. но, никак.


https://stackoverflow.com/ques... -interface типичный пример наступания на эту граблю.

1

Arhat109, ты просто понятия не имеешь, как устроены интерфейсы в Go. И строки тут не причём, так же будет с любым другим типом, например, массивом int'ов.

1

Сообщение от Arhat109 В общем, разворачивать ... можно только тот тип, который присутствует в описании функции как ...interface{}

Цитирую себя, специально для КЭП Очевидность. Именно, что разворачивать тремя точками можно только тот тип, что присутствует за таковыми в обьявлении параметра.

Добавлено через 18 минут
На самом деле, косяк вызывается вот этими строчками из спецификации языка:

If the final argument is assignable to a slice type []T and is followed by ..., it is passed unchanged as the value for a ...T parameter. In this case no new slice is created.

В сочетании с описанием выше:

If f is variadic with a final parameter p of type ...T, then within f the type of p is equivalent to type []T. If f is invoked with no actual arguments for p, the value passed to p is nil. Otherwise, the value passed is a new slice of type []T with a new underlying array whose successive elements are the actual arguments, which all must be assignable to T.


Что с одной стороны, сначала "разжевывает", что variadic сворачивается в слайс для передачи, а с другой стороны указывает что постфиксное применение троеточия при вызове .. является просто "специальной фичей", а вовсе не обратным действием - "разворачиванием массива в набор аргументов".

Сие сильно НЕ очевидно.

0