Правда ли, что неявное преобразование типов - это зло, но и универсальный оператор явного преобразования - тоже зло?

Если кратко, то я думаю, что да. Вот пример: программист преобразует double в int. Транслятору предоставляется свобода выбора из четырех функций: Round, Floor, Ceiling и Truncate. А это - неопределенное поведение. Надеюсь, вы понимаете ужасный смысл этих слов? Насколько я знаю, обычно используется Truncate, но это не всегда именно то, что хотел пользователь. А если число не умещается в int, вариантов еще больше: вернуть младшие биты, округлив их любым из вышеперечисленных способов, вернуть экстремальное для int значение, вернуть 0 и т. д. Поэтому я считаю, что в таком случае компилятор должен выдавать как минимум предупреждение, а лучше ошибку, и требовать явно указать способ приведения.
Другой пример: преобразование массива байт в строку. Может быть, программист хотел вернуть эти байты списком, может быть, попытаться извлечь из них текст в какой-либо кодировке, а может, закодировать в Base64...
Еще хуже преобразование object в какой-либо другой тип. Число возможных вариантов поведения транслятора невозможно себе представить. Считаю, что такое преобразование должно производиться исключительно оператором is.
Еще вариант - преобразование внешнего типа коллекции в более узкий или несвязанный (например, список в множество или стек в очередь). И хотя неопределенного поведения тут нет, но это действие может привести к огромным вычислительным расходам впустую. Оптимальный, с моей точки зрения, вариант - использовать функции в стиле LINQ или конструкторы. Microsoft в этом случае поступили неглупо. А вот расширяющие преобразования коллекций (например, очередь в список), я считаю, должны быть вообще неявными, так как они естественны и не приводят к потере данных.
Другие мнения приветствуются.

0

Сообщение от Рыжий Лис Имхо хуже всего в неявных преобразованиях, когда простейший код компилируется ("компилируется - значит, работает", ага), а при запуске бросает исключение.

Ещё хуже, если не бросает исключение, а тихо-молча делает... но не то, что ожидалось.

0