BP
Ну там же можно посмотреть, нуллабельный он или нет
Можно, но мне кажется это оверхед
Size: a a a
2020 June 29
КР
Ну там же можно посмотреть, нуллабельный он или нет
Да, но никакого контракта там нет
КР
Ну там же можно посмотреть, нуллабельный он или нет
В целом мне не важно, есть ли контракт, мне главное свести тип T? до T, но я хз возможно ли это
BP
В целом мне не важно, есть ли контракт, мне главное свести тип T? до T, но я хз возможно ли это
Ток контракты либо каст. Я привел функции которые это делают 😊
КР
Ток контракты либо каст. Я привел функции которые это делают 😊
Эти функции проверяют не дженерики, а фактические значения
BP
Ну можно попытаться тогда объеденить контракты и typeOf
A
Да, я смотрел его выступление. Мужик!
VP
В целом мне не важно, есть ли контракт, мне главное свести тип T? до T, но я хз возможно ли это
Кастом, не?
КР
Кастом, не?
Что кастом?
VP
Что кастом?
Кастом приводить к не-нулабельному типу
VP
Можно код, что вообще нужно получить?
КР
Можно код, что вообще нужно получить?
inline fun <reified T : Any?> foo1() {
if (null !is T)
foo2<T>()
else ...
}
inline fun <reified T : Any> foo2() = Unit
Вот мне надо проверить тип T на нуллабельность, и сделать либо одно, либо другое.VP
inline fun <reified T : Any?> foo1() {
if (null !is T)
foo2<T>()
else ...
}
inline fun <reified T : Any> foo2() = Unit
Вот мне надо проверить тип T на нуллабельность, и сделать либо одно, либо другое.Интересный код. А значений этого типа нет, надо производить операции именно над типами?
КР
Интересный код. А значений этого типа нет, надо производить операции именно над типами?
Да. Этот код будет производиться до получения значений.
AH
inline fun <reified T : Any?> foo1() {
if (null !is T)
foo2<T>()
else ...
}
inline fun <reified T : Any> foo2() = Unit
Вот мне надо проверить тип T на нуллабельность, и сделать либо одно, либо другое.fun T?.foo1() =
if (this != null) foo2<T>()
else ...
VP
Да. Этот код будет производиться до получения значений.
Боюсь, в котлине нет средств, чтобы доказать компилятору, что уже объявленный тип наследуется от какого-то другого.
Смарткасты, контракты и всё такое работает только со значениями.
Смарткасты, контракты и всё такое работает только со значениями.
I
inline fun <reified T : Any?> foo1() {
if (null !is T)
foo2<T>()
else ...
}
inline fun <reified T : Any> foo2() = Unit
Вот мне надо проверить тип T на нуллабельность, и сделать либо одно, либо другое.Можно объявить ещё одну функцию, которая будет принимать нулябельный тип:
inline fun <reified T : Any> foo1(t: T) {
println("reified T : Any: $t")
}
@JvmName("-foo1")
inline fun <reified T> foo1(t: T) {
println("reified T: $t")
}
fun test1(a: Any?) {
foo1(a)
}
fun test2(a: Any) {
foo1(a)
}
fun main() {
test1("nullable")
test2("non-nullable")
}AI
Можно объявить ещё одну функцию, которая будет принимать нулябельный тип:
inline fun <reified T : Any> foo1(t: T) {
println("reified T : Any: $t")
}
@JvmName("-foo1")
inline fun <reified T> foo1(t: T) {
println("reified T: $t")
}
fun test1(a: Any?) {
foo1(a)
}
fun test2(a: Any) {
foo1(a)
}
fun main() {
test1("nullable")
test2("non-nullable")
}В исходном вопросе нет значения, есть только тип 🤔