Как обеспечить неизменность параметров типа

Question

Как обеспечить неизменность параметров типа

class Pair<A,B> {
    final A first;
    final B sec;

    Pair(A f, B s){
        this.first = f;
        this.sec = s;
    }
}

Есть ли способ гарантировать, что A и B являются неизменяемыми типами?

2

java generics

Источник

user281545 02 дек '12 в 04:36

2 ответа

Решение

Нет. На самом деле в языке вообще нет концепций, "изменчивых" или "неизменяемых" типов. "Неизменяемый" - это просто термин, который мы используем для описания типа, который не предлагает никаких методов или открытых полей, которые позволяют вам изменять любое внутреннее состояние. Кроме этого, нет никакой разницы между тем, как работают "изменяемые" и "неизменяемые" типы.

2

Источник

user86989 02 дек '12 в 08:22

Другие вопросы по тегам java generics

user256196 02 дек '12 в 04:43 2012-12-02 04:43 · Accepted Answer · 2012-12-02 04:43

Нет. Нет способа идентифицировать, не говоря уже о привязке, тип как неизменный.

Вы можете создать интерфейс маркера (один без методов, как Serializable), который используется в вашем проекте для определения неизменяемых классов, и ваша команда должна его придерживаться.

Например:

interface Immutable {}

class Pair<A extends Immutable, B extends Immutable> {
}