1

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

Если они все приводятся к одному общему типу при стирании, разве не должно быть так, что, например, в List<String> можно добавить Integer?

15
  • что ты понимаешь под "типобезопасностью"?
    – Grundy
    23 авг 2020 в 20:31
  • @Grundy Невозможность в рантайме получить ошибку неправильного приведения.
    – kaylil_01
    23 авг 2020 в 20:37
  • Object ob = "some string"; int ob2 = (Integer)ob; отвалится в рантайме.
    – tym32167
    23 авг 2020 в 20:52
  • @tym32167 ну это никак не связано с дженериками.
    – kaylil_01
    23 авг 2020 в 21:01
  • @tym32167да и вопрос больше в том, как обеспечивается эта типибезопасность, потому что с гетерогенными дженериками все ясно, и мы все знаем их минусы, но вот про гомогенные я не обеспечен информацией.
    – kaylil_01
    23 авг 2020 в 21:02

1 ответ 1

3

Стирание происходит после компиляции, поэтому на уровне исходного кода добавить Integer в List<String> нельзя, компилятор не позволит. Можно на уровне байткода, но если вы занимаетесь грязными хаками в рантайме, то вы сам себе злой буратино. Обобщённые типы - это помощь программисту от случайных ошибок, а не защита от злонамеренных действий.

5
  • Ну в случае C++ такое не прокатить. Конечно, компилироваться будет так долго, что столько не живут, но все же.
    – kaylil_01
    24 авг 2020 в 7:44
  • @kaylil_01 что в С++ не прокатит?
    – dIm0n
    24 авг 2020 в 7:55
  • @dIm0n в C++ нет стирания типов, поэтому всякие хаки в рантайме не прокатят.
    – kaylil_01
    24 авг 2020 в 7:59
  • @kaylil_01 stackoverflow.com/q/5450159/13970074
    – dIm0n
    24 авг 2020 в 8:02
  • @dIm0n я имею в виду, что generics в с++ использует гетерогенную модель.
    – kaylil_01
    24 авг 2020 в 8:06

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.