Типы операторов — различия между версиями

Текущая версия на 15:23, 13 июля 2013

Операторы отличаются от обычных функций тем, что имеют определенные ограничения по количеству аргументов, а также некоторое ожидаемое поведение. Например, оператор + (сложение), принимающий более чем один аргумент, выглядел бы глупо. Кроме того, вряд ли кто-то ждет от оператора сложения изменение объекта, для которого он вызван, или аргумента.

Рассмотрим различные типы операторов более подробно.

[править] Арифметические

К этому типу относятся следующие операторы:

• +, -, *, /, %
• бинарный сдвиг: <<, >>
• бинарная логика: | (или), & (и), ^ (исключающее или), ~ (не)
• инкремент и декремент: ++, --

Все арифметические операторы, за исключением бираного НЕ, инкремента и декремента, принимают один параметр. Они не должны менять исходный объект и объект-параметр; результат операции должен быть возвращен в виде вновь созданного объекта. Таким образом, и оператор и его аргумент должны быть объявлены константными.

В качестве примера приведем реализацию некоторых операторов для класса двумерного вектора:

<source lang="kpp"> class Vector2 {

   var real m_x, real m_y;    // координаты

public:

   property real x read m_x write m_x;
   property real y read m_y write m_y;

   // конструктор для упрощения создания объекта
   constructor create(const real X, const real Y)
   {
       var self = new Vector2;
       self.m_x = X;
       self.m_y = Y;
       return self;
   }

   // операторы сложения и скалярного произведения векторов:
   const operator Vector2 + (const Vector2 arg)
   {
       // возвращаем новый объект в качестве результата!
       return Vector2.create(x + arg.x, y + arg.y);
   }

   const operator real * (const Vector2 arg)
   {
       // скалярное произведение
       return x * arg.x + y * arg.y;
   }

}; </source>

[править] Операторы сравнения

Существует 6 операторов сравнения: "меньше", "больше", "меньше или равно", "больше или равно", "равно" и "не равно" - соответственно, <, >, <=, >=, ==, !=.

Все эти операторы также должны принимать один параметр, не должны изменять объект и параметр, а кроме того, все они должны возвращать в качестве результата логическое значение - true или false.

Примечание: в стандартной библиотеке языка K++ объявлен класс-примесь Comparable, который упрощает реализацию этих операторов.

Достаточно унаследовать свой класс от Comparable и определить в классе метод compare, который принимает один аргумент и возвращает значение

• меньшее нуля, если объект меньше аргумента;
• равное нулю, если объект равен аргументу;
• большее нуля, если объект больше аргумента.

Все остальные операторы, а также метод between, определены в Comparable.

[править] Операторы присваивания

Оператор присваивания = - это оператор, который копирует значение своего аргумента в текущий объект.

Кроме того, каждому арифметическому оператору соответствует оператор присваивания, имя которого составляется из имени математического оператора плюс символ "=" (например, +=). Такие операторы делают соответствующее математическое действие с текущим объектом.

Операторы присваивания изменяют текущий объект, но не изменяют аргумент. Все они, кроме ~=, --= и ++=, принимают ровно один аргумент.

Операторы присваивания должны возвращать текущий объект в качестве результата.

Операторы --= и ++= соответствуют префиксному инкременту и декременту.

Для того же класса Vector2 из предыдущего примера:

<source lang="kpp">

   operator Vector2 += (const Vector2 arg)
   {
       x += arg.x;
       y += arg.y;
       return this;
   }

</source>

[править] Операторы приведения типов

Часто бывает так, что одни и те же объекты могут быть представлены различными способами. Например, число 5 может быть представлено как целочисленное 5, вещественное 5.0 или в виде строки "5".

Операторы приведения типов позволяют преобразовывать объекты из одних классов в другие.

Имя такого оператора совпадает с именем класса, в который производится преобразование; оператор не принимает параметров и не должен менять текущий объект.

При объявлении оператора приведения типа, тип результата функции указывать не следует.

Продолжим пример с двумерным вектором. В некоторых задачах бывает целесообразно определить преобразование вектора в вещественное число, возвращающее длину вектора. Это можно сделать следующим образом:

<source lang="kpp">

   const operator real ()
   {
       return sqrt( x * x + y * y );
   }

// В коде: var v = Vector2.create(3.0, 4.0); var len = v as real; // => 5.0 </source>

[править] Оператор индексного доступа

Существует два оператора - [] и []= - оператор индексного чтения и оператор индексной записи.

Оператор индексного чтения принимает не менее одного параметра (возможно более одного), не меняет объект и параметры и должен возвращать значение - значение элемента по указанным индексам.

Оператор индексной записи принимает не менее двух параметров. Последний параметр всегда соответствует значению, которое должно быть записано. Оператор изменяет объект, но не изменяет свои параметры.

Для двумерного вектора может быть удобным проиндексировать координаты. В этом случае можно определить следующие операторы:

<source lang="kpp">

   const operator real [] (const int idx)
   {
       switch(idx) {
           case 0: return x;
           case 1: return y;
           default: throw ERangeError.create('index is out of range');
       }
   }

   const operator Vector2 []= (const int idx, const real value)
   {
       switch(idx) {
           case 0: x = value;
           case 1: y = value;
           default: throw ERangeError.create('index is out of range');
       }
   }

// В коде: var v = Vector2.create(0, 0); v[1] = 5; // => (0, 5) var r = v[0]; // => 0 </source>

[править] Оператор вызова функции

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

Пример:

<source lang="kpp"> class GreetingPrinter {

   public operator call (const string who)
   {
       puts("Hello, #{who}!");
   }

}

// Использование: var greeting = new GreetingPrinter; greeting("Peter"); // выведет "Hello, Peter!"

function f(const b) {

   b("Vova");

}

f() { |x| puts("Hi, #{x}!"); }; // выведет "Hi, Vova!" f(new GreetingPrinter); // выведет "Hello, Vova!" </source>