掌握Eiffel编程：输入输出与数据格式化

背景简介

Eiffel是一种面向对象的编程语言，以其设计的可靠性和复用性而闻名。在本章中，我们将深入了解Eiffel的基础知识——如何通过特定命令和函数读取和输出数据，以及如何利用格式化功能提升输出质量。

输入输出基础

• 在Eiffel中，我们可以使用 io.readint 命令从键盘读取一个整数，并将其存储在整数缓冲区中。而 io.lastint 函数则用于获取最近一次读取的整数值。这些操作不需要使用引号，因为计算机通过命令类型来确定如何处理输入值。

缓冲区的作用

• 每种输入类型在Eiffel中都有对应的缓冲区，用于临时存储从键盘输入的数据。一旦读取了新值，缓冲区中的旧值将被新值替换。

格式化输出

• 输出时，需要提供标签来解释输出内容，比如使用 io.putstring 来输出字符串，并用 io.putint 来显示整数。为避免混淆，标签和值之间应至少放置一个空格。

输出格式化技巧

• 当需要输出标签和多个值时，可能需要多条命令。此外，Eiffel还提供了特殊字符来控制输出格式，例如 %N 用于新行， %T 用于制表符。

高级格式化：FORMAT_INTEGER与FORMAT_DOUBLE

• FORMAT_INTEGER 类用于固定长度的整数输出，而 FORMAT_DOUBLE 类则用于控制实数输出的字段宽度和小数点位数。通过这些类，我们可以精确控制数字的输出格式，如 io.putstring ("Value:%T") 和 format.formatted (test) 的结合使用。

数学类与类型转换

• Eiffel的 SINGLE_MATH 类提供了高级数学函数，如平方根 sqrt 。通过继承这个类，可以在自己的程序中调用这些功能。

类型转换

• 在Eiffel中，类型转换是通过特定的操作符实现的，例如 truncated_to_real 和 truncated_to_integer ，这些操作符可以在不同数值类型之间转换值而不改变其内容。

总结与启发

本章是Eiffel编程基础中的重要一环，重点介绍了如何有效地处理输入输出和数据格式化。这不仅有助于提升程序的用户交互体验，也是构建复杂应用不可或缺的基础知识。通过本章的学习，我们可以更加熟练地处理数据输入，并以清晰、格式化的方式输出信息。此外，对于数学计算和类型转换的理解，将为我们在编程中解决更高级问题打下坚实的基础。