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

. Однако метод в системных классах не реализуется никогда.

Как правило, метод

применяется для объектов, очень похожих на строки, способных «замаскироваться» под строку. В общем, можете считать, что метод — это явное преобразование, а метод — неявное.

Я уже сказал, что ни в одном системном классе не определен метод

(по крайней мере, мне о таких классах неизвестно). Но иногда они вызывают (если такой метод существует в соответствующем классе).

Первое, что приходит на ум, — подкласс класса

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

А вот пример из реальной жизни. Класс

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

В этом фрагменте мы просто дописали путь в конец обычной строки

. Обычно такая операция приводит к ошибке во время выполнения, поскольку оператор ожидает, что второй операнд — тоже строка. Но так как в классе есть метод , то он вызывается. Класс «маскируется» под строку, то есть может быть неявно преобразован в .

На практике методы

и обычно возвращают одно и то же значение, но это необязательно. Неявное преобразование должно давать «истинное строковое значение» объекта, а явное можно расценивать как «принудительное» преобразование.

Метод

обращается к методу объекта, чтобы получить его строковое представление. Можно считать, что это неявный вызов явного преобразования. То же самое справедливо в отношении интерполяции строк. Вот пример:

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

Предположим, например, что вы написали метод, который ожидает в качестве параметра объект

. Вопреки философии «утипизации», так делают часто, и это вполне оправдано. Например, предполагается, что первый параметр метода — строка.

Решить эту проблему просто. Если вы ожидаете на входе строку, проверьте, имеет ли объект метод

, и при необходимости вызывайте его.

Ну а если объект не отвечает на вызов метода

? Есть несколько вариантов действий. Можно принудительно вызвать метод ; можно проверить, принадлежит ли объект классу или его подклассу; можно, наконец, продолжать работать, понимая, что при попытке выполнить операцию, которую объект не поддерживает, мы получим исключение .

Короткий путь к цели выглядит так:

Он опирается на тот факт, что при отсутствии реализации метода

возникнет исключение. Разумеется, модификаторы могут быть вложенными:

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