WikiSort.ru - Программирование

При́месь (англ. mix in) — элемент языка программирования (обычно класс или модуль), реализующий какое-либо чётко выделенное поведение. Используется для уточнения поведения других классов, не предназначен для порождения самостоятельно используемых объектов. В объектно-ориентированных языках программирования является способом реализации классов, отличным от широко используемых принципов, пришедших из языка программирования Simula. Механизм впервые реализован в Flavors (англ.)русск.. Преимуществом примесей является то, что повышая повторную используемость текстов программ, этот метод избегает многих проблем множественного наследования. Однако при этом метод накладывает свои ограничения.

Реализация

В большинстве объектно-ориентированных языков, начиная с Simula, класс определяется атрибутами, методами, конструкторами и деструкторами как единое, тесно связанное целое. Определение класса обладает полнотой. Именно этот факт показался полезным Страуструпу и Эллис, которые на этом основании не стали реализовывать примеси в Си++ на уровне языка (Си++ разрабатывался как «совместимое расширение Си в сторону Симулы»)^{[источник не указан 2323 дня]}.

В языке с использованием примесей класс определяется только с атрибутами и параметрами, связанными с классом. Методы определяются в другом месте, как в Flavors и CLOS, и являются обобщёнными функциями (англ.)русск.. Последние реализуются для различных типов посредством диспетчеризации.

Кроме Flavors и CLOS, примеси поддерживают следующие языки:

• Swift (в виде extension)
• Kotlin (в виде extension)
• Ruby;
• D;
• Dart;
• Python;
• Scala (в виде trait'ов);
• XOTcl;
• PHP;
• Haxe;
• Vala.

Пример

class Age
    include Comparable

    attr_accessor(:age)

    def <=>(cmp)
        @age <=> cmp.age
    end
end

a, b = Age.new, Age.new
a.age = 10
b.age = 11
if a < b then puts "a меньше, чем b." end

 template <typename T> struct AddNoEq {
    virtual bool operator==(const T &cmp) const = 0;
    bool operator!=(const T &cmp) const {
        return !static_cast<const T*>(this)->operator== (cmp);
    }
 };

 #include <iostream>

 struct Complex : public AddNoEq<Complex> {
    Complex(int re, int im): re_(re), im_(im) { }

    virtual bool operator==(const Complex& cmp) const {
        return cmp.re_ == this->re_ && cmp.im_ == this->im_;
    }
    // ...
 private:
    int re_, im_;
 };

 int main()
 {
    Complex a(1, 2), b(2, 3);

     if (a != b)
        std::cout << "Так и должно быть" << std::endl;

     return 0;
 }

Замечание

Близкую к примесям функциональность предоставляют интерфейсы в языках вроде Java и C#, c тем отличием, что интерфейс только специфицирует поведение, но не предоставляет реализации (в Java с версии 1.8 в интерфейсе допускается частичная реализация). Механизм может быть полезен только для представления полиморфизма. Другие классы, предоставляющие реализацию интерфейса, полезны для вынесения общей функциональности в единое место.

Совместно используя методы-расширения и интерфейсы, возможно реализовать функциональность примесей в C#.

Литература

• Дж. Макгаврен. Head First. Изучаем Ruby. — 1-е изд. — 2016. — С. 315-340. — 528 с. — ISBN ISBN 978-5-496-02278-1.

Ссылки

• Mix In (англ.) — описание данного метода программирования.

Для улучшения этой статьи желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное.