getchar() 函数的功能确实是从标准输入（通常是键盘）读取下一个可用的字符，并且返回该字符作为 int 类型的值。这个函数通常用于处理单个字符的输入，并且是 C 和 C++ 标准库中提供的一个非常基本的输入函数。

当你调用 getchar() 函数时，它会等待用户从终端（或控制台）输入一个字符，并按回车键（Enter）提交。然后，getchar() 会读取这个字符（不包括回车键），将其作为一个无符号字符（unsigned char）转换为一个 int 类型的值，并返回这个值。如果读取过程中遇到文件结束符（EOF，通常是 Ctrl+D 在 Unix/Linux/macOS 中，或 Ctrl+Z 后跟回车在 Windows 中），getchar() 会返回 EOF，这个值在 <stdio.h>（或 C++ 中的 <cstdio>）中定义，通常是 -1。

使用 getchar() 的一个简单例子如下：

c复制代码

注意，尽管 getchar() 返回一个 int 类型的值，但在这个例子中，我们将其存储在了一个 char 类型的变量中。这样做通常是安全的，因为 char 能够存储 ASCII 表中的所有字符（它们的值在 0 到 127 之间），但是如果你想要检测 EOF，你应该将返回值存储在一个 int 类型的变量中，并检查这个变量是否等于 EOF。

c复制代码

在这个例子中，我们使用了 putchar() 函数来输出字符，它是 getchar() 的对应输出函数，用于向标准输出写入一个字符。注意，putchar() 实际上也是通过返回写入的字符的 int 值来工作的，尽管在大多数情况下，这个返回值并不被直接使用。