Правила о конкретности типов параметров метода, возвращаемых типов и типов свойств

Некоторое время назад я читал своего рода «практическое правило» о конкретности типов параметров метода, типов возвращаемых данных и типов свойств, но я просто не помню его.

В нем говорилось о том, что ваши типы возвращаемых данных должны быть как можно более конкретными, а типы параметров - как можно более абстрактными ... или наоборот.

Я не знаю, был ли это на самом деле хороший или плохой совет, поэтому, если у вас есть свои мысли по этому поводу, пожалуйста, оставьте комментарий.

Приветствия.

Не требуй больше, обещай не меньше.

Фраза происходит из идей «Дизайн по контракту», впервые предложенных Бертраном Мейером.

http://wiki3.cosc.canterbury.ac.nz/index.php/Design_by_contract

Также см. «Принцип замещения Лискова»

/programming/56860/what-is-the-liskov-substitution-principle

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

Возможно, вы слышали экстраполяцию закона Постеля : «Будь консервативным в том, что ты посылаешь, либеральным в том, что ты принимаешь».

В основном речь идет о максимизации повторного использования кода. Легко придумать случаи, чтобы продемонстрировать, почему это помогает. Рассмотрим Java Iterable<T>в качестве примера. Если единственное, что делает ваш метод, это перебирает все Ts, то в Iterable<T>качестве типа параметра можно использовать этот метод с более чем 60 встроенными классами, не говоря уже о каких-либо пользовательских классах, которые реализуют интерфейс. Если вы ограничите его, скажем,, Vector<T>то любой код, который вызывает ваш метод, должен был бы быть преобразован в Vector<T>первый.

С другой стороны, возвращаясьIterable<T> из метода ограничивает объем кода , который может использовать ваше возвращаемое значение тем , что принимает Iterable<T>параметр. Если вы возвращаете очень конкретный тип, как Vector<T>, то ваше возвращение значение может быть передано в любой метод , который принимает Serializable, Cloneable, Iterable<T>, Collection<T>, List<T>, RandomAccess, Vector<T>, AbstractList<T>, или AbstractCollection<T>, и он будет работать , как ожидалось.