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 that you have read and understand our privacy policy and code of conduct.

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