Dv
В C# sealed class называется ровно так: sealed class.
Size: a a a
2021 June 27
W
sealed class в джаве это closed class в шарпе. final class в джаве это sealed class в шарпе
Dv
W
closed class это тип, который имеет наследников, но запрещает вне сборки от него наследоваться
Dv
Ты сам этот термин сейчас выдумал?
W
Нет. Фича (надеюсь) дотнета 7
Dv
Концепция мне понятна, но такого термина я не слышал ни разу.
W
А в джаве уже такое есть, если я правильно понял
Dv
Начнём с того, что в JVM вообще нет сборок, а контроль доступа делается ну ваще по-другому.
W
В джаве я без понятия как это работает. ОП ее упомянул, я загуглил и понял аналог шарповский для этого
Dv
Ну только не понял, а выдумал!
Dv
В C# описанное тобой делает sealed class все ещё.
W
sealed вообще не позволяет наследников.
Dv
А, не, погодь
Dv
Abstract class с приватным (или каким надо) конструктором, во
Dv
Враги не могут наследоваться, если у них нет доступа к конструктору.
W
closed record Option
{
record Some(int Value);
record None;
}
...
record AnotherInheritor : Option // compilation error
...
option switch
{
Some(var value) => ...
None => ...
// ворнинга о непокрытых нет!
}
{
record Some(int Value);
record None;
}
...
record AnotherInheritor : Option // compilation error
...
option switch
{
Some(var value) => ...
None => ...
// ворнинга о непокрытых нет!
}
Dv
Ох, ну и требуха
W
А вот не придумали. Точнее с ним другие беды. Как минимум потому, что его собственно придется написать
Dv
Да этого точно надо рантайм обновлять? Может, только язык?