定义一个函数，实现字符数组的逆向存放，并编写完整的主程序验证。

以下是一个实现字符数组逆向存放的函数：

void reverse(char str[], int len) {
    int i, j;
    char temp;
    for (i = , j = len - 1; i < j; i++, j--) {
        temp = str[i];
        str[i] = str[j];
        str[j] = temp;
    }
}

该函数接受一个字符数组和数组长度作为参数，将字符数组逆向存放。

以下是一个完整的主程序，用于验证该函数的正确性：

#include <stdio.h>
#include <string.h>

void reverse(char str[], int len);

int main() {
    char str[] = "hello world";
    int len = strlen(str);
    printf("Original string: %s\n", str);
    reverse(str, len);
    printf("Reversed string: %s\n", str);
    return ;
}

void reverse(char str[], int len) {
    int i, j;
    char temp;
    for (i = , j = len - 1; i < j; i++, j--) {
        temp = str[i];
        str[i] = str[j];
        str[j] = temp;
    }
}

该程序首先定义了一个字符串，然后调用 `reverse` 函数将其逆向存放，并输出结果。运行该程序，输出如下：

Original string: hello world
Reversed string: dlrow olleh

可以看到，该函数成功地将字符串逆向存放。