Аннотирование всего объявления функции с помощью typealias

Question

Моя цель - использовать typealias как напоминание одного слова, «прикрепленное» к объявлению функции. Скажем,

typealias VoidToVoid =() ->() 

можно использовать псевдоним типа при указании ожидаемого типа закрытия, таким образом

let f : VoidToVoid = { return } 
assert(f is VoidToVoid) 

Однако, это не кажется, самым обычным способом объявления функций. Я надеялся найти способ сообщить читателю, что функция, объявленная как f′ ниже, должна быть типа VoidToVoid и с использованием этого имени.

(Но без читателя, имеющих сделать вывод, или думать, или ждать компилятора, чтобы сказать ему или ей о типе. Обострение ситуации, компилятор не может знать имя типа псевдонима я хотел с f′ и, скорее всего, выводить сообщения о том, голом типе, а не псевдоним.)

func f′() : VoidToVoid { // tentative syntax 
    return 
} 

Могу ли я получить там вообще?

Редактировать: Есть два конца, в которых должен использоваться псевдоним типа. На одном конце, теперь это возможно:

func giveMeAClosure(_ f: VoidToVoid) { 
    f() 
} 

На другом конце, будучи VoidToVoid подразумевается:

func canBeGivenAsClosure() { 
    // ... 
} 

То есть, где canBeGivenAsClosure объявляется, это правда, но не очевидно, что есть соединение между двумя концами через VoidToVoid. Это отличается от случая let, который может содержать «VoidToVoid» в качестве аннотации типа.

Answer 1

Замыкание безымянные выражения закрытия, поэтому мы можем использовать функцию типа typealias указать тип закрытия, даже для затворов, которые имеют непустой список аргументов.

typealias VoidToVoid =() ->() 
typealias IntToVoid = (Int) ->() 

        // unnamed closure expressions 
let f: VoidToVoid = { print("foo") } 
let g: IntToVoid = { print($0) } 

Здесь следует отметить, что f и g в этих exaples не являются функциями: они просто неизменные свойства, содержат ссылки на (хранилище поддержки) неназванные затворы, указанные в момент их объявления.

Функция, с другой стороны, является частным случаем замыкания; закрытие с именем. Более того, любая функция с непустым списком аргументов должна указывать во внутренних (и необязательно) и внешних именах параметров в своем заявлении. Функция типа typealias, однако, может не содержать аргументы метки для ее имен параметров:

typealias IntToVoid = (a: Int) ->() 
/* Error: function types cannot have argument 
      label 'a'; use '_' instead */ 

Это означает, что тип функция typealias может не представляется возможным использовать замену для комбинированного параметра и типа возвращаемого Декларативной части (даже в случае () ->()).

Подробнее см., Например,:

• The Language Guide - Closures

Затворы

...

Глобальные и вложенные функции, как и введены в Functions, на самом деле являются специальные случаи закрытия. Закрытия берут одну из трех форм:

• Глобальные функции - это замыкания, которые имеют имя и не фиксируют никаких значений.
• Вложенные функции - это замыкания, которые имеют имя и могут захватывать значения из их закрывающей функции.
• Выражения закрытия - это неназванные замыкания, написанные в легком синтаксисе, которые могут захватывать значения из окружающего их контекста.

---

На другой ноте, вы можете естественно тест тип данной функции в некоторой существующей функции типа typealias.

typealias VoidToVoid =() ->() 
typealias IntToVoid = (Int) ->() 

func f() ->() {} 
func g(_ a: Int) ->() { _ = a } 

print(f is VoidToVoid) // true 
print(g is IntToVoid) // true