Standard Protocols and Coercions

Не будучи технически частями языка, интерпритатор и стандартная библиотека используют различные протоколы для работы с проблемами, которые в других языках решаются через типы.

Некоторые объекты имеют больше чем одно натуральное представление. Например, вы можете писать класс Roman для представления римских чисел (I, II, III, IV, V и так далее). Этот класс не обязательно будет наследником класса Integer, поскольку его объекты представляют числа, но не числа в их обычном смысле. В то же время они обладают качествами Integer-ов. И было бы здорово иметь возможность использовать объекты класса Roman там, где Ruby ожидает встретить целое число.

Чтобы сделать это в Ruby есть концепция conversion protocols -- объект может выбрать способ сконвертировать себя в объект другого типа. Ruby имеет три стандартных способа выполнения этого.

Мы уже рассмотрели первый. Такие методы, как to_s и to_i конвертируют своих получателей в строки и целые числа. Эти методы конвертации не являются строгими: если объект имеет какой-то способ представления себя в виде строки, то он, вероятно, будет иметь метод to_s. Наш класс Roman возможно будет реализовывать метод to_s для возвращения строкового представления числа ('VII' к примеру).

Второй метод конвертации использует методы с такими именами, как to_str и to_int. Это строгие функции конвертации: вы реализуете их только если ваш объект естественным образом может использоваться в любом месте, где может быть использована строка или целое. Для примера, объекты класса Roman имеют естественное представление в виде целого и поэтому реализуют to_int. Но, когда речь заходит о строках, то приходится задумываться чуть больше.

Римские цифры определенно имеют строковое представление, но являются ли они строками? Можем ли мы использовать их там, где мы можем использовать строки? Нет, скорее всего нет. Логически, они являются представлениями целых. Вы можете записать их в виде строки, но они не совместимы со строками. По этой причине класс Roman не будет реализовывать метод to_str -- поскольку он не является настоящей строкой. Просто запомните: римские цифры могут быть сконвертированы в строку посредством to_s, но они не являются строками, поэтому для них не реализуется метод to_str.

Чтобы посмотреть, как это работает на практике, взглянем на открытие файла. Первым параметром File.new может быть как уже существующий дескриптор (целое число) или имя открываемого файла. При этом Ruby не делает простую проверку типа первого параметра на соответствие Fixnum или String. Вместо этого File.new дает шанс объекту-параметру выразить себя либо как дескриптор, либо как строку. Если бы он был написан на Ruby, он бы выглядел как что-то подобное:

class File
  def File.new(file, *args)
    if file.respond_to?(:to_int)
      IO.new(file.to_int, *args)
    else
      name = file.to_str
      # call operating system to open file 'name'
    end
  end
end

Теперь посмотрим, что произойдет, если мы хотим передать дескриптор файла, сохраненный в объекте типа Roman, в File.new. Т.к. наш класс реализует to_int, первое обращение к respond_to? окажется успешным. Мы передадим целочисленное представление нашего числа в IO.open, и возвращеный дескриптор файла будет обернут в новый объект IO.

How to Design Easy-to-Use API
* Save brain power
* Evolve gradually

---

Save brain power
Fewer Things to Learn
* Fewer constructs for pragmatic usages
* Huffman coding
* DRY
* No configuration is good configuration
* Reuse user knowledge
* Infrastructure friendly

---

Fewer constructs for pragmatic usages
Fewer construct decrease things to learn
* open vs Net::HTTP.get, Net::HTTP#get, etc.
* This is not minimalism.
* The target of "fewer" is not all constructs.
Pragmatic usages should be supported by small constructs.

---

Huffman coding
* Shorter for frequent things
* Longer for rare things
Optimize for frequent things.
Ex: p (пример с использованием метода Kernel#p, который печатает результат вызова у объекта метода inspect)

---

Ex: p

p obj

* Very frequent use
* Bad name in common sence
* Almost no problem because everyone knows

---

Ex: pp and y (примеры с методами pp (pretty printer) и y (преобразование в YAML))
* Bad name in common sence
* Problematic than p because not everyone knows.

---

Ex: to_s and to_str
to_s shorter. frequently used.
to_str longer. internal use.

---

Candidates for Huffman codes
* Method name
* Other name
* Convenience method
* Language syntax
* etc.

---

Encourage Good Style
* Programmer like short code
* Short code should be designed as good style

VD>А... Ну, это другое дело! Как я сразу не догадался, что нахождение в классе Даты сужает смысл буквы "а" до "Астрономии".

C — 16664
C# — 3984
C++ — 18125
COBOL — 9
Common Lisp/
Emacs Lisp/
Lisp/
Scheme — 40+34+328+210=512
D — 35
Forth — 61
Fortran — 194
Haskell — 55
Java — 19321
JavaScript — 3656
MATLAB/
Simulink — 78+5=83
Oberon — 5
Objective C — 850
OCaml — 85
Nemerle — нету такого (0)
Perl — 6352
PHP — 13917
Prolog — 116
Python — 5212
Ruby — 560
Smalltalk — 64
Tcl — 912
Visual Basic — 2242
VB.NET — 583

+"<language> programming"

a("HREF" => "http://www.example.com", "TARGET" => "_top") { "Example" }

class ConnectionParams
  attr_reader :host, :login, :password :port
  ...
  # Выдает строку, которую можно использовать при обращении к open.
  # В формате "[<login>[:<password>]@]<host>[:<port>]"
  def to_str
    r = ""
    if login
      r << login
      r << ":#{password}" if password
      r << "@"
    end
    r << host
    r << ":#{port}" if @port
  end

  # Создает описание объекта без указания пароля.
  # В формате "[<login>@]<host>[:<port>]"
  # Делает возможным логирование объекта ConnectionParams в
  # небезопасные журнальные файлы.
  def to_s
    r = ""
    r << "#{login}@" if login
    r << host
    r << ":#{port}" if @port
  end
end

# Использование:
url = ConnectionParams.new( host, login, password )
logger.info( APP ) { "opening #{url}..." } # Пароль не виден.
data = read( url ) # Пароль используется.

VD>Во как? Забавные рассуждения. Для меня тип цифр — это всего лишь экранное представление. А оказывается на каждый тип можно по классу завести. За такие примеры надо от церкви отлучать.

VD>Преобразовать в процессор? Однако Руби силен!

while line = gets
    if m = ( /^(.+)"router::trx\.([^"]+)"(.+)$/.match( line ) )
        puts m[1] + m[2].to_i(16).to_s + m[3]
    else
        puts line
    end
end

puts m[1] + m[2].to_integer(16).to_string + m[3]

Your place for 12,464 free C++, C# and .NET articles, code snippets, discussions, news and the best bunch of developers on the net.

VD>>Преобразовать в процессор? Однако Руби силен!

E>while line = gets
E>    if m = ( /^(.+)"router::trx\.([^"]+)"(.+)$/.match( line ) )
E>        puts m[1] + m[2].to_i(16).to_s + m[3]
E>    else
E>        puts line
E>    end
E>end
E>

E>puts m[1] + m[2].to_integer(16).to_string + m[3]
E>

def HexStringToIntString(hex) { int.Parse(hex, NumberStyles.HexNumber).ToString() }

foreach (line in File.ReadAllLines(path))
  PutString(regexp match (line)
  { | @"^(?<prefix>.+)""router::trx\.(?<hexStr>[^""]+)""(<sufix>.+)$"
        => prefix + HexStrToIntStr(hexStr) + sufix
    | _ => line
  });

foreach (line in File.ReadAllLines(path))
  PutString(regexp match (line)
  { | @"^(?<prefix>.+)""router::trx\.(?<hexStr>[^""]+)""(<sufix>.+)$"
        => $"$prefix $(hexStr.ToInt(16)) sufix"
    | _ => line
  });

m[1] + m[2].to_i(16).to_s + m[3]

$"$prefix $(hexStr.ToInt(16)) sufix"

prefix + HexStrToIntStr(hexStr) + sufix

VD>>>Преобразовать в процессор? Однако Руби силен!

VD>def HexStringToIntString(hex) { int.Parse(hex, NumberStyles.HexNumber).ToString() }

VD>foreach (line in File.ReadAllLines(path))
VD>  PutString(regexp match (line)
VD>  { | @"^(?<prefix>.+)""router::trx\.(?<hexStr>[^""]+)""(<sufix>.+)$"
VD>        => prefix + HexStrToIntStr(hexStr) + sufix
VD>    | _ => line
VD>  });
VD>

while gets
    if ~ /^(.+)"sms_router::rosbank\.([^"]+)"(.+)$/
        puts "#{$1}#{$2.to_i(16)}#{$3}"
    else
        puts $_
    end
end

VD>m[1] + m[2].to_i(16).to_s + m[3]
VD>

VD>$"$prefix $(hexStr.ToInt(16)) sufix"
VD>

VD>prefix + HexStrToIntStr(hexStr) + sufix
VD>

prefix + HexStrToIntStr(hexStr) + sufix

m[1] + m[2].to_i(16).to_s + m[3]

EmitTeg.a(...)

VD>>def HexStringToIntString(hex) { int.Parse(hex, NumberStyles.HexNumber).ToString() }

VD>>foreach (line in File.ReadAllLines(path))
VD>>  PutString(regexp match (line)
VD>>  { | @"^(?<prefix>.+)""router::trx\.(?<hexStr>[^""]+)""(<sufix>.+)$"
VD>>        => prefix + HexStrToIntStr(hexStr) + sufix
VD>>    | _ => line
VD>>  });
VD>>

E>while gets
E>    if ~ /^(.+)"sms_router::rosbank\.([^"]+)"(.+)$/
E>        puts "#{$1}#{$2.to_i(16)}#{$3}"
E>    else
E>        puts $_
E>    end
E>end
E>

E>

E>А ты придумай для tr и tr_s внятные имена

VD>>m[1] + m[2].to_i(16).to_s + m[3]
VD>>

VD>>$"$prefix $(hexStr.ToInt(16)) sufix"
VD>>

VD>>prefix + HexStrToIntStr(hexStr) + sufix
VD>>