Я знаю, что мы можем указать, что наши дженерики должны быть любым ссылочным типом, используя AnyObject:
class Foo<T: AnyObject> {
// ...
}
Но есть ли способ указать, что наши дженерики должны быть только типами value и не разрешать ссылочные типы?
// some code for testing
class C { } // just a simple class as an example for a reference type
var c = C()
var d: Double = 0.9 // a value type
extensionprotocol ValueType { }
extension Double : ValueType { }
extension Int : ValueType { }
// ... all value types to be added
func printT1 <T: ValueType> (input: T) {
println("\(input) is value")
}
printT1(d) // Does work
//printT1(c) // Does not work
Но, как упоминалось в комментариях, это работает, но неосуществимо, потому что определяемые пользователем типы значений должны реализовывать этот протокол.
func printT <T: AnyObject> (input: T) {
println("\(input) is reference")
}
func printT <T: Any> (input: T) {
println("\(input) is value")
}
assertДругое решение может быть через assert
func printT <T: Any> (input: T) {
print("\(input) is " + ((T.self is AnyObject) ? "reference" : "value"))
}
whereЭто будет лучшим решением, я думаю. К сожалению, нет возможности иметь
func printT <T: Any where T: ~AnyObject > (input: T) {
println("\(input) is value")
}
или похожие. Возможно, это будет возможно в будущих версиях Swift.
==, а Comparable означает, что, кроме того, существует строгий порядок с <. Это не связано со значениями и ссылочными типами. (Например, NSObject является ссылочным типом и соответствует Equatable.)
- person Martin R; 28.02.2015
where работать для этого, и я не уверен, почему вы упомянули об этом, не включив пример.
- person nhgrif; 01.03.2015
enum и struct не соответствуют ему автоматически (их нужно добавить... что в значительной степени означает, что я действительно не могу распространять в библиотеке этот код). Более того, ничто не мешает созданным пользователями классам соответствовать протоколу и затем использоваться.
- person nhgrif; 01.03.2015
===?
- person Michael Dorner; 01.03.2015
=== определен для AnyObject, поэтому, по-видимому, все, что не может его использовать, является типом значения. Определить, можно ли что-то использовать с ===, похоже, то же самое, что определить, является ли это AnyObject. Я не уверен, что это более полезно, чем тот факт, что мы можем использовать AnyObject, чтобы узнать, что это ссылочный тип.
- person nhgrif; 01.03.2015
isUniquelyReferenced(), чтобы увидеть, можете ли вы получить утверждения во время выполнения вашей основной цели (что, как я предполагаю, является уверенностью в том, что объект не может измениться после вашего назад). Я бы обязательно поднял ваш вариант использования на форумах разработчиков (devforums.apple.com/community/tools /languages/swift). Это очень интересный вопрос. - person Rob Napier schedule 28.02.2015UnsafeMutablePointer— это тип структуры, на которую можно изменять состояние, на которое она указывает, не изменяя саму структуру. Разве это не ссылочный тип? Поведение ссылочного типа может быть встроено в типы структур, поэтому вы ничего не избегаете, исключая ссылочные типы. - person newacct schedule 12.01.2016classes иstructs, а далее вы найдете Структуры и перечисления являются типами значений и Классы являются ссылочными типами. - person Slipp D. Thompson schedule 23.02.2017UnsafeMutablePointerне является ссылочным типом — это тип значения, который имеет адрес памяти в качестве своих данных. Этот адрес памяти может использоваться в качестве ссылки в специальном режиме, но экземплярUnsafeMutablePointerостается типом значения. Самое главное, что использование ad-hoc не является обычным «родным» способом использования Swift —UnsafeMutablePointerпредоставляется в первую очередь в качестве моста для возможности использования C API, и поэтому Swift должен иметь стороннюю поддержку для всех сумасшествие C-указателя, которое может сделать C. - person Slipp D. Thompson schedule 23.02.2017