Не удается преобразовать указатель «этот» из «константной строки» в объяснение «Строка и»?

Вы фактически сами дали ответ, в некотором смысле.

В вашем методе Intersects параметр line объявлен как const. Это ограничивает использование этой переменной. В частности, вы можете вызывать только const методы для него, и вы можете передавать его только методам, ожидающим объект const Line.

Однако вы указали, что ContainsPoint не объявляется const. Таким образом, он не удовлетворяет упомянутому выше требованию (т. е. вызов метода, отличного от const, для объекта const не допускается). Вот почему исходный метод генерирует ошибку, а также объясняет, почему работает ваша вторая версия, поскольку ограничение снимается с помощью const_cast.

Настоящая проблема заключается в объявлении ContainsPoint (и, вероятно, также в любых методах, которые он вызывает, поскольку они также не являются const). Здесь, видимо, большой конструктивный недостаток. Поскольку цель ContainsPoint состоит в том, чтобы проверить, находится ли Point на Line, побочные эффекты будут неожиданными. Так что не должно быть никаких причин, чтобы это не был метод const. Фактически (и ваш пример показывает это), пользователи Line ожидают, что ContainsPoint будет методом const. Следовательно, реальное решение состоит в том, чтобы изменить дизайн класса Line таким образом, чтобы методы, подобные ContainsPoint, объявлялись const, а только методы, явно изменяющие состояние экземпляра, оставались не-const.

В этом случае вы вызываете неконстантный метод для константной ссылки, которая не разрешена. У вас есть два варианта:

1. Делайте то, что делали, и const_cast
2. Сделать ContainsPoint константным методом

Проблема на самом деле простая:

у вас есть класс A с неконстантным методом foo(), вы вызываете неконстантный метод foo() через ссылку на константу A.

const A& a = ...;
a.foo();  // failed

Это то, к чему стремился const: переменная const означает, что она объявлена ​​​​не подлежащей изменению. В то время как foo() «собирается изменить себя» (поскольку foo() является неконстантным методом, что означает: «Я имею право изменять что-то внутри»), поэтому компилятор жалуется: у вас есть const var (a) , но вы собираетесь изменить его содержимое (через foo())

Способ решения прост, но вы должны знать, какой путь правильный:

1) Если вы уверены, что foo() должно быть разрешено для вызова через const ref и т. д., вы должны объявить его как метод const: A::foo() const {...}

2) Если вы знаете, что foo() не подходит для создания const, вам следует подумать

2.1) просмотрите «a», чтобы увидеть, не является ли более подходящим сделать неконстантным, или

2.2) найти другой метод const в A, который выполнил эту работу.

(Есть и другой способ, например, использование mutable или const_cast, но это не тот способ, который подходит для 99,9% времени. Поэтому я не упомянул здесь)