编写一个c程序，定义两个字符串s1 和 s2 格式化输入并分别求出其长度

在C语言中，要定义两个字符串s1和s2并计算它们的长度，可以按照以下步骤编写程序：

#include <stdio.h> // 引入标准输入输出库

// 定义字符串变量
#define MAX_LEN 50 // 设置字符串的最大长度
char s1[MAX_LEN], s2[MAX_LEN];

// 输入字符串
void input_strings() {
    printf("Enter string s1: ");
    fgets(s1, MAX_LEN, stdin); // 使用fgets避免换行符
    printf("Enter string s2: ");
    fgets(s2, MAX_LEN, stdin);
}

// 计算字符串长度
int strlen(const char *str) {
    int len = 0;
    while (*str != '\0') { // 当遇到空字符'\0'时停止计数
        len++;
        str++;
    }
    return len;
}

int main() {
    input_strings(); // 获取用户输入
    int len_s1 = strlen(s1); // 计算s1的长度
    int len_s2 = strlen(s2); // 计算s2的长度

    printf("Length of s1: %d\n", len_s1);
    printf("Length of s2: %d\n", len_s2);

    return 0;
}

这个程序首先通过`fgets`函数从用户那里接收输入，然后使用`strlen`函数计算每个字符串的长度。注意，我们使用`'\0'`作为字符串结束标记，因为它通常紧跟在最后一个字符之后。