一个函数无返回值时，应该定义类型为void。

是的，您说得对。在C语言中，如果一个函数没有返回值，则应该将其返回类型定义为void。这是因为void类型表示“无类型”，它不同于其他类型，如int、float等。当函数返回类型为void时，函数中可以执行任何操作，但是不能使用return语句返回值。例如，以下是一个返回类型为void的函数的定义示例：

void printHello() {
    printf("Hello, world!\n");
}

该函数没有返回值，它只是在屏幕上打印一条消息。